Veeti Ahvonen

Orcid: 0009-0007-4819-0199

According to our database1, Veeti Ahvonen authored at least 4 papers between 2023 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2023
2024
0
1
2
3
4
1
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Graded modal logic and counting message passing automata.
CoRR, 2024

Logical characterizations of recurrent graph neural networks with reals and floats.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Descriptive Complexity for Neural Networks via Boolean Networks.
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023
Descriptive Complexity for Distributed Computing with Circuits.
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023


  Loading...