Publikacje

Antonio Casares Santos

2024

• Antonio Casares Santos , Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition, International Symposium on Mathematical Foundations of Computer Science, Bratislava, Slovakia, 26 sierpnia 2024 - 30 sierpnia 2024. Zobacz w PBN
• Antonio Casares Santos , Pierre Ohlmann, Positional ω-regular languages, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia, 8 lipca 2024 - 11 lipca 2024. Zobacz w PBN

2023

• Antonio Casares Santos , Pierre Ohlmann, Characterising Memory in Infinite Games, 50th International Colloquium on Automata, Languages and Programming (ICALP 2023), Paderborn, Germany, 9 lipca 2023 - 13 lipca 2023. Zobacz w PBN