Follow
Michaël Cadilhac
Michaël Cadilhac
DePaul University
Verified email at cadilhac.name - Homepage
Title
Cited by
Cited by
Year
Affine Parikh automata∗
M Cadilhac, A Finkel, P McKenzie
RAIRO-Theoretical Informatics and Applications 46 (4), 511-545, 2012
53*2012
Unambiguous constrained automata
M Cadilhac, A Finkel, P McKenzie
International Journal of Foundations of Computer Science 24 (07), 1099-1116, 2013
252013
Bounded parikh automata
M Cadilhac, A Finkel, P McKenzie
International Journal of Foundations of Computer Science 23 (08), 1691-1709, 2012
242012
The reactive synthesis competition (SYNTCOMP): 2018-2021
S Jacobs, GA Perez, R Abraham, V Bruyere, M Cadilhac, M Colange, ...
arXiv preprint arXiv:2206.00251, 2022
212022
Evaluating complex MAC protocols for sensor networks with APMC
M Cadilhac, T Hérault, R Lassaigne, S Peyronnet, S Tixeuil
Electronic Notes in Theoretical Computer Science 185, 33-46, 2007
182007
Rational subsets of Baumslag-Solitar groups
M Cadilhac, D Chistikov, G Zetzsche
arXiv preprint arXiv:2006.11898, 2020
172020
On polynomial recursive sequences
M Cadilhac, F Mazowiecki, C Paperman, M Pilipczuk, G Sénizergues
Theory of Computing Systems, 1-22, 2021
152021
Continuity and rational functions
M Cadilhac, O Carton, C Paperman
The 44th International Colloquium on Automata, Languages, and Programming …, 2017
122017
A circuit complexity approach to transductions
M Cadilhac, A Krebs, M Ludwig, C Paperman
Mathematical Foundations of Computer Science 2015: 40th International …, 2015
102015
Weak cost register automata are still powerful
S Almagor, M Cadilhac, F Mazowiecki, GA Pérez
Developments in Language Theory: 22nd International Conference, DLT 2018 …, 2018
62018
The algebraic theory of parikh automata
M Cadilhac, A Krebs, P McKenzie
Theory of Computing Systems 62, 1241-1268, 2018
52018
Value automata with filters
M Cadilhac, A Krebs, N Limaye
arXiv preprint arXiv:1510.02393, 2015
52015
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability
M Cadilhac, GA Pérez
International Conference on Tools and Algorithms for the Construction and …, 2023
22023
Weak cost register automata are still powerful
S Almagor, M Cadilhac, F Mazowiecki, GA Pérez
International Journal of Foundations of Computer Science 31 (06), 689-709, 2020
22020
The impatient may use limited optimism to minimize regret
M Cadilhac, GA Pérez, M Van Den Bogaard
Foundations of Software Science and Computation Structures: 22nd …, 2019
22019
Parikh One-Counter Automata
M Cadilhac, A Ghosh, GA Pérez, R Raha
LIPIcs: Leibniz International Proceedings in Informatics.-Place of …, 2023
12023
The Regular Languages of First-Order Logic with One Alternation
C Barloy, M Cadilhac, C Paperman, T Zeume
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
12022
Continuity of functional transducers: a profinite study of rational functions
M Cadilhac, O Carton, C Paperman
Logical Methods in Computer Science 16, 2020
12020
A crevice on the Crane Beach: Finite-degree predicates
M Cadilhac, C Paperman
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-9, 2017
12017
Automates à contraintes semilinéaires= Automata with a semilinear constraint
M Cadilhac
12013
The system can't perform the operation now. Try again later.
Articles 1–20