Anton Varonka

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 8

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, Anton Varonka
Simple Linear Loops: Algebraic Invariants and Applications. CoRR (2024)
S. Hitarth, George Kenison, Laura Kovács, Anton Varonka
Linear Loop Synthesis for Quadratic Invariants. STACS (2024)
George Kenison, Laura Kovács, Anton Varonka
From Polynomial Invariants to Linear Loops. CoRR (2023)
S. Hitarth, George Kenison, Laura Kovács, Anton Varonka
Linear Loop Synthesis for Quadratic Invariants. CoRR (2023)
Laura Kovács, Anton Varonka
What Else is Undecidable About Loops? RAMiCS (2023)
George Kenison, Laura Kovács, Anton Varonka
From Polynomial Invariants to Linear Loops. ISSAC (2023)
Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell
What's decidable about linear loops? Proc. ACM Program. Lang. 6 (POPL) (2022)
Jarkko Kari, Andrew Ryzhikov, Anton Varonka
Words of Minimum Rank in Deterministic Finite Automata. DLT (2019)