| 2026 | LICS | Automata for MSO over Infinite Trees with Quantification over Borel Sets of Branches. | Mikolaj Bojanczyk, Antonio Casares, Sven Manthe, Pawel Parys |
| 2026 | LICS | Layered Automata: A Canonical Model for Automata over Infinite Words. | Antonio Casares, Christof Lding, Igor Walukiewicz |
| 2025 | CSL | On the Minimisation of Deterministic and History-Deterministic Generalised (Co)Bchi Automata. | Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash |
| 2025 | ICALP | The Memory of ω-Regular and BC(Σ⁰₂) Objectives. | Antonio Casares, Pierre Ohlmann |
| 2025 | TACAS | Fast value iteration: A uniform approach to efficient algorithms for energy games. | Michal Cadilhac, Antonio Casares, Pierre Ohlmann |
| 2024 | LICS | Positional ω-regular languages. | Antonio Casares, Pierre Ohlmann |
| 2024 | MFCS | The Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition. | Antonio Casares, Corto Mascle |
| 2023 | ICALP | Characterising Memory in Infinite Games. | Antonio Casares, Pierre Ohlmann |
| 2023 | IJCAI | Half-Positional Objectives Recognized by Deterministic Bchi Automata (Extended Abstract). | Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove |
| 2022 | CONCUR | Half-Positional Objectives Recognized by Deterministic Bchi Automata. | Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove |
| 2022 | CSL | On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions. | Antonio Casares |
| 2022 | ICALP | On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games. | Antonio Casares, Thomas Colcombet, Karoliina Lehtinen |
| 2022 | TACAS | Practical Applications of the Alternating Cycle Decomposition. | Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin, Salomon Sickert |
| 2021 | ICALP | Optimal Transformations of Games and Automata Using Muller Conditions. | Antonio Casares, Thomas Colcombet, Nathanal Fijalkow |