Damian Heiman

12 papers A* 2B 2Journal 8
YearRankTypeTitle / 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
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski