Affine Parikh automata∗ M Cadilhac, A Finkel, P McKenzie RAIRO-Theoretical Informatics and Applications 46 (4), 511-545, 2012 | 41* | 2012 |
Unambiguous constrained automata M Cadilhac, A Finkel, P McKenzie International Journal of Foundations of Computer Science 24 (07), 1099-1116, 2013 | 20 | 2013 |
Bounded parikh automata M Cadilhac, A Finkel, P McKenzie International Journal of Foundations of Computer Science 23 (08), 1691-1709, 2012 | 18 | 2012 |
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 | 16 | 2007 |
On polynomial recursive sequences M Cadilhac, F Mazowiecki, C Paperman, M Pilipczuk, G Sénizergues Theory of Computing Systems, 1-22, 2021 | 10 | 2021 |
Continuity and rational functions M Cadilhac, O Carton, C Paperman The 44th International Colloquium on Automata, Languages, and Programming …, 2017 | 10 | 2017 |
A circuit complexity approach to transductions M Cadilhac, A Krebs, M Ludwig, C Paperman International Symposium on Mathematical Foundations of Computer Science, 141-153, 2015 | 9 | 2015 |
Rational subsets of Baumslag-Solitar groups M Cadilhac, D Chistikov, G Zetzsche arXiv preprint arXiv:2006.11898, 2020 | 7 | 2020 |
Weak cost register automata are still powerful S Almagor, M Cadilhac, F Mazowiecki, GA Pérez International Conference on Developments in Language Theory, 83-95, 2018 | 6 | 2018 |
Value automata with filters M Cadilhac, A Krebs, N Limaye arXiv preprint arXiv:1510.02393, 2015 | 5 | 2015 |
Message relaying techniques for computational grids and their relations to fault tolerant message passing for the Grid M Cadilhac, T Herault, P Lemarinier 2nd CoreGRID Workshop on GRID and Peer to Peer Systems Architecture, 2006 | 2 | 2006 |
The Impatient May Use Limited Optimism to Minimize Regret M Cadilhac, GA Pérez, M Bogaard International Conference on Foundations of Software Science and Computation …, 2019 | 1 | 2019 |
The algebraic theory of Parikh automata M Cadilhac, A Krebs, P McKenzie Theory of Computing Systems 62 (5), 1241-1268, 2018 | 1 | 2018 |
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 | 1 | 2017 |
The algebraic theory of Parikh automata M Cadilhac, A Krebs, P McKenzie International Conference on Algebraic Informatics, 60-73, 2013 | 1 | 2013 |
Automates À Contraintes Semilinéaires M Cadilhac Université de Montréal, 2012 | 1 | 2012 |
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability M Cadilhac, GA Pérez arXiv preprint arXiv:2204.06079, 2022 | | 2022 |
The Regular Languages of First-Order Logic with One Alternation C Barloy, M Cadilhac, C Paperman, T Zeume arXiv preprint arXiv:2203.06075, 2022 | | 2022 |
The Regular Languages of Wire Linear AC 0 M Cadilhac, C Paperman | | 2021 |
Review of Communication Complexity and Applications by Anup Rao and Amir Yehudayoff M Cadilhac ACM SIGACT News 52 (3), 11-13, 2021 | | 2021 |