Anton Varonka

13 papers A 1B 2C 2Journal 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Determination Problems for Orbit Closures and Matrix Groups.
Proc. ACM Program. Lang.
Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, Anton Varonka, James Worrell
2026 J jnl
On the Subspace Orbit Problem and the Simultaneous Skolem Problem.
CoRR
Piotr Bacik, Anton Varonka
2025 B conf
On Piecewise Affine Reachability with Bellman Operators.
MFCS
Anton Varonka, Kazuki Watanabe
2025 J jnl
On Piecewise Affine Reachability with Bellman Operators.
CoRR
Anton Varonka, Kazuki Watanabe
2025 J jnl
Simple Linear Loops: Algebraic Invariants and Applications.
Proc. ACM Program. Lang.
Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, Anton Varonka
2024 A conf
Linear Loop Synthesis for Quadratic Invariants.
STACS
S. Hitarth, George Kenison, Laura Kovács, Anton Varonka
2024 J jnl
Simple Linear Loops: Algebraic Invariants and Applications.
CoRR
Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, Anton Varonka
2023 B conf
From Polynomial Invariants to Linear Loops.
ISSAC
George Kenison, Laura Kovács, Anton Varonka
2023 J jnl
From Polynomial Invariants to Linear Loops.
CoRR
George Kenison, Laura Kovács, Anton Varonka
2023 J jnl
Linear Loop Synthesis for Quadratic Invariants.
CoRR
S. Hitarth, George Kenison, Laura Kovács, Anton Varonka
2023 C conf
What Else is Undecidable About Loops?
RAMiCS
Laura Kovács, Anton Varonka
2022 J jnl
What's decidable about linear loops?
Proc. ACM Program. Lang.
Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell
2019 C conf
Words of Minimum Rank in Deterministic Finite Automata.
DLT
Jarkko Kari, Andrew Ryzhikov, Anton Varonka