Anton Varonka

According to our database, Anton Varonka authored at least 6 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Simple Linear Loops: Algebraic Invariants and Applications.

Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, Anton Varonka

CoRR, 2024

Linear Loop Synthesis for Quadratic Invariants.

S. Hitarth, George Kenison, Laura Kovács, Anton Varonka

Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

2023

From Polynomial Invariants to Linear Loops.

George Kenison, Laura Kovács, Anton Varonka

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

What Else is Undecidable About Loops?

Laura Kovács, Anton Varonka

Proceedings of the Relational and Algebraic Methods in Computer Science, 2023

2022

What's decidable about linear loops?

Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell

Proc. ACM Program. Lang., 2022

2019

Words of Minimum Rank in Deterministic Finite Automata.

Jarkko Kari, Andrew Ryzhikov, Anton Varonka

Proceedings of the Developments in Language Theory - 23rd International Conference, 2019