Anton Varonka
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LICS | On the Subspace Orbit Problem and the Simultaneous Skolem Problem. | Piotr Bacik, Anton Varonka |
| 2025 | MFCS | On Piecewise Affine Reachability with Bellman Operators. | Anton Varonka, Kazuki Watanabe |
| 2024 | STACS | Linear Loop Synthesis for Quadratic Invariants. | S. Hitarth, George Kenison, Laura Kovcs, Anton Varonka |
| 2023 | ISSAC | From Polynomial Invariants to Linear Loops. | George Kenison, Laura Kovcs, Anton Varonka |
| 2019 | DLT | Words of Minimum Rank in Deterministic Finite Automata. | Jarkko Kari, Andrew Ryzhikov, Anton Varonka |