Michaël Cadilhac

54 papers A* 5B 4C 3Journal 33Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Shuffles of Context-Free Languages along Regular Trajectories.
CoRR
Corentin Barloy, Michaël Cadilhac, Kyle Ockerlund
2025 B conf
Data Structures for Finite Downsets of Natural Vectors: Theory and Practice.
ATVA
Michaël Cadilhac, Vanessa Flügel, Guillermo A. Pérez, Shrisha Rao
2025 J jnl
Data Structures for Finite Downsets of Natural Vectors: Theory and Practice.
CoRR
Michaël Cadilhac, Vanessa Flügel, Guillermo A. Pérez, Shrisha Rao
2025 — conf
Fast value iteration: A uniform approach to efficient algorithms for energy games.
TACAS (2)
Michaël Cadilhac, Antonio Casares, Pierre Ohlmann
2025 J jnl
Knee-Deep in C-RASP: A Transformer Depth Hierarchy.
CoRR
Andy Yang, Michaël Cadilhac, David Chiang
2025 J jnl
Parikh one-counter automata.
Inf. Comput.
Michaël Cadilhac, Arka Ghosh, Guillermo A. Pérez, Ritam Raha
2025 B conf
Two-Way One-Counter Nets Revisited.
CSL
Shaull Almagor, Michaël Cadilhac, Asaf Yeshurun
2025 — conf
Weakly Acyclic Diagrams: A Data Structure for Infinite-State Symbolic Verification.
TACAS (3)
Michael Blondin, Michaël Cadilhac, Xin-Yi Cui, Philipp Czerner, Javier Esparza, Jakob Schulz
2024 J jnl
On Polynomial Recursive Sequences.
Theory Comput. Syst.
Michaël Cadilhac, Filip Mazowiecki, Charles Paperman, Michal Pilipczuk, Géraud Sénizergues
2024 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
Int. J. Softw. Tools Technol. Transf.
Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
2024 J jnl
Two-Way One-Counter Nets Revisited.
CoRR
Shaull Almagor, Michaël Cadilhac, Asaf Yeshurun
2024 J jnl
Weakly acyclic diagrams: A data structure for infinite-state symbolic verification.
CoRR
Michael Blondin, Michaël Cadilhac, Xin-Yi Cui, Philipp Czerner, Javier Esparza, Jakob Schulz
2023 — conf
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability.
TACAS (2)
Michaël Cadilhac, Guillermo A. Pérez
2023 B conf
Parikh One-Counter Automata.
MFCS
Michaël Cadilhac, Arka Ghosh, Guillermo A. Pérez, Ritam Raha
2022 J jnl
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability.
CoRR
Michaël Cadilhac, Guillermo A. Pérez
2022 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
CoRR
Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
2022 A* conf
The Regular Languages of First-Order Logic with One Alternation.
LICS
Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume
2022 J jnl
The Regular Languages of First-Order Logic with One Alternation.
CoRR
Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume
2022 J jnl
The regular languages of wire linear AC
Acta Informatica
Michaël Cadilhac, Charles Paperman
2021 J jnl
Review of Communication Complexity and Applications by Anup Rao and Amir Yehudayoff.
SIGACT News
Michaël Cadilhac
2020 J jnl
Continuity of Functional Transducers: A Profinite Study of Rational Functions.
Log. Methods Comput. Sci.
Michaël Cadilhac, Olivier Carton, Charles Paperman
2020 A* conf
On Polynomial Recursive Sequences.
ICALP
Michaël Cadilhac, Filip Mazowiecki, Charles Paperman, Michal Pilipczuk, Géraud Sénizergues
2020 J jnl
On polynomial recursive sequences.
CoRR
Michaël Cadilhac, Filip Mazowiecki, Charles Paperman, Michal Pilipczuk, Géraud Sénizergues
2020 A* conf
Rational Subsets of Baumslag-Solitar Groups.
ICALP
Michaël Cadilhac, Dmitry Chistikov, Georg Zetzsche
2020 J jnl
Rational subsets of Baumslag-Solitar groups.
CoRR
Michaël Cadilhac, Dmitry Chistikov, Georg Zetzsche
2020 J jnl
Weak Cost Register Automata are Still Powerful.
Int. J. Found. Comput. Sci.
Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez
2019 B conf
The Impatient May Use Limited Optimism to Minimize Regret.
FoSSaCS
Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard
2018 J jnl
Continuity and Rational Functions.
CoRR
Michaël Cadilhac, Olivier Carton, Charles Paperman
2018 J jnl
The Algebraic Theory of Parikh Automata.
Theory Comput. Syst.
Michaël Cadilhac, Andreas Krebs, Pierre McKenzie
2018 J jnl
The Impatient May Use Limited Optimism to Minimize Regret.
CoRR
Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard
2018 C conf
Weak Cost Register Automata Are Still Powerful.
DLT
Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez
2018 J jnl
Weak Cost Register Automata are Still Powerful.
CoRR
Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez
2017 J jnl
A Crevice on the Crane Beach: Finite-Degree Predicates.
CoRR
Michaël Cadilhac, Charles Paperman
2017 A* conf
A crevice on the Crane Beach: Finite-degree predicates.
LICS
Michaël Cadilhac, Charles Paperman
2017 A* conf
Continuity and Rational Functions.
ICALP
Michaël Cadilhac, Olivier Carton, Charles Paperman
2016 C conf
A Language-Theoretical Approach to Descriptive Complexity.
DLT
Michaël Cadilhac, Andreas Krebs, Klaus-Jörn Lange
2016 J jnl
Review of: The Golden Ratio and Fibonacci Numbers by Richard A. Dunlap.
SIGACT News
Michaël Cadilhac
2015 — conf
A Circuit Complexity Approach to Transductions.
MFCS (1)
Michaël Cadilhac, Andreas Krebs, Michael Ludwig, Charles Paperman
2015 J jnl
Value Automata with Filters.
CoRR
Michaël Cadilhac, Andreas Krebs, Nutan Limaye
2014 — conf
Extremely uniform branching programs.
NCMA
Michaël Cadilhac, Andreas Krebs, Pierre McKenzie
2014 J jnl
Review of graph structure and monadic second-order logic: a language-theoretic approach by Bruno Courcelle and Joost Engelfriet.
SIGACT News
Michaël Cadilhac
2013 J jnl
Review of proofs and algorithms by Gilles Dowek (translation by Maribel Fernandez).
SIGACT News
Michaël Cadilhac
2013 — conf
The Algebraic Theory of Parikh Automata.
CAI
Michaël Cadilhac, Andreas Krebs, Pierre McKenzie
2013 J jnl
The Algebraic Theory of Parikh Automata.
Electron. Colloquium Comput. Complex.
Michaël Cadilhac, Andreas Krebs, Pierre McKenzie
2013 J jnl
Unambiguous constrained Automata.
Int. J. Found. Comput. Sci.
Michaël Cadilhac, Alain Finkel, Pierre McKenzie
2012 J jnl
Affine Parikh automata.
RAIRO Theor. Informatics Appl.
Michaël Cadilhac, Alain Finkel, Pierre McKenzie
2012 J jnl
Bounded Parikh Automata.
Int. J. Found. Comput. Sci.
Michaël Cadilhac, Alain Finkel, Pierre McKenzie
2012 J jnl
Review of handbook of weighted automata, edited by Manfred Droste, Werner Kuich and Heiko Vogler.
SIGACT News
Michaël Cadilhac
2012 C conf
Unambiguous Constrained Automata.
Developments in Language Theory
Michaël Cadilhac, Alain Finkel, Pierre McKenzie
2011 — conf
Bounded Parikh Automata
WORDS
Michaël Cadilhac, Alain Finkel, Pierre McKenzie
2011 — conf
On the Expressiveness of Parikh Automata and Related Models.
NCMA
Michaël Cadilhac, Alain Finkel, Pierre McKenzie
2011 J jnl
Review of combinatorics: a guided tour by David R. Mazur.
SIGACT News
Michaël Cadilhac
2011 J jnl
Storming the Parikh Automaton
CoRR
Michaël Cadilhac, Alain Finkel, Pierre McKenzie
2006 — conf
Evaluating Complex MAC Protocols for Sensor Networks with APMC.
AVoCS
Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil