Heiman, Damian

1. Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
   2024/05/23 by Veeti Ahvonen, Damian Heiman, Ahvonen, Veeti +5 · 8 citations
   Computer Science · Engineering · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #F.1.1 #F.4.1 #FOS: Computer and information sciences #Fault Detection and Control Systems #I.2.0 #Logic in Computer Science (cs.LO) #Neural Networks and Applications
2. Descriptive complexity for distributed computing with circuits
   2023/03/08 by Ahvonen, Veeti, Heiman, Damian, Hella, Lauri +1 · 1 citation
   #C.2.0 #Distributed #F.1.1 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Parallel #and Cluster Computing (cs.DC)