Volgen
Michaël Cadilhac
Michaël Cadilhac
DePaul University
Geverifieerd e-mailadres voor cadilhac.name - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
202013
Bounded parikh automata
M Cadilhac, A Finkel, P McKenzie
International Journal of Foundations of Computer Science 23 (08), 1691-1709, 2012
182012
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
162007
On polynomial recursive sequences
M Cadilhac, F Mazowiecki, C Paperman, M Pilipczuk, G Sénizergues
Theory of Computing Systems, 1-22, 2021
102021
Continuity and rational functions
M Cadilhac, O Carton, C Paperman
The 44th International Colloquium on Automata, Languages, and Programming …, 2017
102017
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
92015
Rational subsets of Baumslag-Solitar groups
M Cadilhac, D Chistikov, G Zetzsche
arXiv preprint arXiv:2006.11898, 2020
72020
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
62018
Value automata with filters
M Cadilhac, A Krebs, N Limaye
arXiv preprint arXiv:1510.02393, 2015
52015
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
22006
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
12019
The algebraic theory of Parikh automata
M Cadilhac, A Krebs, P McKenzie
Theory of Computing Systems 62 (5), 1241-1268, 2018
12018
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
The algebraic theory of Parikh automata
M Cadilhac, A Krebs, P McKenzie
International Conference on Algebraic Informatics, 60-73, 2013
12013
Automates À Contraintes Semilinéaires
M Cadilhac
Université de Montréal, 2012
12012
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20