Veeti Ahvonen

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 6

Top Topics

Acyclic Database Schemes

Boolean Networks

Distributed Computing

Message Passing

Top Venues

Publications

Veeti Ahvonen, Damian Heiman, Antti Kuusisto
Graded modal logic and counting message passing automata. CoRR (2024)
Veeti Ahvonen, Damian Heiman, Antti Kuusisto
Descriptive Complexity for Neural Networks via Boolean Networks. CSL (2024)
Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Carsten Lutz
Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats. CoRR (2024)
Veeti Ahvonen, Damian Heiman, Antti Kuusisto
Descriptive complexity for neural networks via Boolean networks. CoRR (2023)
Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto
Descriptive Complexity for Distributed Computing with Circuits. MFCS (2023)
Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto
Descriptive complexity for distributed computing with circuits. CoRR (2023)