Words of Minimum Rank in Deterministic Finite Automata. - Jarkko Kari; Andrew Ryzhikov; Anton Varonka (DLT, 2019)

What's decidable about linear loops? - Toghrul Karimov; Engel Lefaucheux; Joël Ouaknine; David Purser; Anton Varonka; Markus A. Whiteland; James Worrell 001 (Proc. ACM Program. Lang., 2022)

What Else is Undecidable About Loops? - Laura Kovács; Anton Varonka (RAMiCS, 2023)

From Polynomial Invariants to Linear Loops. - George Kenison; Laura Kovács; Anton Varonka (ISSAC, 2023)

Linear Loop Synthesis for Quadratic Invariants. - S. Hitarth; George Kenison; Laura Kovács; Anton Varonka (STACS, 2024)

On Piecewise Affine Reachability with Bellman Operators. - Anton Varonka; Kazuki Watanabe 003 (MFCS, 2025)

Simple Linear Loops: Algebraic Invariants and Applications. - Rida Ait El Manssour; George Kenison; Mahsa Shirmohammadi; Anton Varonka (Proc. ACM Program. Lang., 2025)