You are not logged in |
Back to the list of the institutes
Publications
Antonio Casares Santos
Number of publications: 32024
- Antonio Casares Santos , Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition, International Symposium on Mathematical Foundations of Computer Science, Bratislava, Slovakia, 26 August 2024 - 30 August 2024. See in PBN
- Antonio Casares Santos , Pierre Ohlmann, Positional ω-regular languages, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia, 8 July 2024 - 11 July 2024. See in 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 July 2023 - 13 July 2023. See in PBN
