Anton Varonka

According to our database, Anton Varonka authored at least 9 papers between 2019 and 2026.

Collaborative distances:

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

2026

On the Subspace Orbit Problem and the Simultaneous Skolem Problem.

Piotr Bacik, Anton Varonka

CoRR, January, 2026

Determination Problems for Orbit Closures and Matrix Groups.

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

Proc. ACM Program. Lang., 2026

2025

Simple Linear Loops: Algebraic Invariants and Applications.

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

Proc. ACM Program. Lang., 2025

On Piecewise Affine Reachability with Bellman Operators.

Anton Varonka, Kazuki Watanabe

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

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