Michaël Cadilhac

According to our database, Michaël Cadilhac authored at least 29 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability.

Michaël Cadilhac, Guillermo A. Pérez

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Parikh One-Counter Automata.

Michaël Cadilhac, Arka Ghosh, Guillermo A. Pérez, Ritam Raha

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2022

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.

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

CoRR, 2022

The regular languages of wire linear AC⁰.

Michaël Cadilhac, Charles Paperman

Acta Informatica, 2022

The Regular Languages of First-Order Logic with One Alternation.

Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Review of Communication Complexity and Applications by Anup Rao and Amir Yehudayoff.

Michaël Cadilhac

SIGACT News, 2021

2020

Continuity of Functional Transducers: A Profinite Study of Rational Functions.

Michaël Cadilhac, Olivier Carton, Charles Paperman

Log. Methods Comput. Sci., 2020

Weak Cost Register Automata are Still Powerful.

Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez

Int. J. Found. Comput. Sci., 2020

On Polynomial Recursive Sequences.

Michaël Cadilhac, Filip Mazowiecki, Charles Paperman, Michal Pilipczuk, Géraud Sénizergues

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

Rational Subsets of Baumslag-Solitar Groups.

Michaël Cadilhac, Dmitry Chistikov, Georg Zetzsche

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

2019

The Impatient May Use Limited Optimism to Minimize Regret.

Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2017

A crevice on the Crane Beach: Finite-degree predicates.

Michaël Cadilhac, Charles Paperman

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Continuity and Rational Functions.

Michaël Cadilhac, Olivier Carton, Charles Paperman

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016

Review of: The Golden Ratio and Fibonacci Numbers by Richard A. Dunlap.

Michaël Cadilhac

SIGACT News, 2016

A Language-Theoretical Approach to Descriptive Complexity.

Michaël Cadilhac, Andreas Krebs, Klaus-Jörn Lange

Proceedings of the Developments in Language Theory - 20th International Conference, 2016

2015

Value Automata with Filters.

Michaël Cadilhac, Andreas Krebs, Nutan Limaye

CoRR, 2015

A Circuit Complexity Approach to Transductions.

Michaël Cadilhac, Andreas Krebs, Michael Ludwig, Charles Paperman

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

2014

Review of graph structure and monadic second-order logic: a language-theoretic approach by Bruno Courcelle and Joost Engelfriet.

Michaël Cadilhac

SIGACT News, 2014

Extremely uniform branching programs.

Michaël Cadilhac, Andreas Krebs, Pierre McKenzie

Proceedings of the Sixth Workshop on Non-Classical Models for Automata and Applications, 2014

2013

Review of proofs and algorithms by Gilles Dowek (translation by Maribel Fernandez).

Michaël Cadilhac

SIGACT News, 2013

Unambiguous constrained Automata.

Michaël Cadilhac, Alain Finkel, Pierre McKenzie

Int. J. Found. Comput. Sci., 2013

The Algebraic Theory of Parikh Automata.

Michaël Cadilhac, Andreas Krebs, Pierre McKenzie

Electron. Colloquium Comput. Complex., 2013

2012

Review of handbook of weighted automata, edited by Manfred Droste, Werner Kuich and Heiko Vogler.

Michaël Cadilhac

SIGACT News, 2012

Affine Parikh automata.

Michaël Cadilhac, Alain Finkel, Pierre McKenzie

RAIRO Theor. Informatics Appl., 2012

2011

Review of combinatorics: a guided tour by David R. Mazur.

Michaël Cadilhac

SIGACT News, 2011

Bounded Parikh Automata

Michaël Cadilhac, Alain Finkel, Pierre McKenzie

Proceedings of the Proceedings 8th International Conference Words 2011, 2011

Storming the Parikh Automaton

Michaël Cadilhac, Alain Finkel, Pierre McKenzie

CoRR, 2011

On the Expressiveness of Parikh Automata and Related Models.

Michaël Cadilhac, Alain Finkel, Pierre McKenzie

Proceedings of the Third Workshop on Non-Classical Models for Automata and Applications - NCMA 2011, Milan, Italy, July 18, 2011

2006

Evaluating Complex MAC Protocols for Sensor Networks with APMC.

Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil

Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006