Damian Heiman

12 papers A* 2B 2Journal 8

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Descriptive complexity for neural networks via Boolean networks. J. Log. Comput. Veeti Ahvonen, Damian Heiman, Antti Kuusisto
2026	A*	`conf`	Expressive Power of Graph Transformers via Logic. AAAI Veeti Ahvonen, Maurice Funk, Damian Heiman, Antti Kuusisto, Carsten Lutz
2025	J	`jnl`	Descriptive complexity for distributed computing with circuits. J. Log. Comput. Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto
2025	J	`jnl`	Expressive Power of Graph Transformers via Logic. CoRR Veeti Ahvonen, Maurice Funk, Damian Heiman, Antti Kuusisto, Carsten Lutz
2025	J	`jnl`	Graph neural networks and MSO. CoRR Veeti Ahvonen, Damian Heiman, Antti Kuusisto
2024	B	`conf`	Descriptive Complexity for Neural Networks via Boolean Networks. CSL Veeti Ahvonen, Damian Heiman, Antti Kuusisto
2024	J	`jnl`	Graded modal logic and counting message passing automata. CoRR Veeti Ahvonen, Damian Heiman, Antti Kuusisto
2024	J	`jnl`	Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats. CoRR Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Carsten Lutz
2024	A*	`conf`	Logical characterizations of recurrent graph neural networks with reals and floats. NeurIPS Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Carsten Lutz
2023	B	`conf`	Descriptive Complexity for Distributed Computing with Circuits. MFCS Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto
2023	J	`jnl`	Descriptive complexity for distributed computing with circuits. CoRR Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto
2023	J	`jnl`	Descriptive complexity for neural networks via Boolean networks. CoRR Veeti Ahvonen, Damian Heiman, Antti Kuusisto