( en | de | ru )

 

Disambiguierung von "Casares, Antonio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions.

. CSL, Volume 216 von LIPIcs, Seite 12:1-12:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Antonio Casares

Antonio Cavallo

Antonio Criscione

Antonio Offenhausen

Antonio Raposo

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions.. CoRR, (2021)Positional ω-regular languages., und . LICS, Seite 21:1-21:14. ACM, (2024)Half-Positional Objectives Recognized by Deterministic Büchi Automata., , , und . Log. Methods Comput. Sci., (2024)On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata., , , , und . CoRR, (2024)From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism., , , und . TheoretiCS, (2024)The Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition., und . MFCS, Volume 306 von LIPIcs, Seite 35:1-35:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Characterising memory in infinite games., und . CoRR, (2022)On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions.. CSL, Volume 216 von LIPIcs, Seite 12:1-12:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract)., , , und . IJCAI, Seite 6420-6425. ijcai.org, (2023)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).. University of Bordeaux, France, (2023)