| Optimal transformations of Muller conditions A Casares, T Colcombet, N Fijalkow arXiv preprint arXiv:2011.13041, 2020 | 25 | 2020 |
| On the minimisation of transition-based Rabin automata and the chromatic memory requirements of Muller conditions A Casares arXiv preprint arXiv:2105.12009, 2021 | 20 | 2021 |
| On the size of good-for-games Rabin automata and its link with the memory in Muller games A Casares, T Colcombet, K Lehtinen arXiv preprint arXiv:2204.11333, 2022 | 17 | 2022 |
| Practical applications of the alternating cycle decomposition A Casares, A Duret-Lutz, KJ Meyer, F Renkin, S Sickert International Conference on Tools and Algorithms for the Construction and …, 2022 | 17 | 2022 |
| Half-Positional Objectives Recognized by Deterministic B\" uchi Automata P Bouyer, A Casares, M Randour, P Vandenhove Logical Methods in Computer Science 20, 2024 | 13 | 2024 |
| Structural properties of automata over infinite words and memory for games.(Propriétés structurelles des automates sur les mots infinis et mémoire pour les jeux). A Casares University of Bordeaux, France, 2023 | 7 | 2023 |
| Characterising memory in infinite games A Casares, P Ohlmann arXiv preprint arXiv:2209.12044, 2022 | 6 | 2022 |
| From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism A Casares, T Colcombet, N Fijalkow, K Lehtinen TheoretiCS 3, 2024 | 5 | 2024 |
| Positional ω-regular languages A Casares, P Ohlmann Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer …, 2024 | 3 | 2024 |
| On the ESL algorithm for solving energy games. A Casares, P Ohlmann CoRR, 2021 | 1 | 2021 |
| A positional -complete objective A Casares, P Ohlmann, P Vandenhove arXiv preprint arXiv:2410.14688, 2024 | | 2024 |
| On the Minimisation of Deterministic and History-Deterministic Generalised (co) B\" uchi Automata A Casares, O Idir, D Kuperberg, C Mascle, A Prakash arXiv preprint arXiv:2407.18090, 2024 | | 2024 |
| Half-positional -regular languages A Casares, P Ohlmann arXiv preprint arXiv:2401.15384, 2024 | | 2024 |
| The Complexity of Simplifying -Automata through the Alternating Cycle Decomposition A Casares, C Mascle arXiv preprint arXiv:2401.03811, 2024 | | 2024 |
| A positional Π^ 0_3-complete objective A Casares, P Ohlmann, P Vandenhove arXiv preprint arXiv:2410.14688, 2024 | | 2024 |
| Structural properties of automata over infinite words and memory for games A Casares Université de Bordeaux, 2023 | | 2023 |
| Fast value iteration for energy games A Casares, P Ohlmann arXiv preprint arXiv:2110.07346, 2021 | | 2021 |
| A positional Π0 A Casares, P Ohlmann, P Vandenhove | | |
| Program for Highlights and Jewels of Automata Theory 2024 M Droste, J Almeida, P Bouyer, V Bruyère, T Colcombet, L Doyen, ... | | |
