Antonio CASARES-SANTOS - Admis au titre de docteur

Adresse Professionnelle
351, Cours de la Libération, building A30. Bureau 257 33400
TALENCE FRANCE
antoniocasaressantos@gmail.com
Identifiant ORCID 0000000265392020
Compte Researchgate https://www.researchgate.net/profile/Antonio-Casares-2

Doctorat Informatique

Thèse soutenue le 23 novembre 2023 - Université de Bordeaux

Ecole doctorale : Mathématiques et Informatique

Sujet : Propriétés structurelles des automates sur les mots infinis et mémoire pour les jeux

Mots-clés de la thèse : theorie des jeux,automates finis,logique,,

Direction de thèse : Igor WALUKIEWICZ

Co-direction de thèse : Nathanaël FIJALKOW

Unité de recherche : LaBRI - Laboratoire Bordelais de Recherche en Informatique UMR 5800 - Talence
Intitulé de l'équipe : Méthodes et Modèles formels

Master - Mathématiques et applications

obtenu en septembre 2020 - Université Paris Diderot (Paris-VII)
Option : Complexité Descriptive et Théorie des Modèles

Production scientifique

- Antonio Casares, Pierre Ohlmann 2023. Characterising Memory in Infinite Games ICALP, 261 122:1--122:18, https://doi.org/10.4230/LIPIcs.ICALP.2023.122
- Patricia Bouyer, Antonio Casares, Mickael Randour and Pierre Vandenhove 2022. Half-Positional Objectives Recognized by Deterministic Büchi Automata CONCUR 2022, --, https://doi.org/10.48550/arXiv.2205.01365
- Antonio Casares 2022. On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions CSL 2022, Volume 216, pages 12:1--12:17, https://doi.org/10.4230/LIPIcs.CSL.2022.12
- Antonio Casares, Thomas Colcombet and Karoliina Lehtinen 2022. On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games ICALP 2022, Volume 229, Pages 117:1--117:20, https://doi.org/10.4230/LIPIcs.ICALP.2022.117
- Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin and Salomon Sickert 2022. Practical Applications of the Alternating Cycle Decomposition TACAS 2022, Volume 13244, Pages 99--117, https://doi.org/10.1007/978-3-030-99527-0\_6
- Antonio Casares, Thomas Colcombet, Nathanaël Fijalkow 2021. Optimal Transformations of Games and Automata using Muller Conditions 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Volume 198, 123:1--123:14, https://drops.dagstuhl.de/opus/volltexte/2021/14192/

Dernière mise à jour le 25 janvier 2024