Michaël Cadilhac
Michaël Cadilhac
University of Oxford
Dirección de correo verificada de cadilhac.name - Página principal
Título
Citado por
Citado por
Año
Affine Parikh automata∗
M Cadilhac, A Finkel, P McKenzie
RAIRO-Theoretical Informatics and Applications 46 (4), 511-545, 2012
33*2012
Bounded parikh automata
M Cadilhac, A Finkel, P McKenzie
International Journal of Foundations of Computer Science 23 (08), 1691-1709, 2012
162012
Unambiguous constrained automata
M Cadilhac, A Finkel, P McKenzie
International Journal of Foundations of Computer Science 24 (07), 1099-1116, 2013
152013
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
152007
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
52018
Value automata with filters
M Cadilhac, A Krebs, N Limaye
arXiv preprint arXiv:1510.02393, 2015
52015
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
52015
Continuity and rational functions
M Cadilhac, O Carton, C Paperman
arXiv preprint arXiv:1802.10555, 2018
42018
Message relaying techniques for computational grids and their relations to fault tolerant message passing for the grid
M Cadilhac, T Herault, P Lemarinier
in" Second CoreGRID Workshop on Grid and Peer to Peer Systems Architecture, 2006
22006
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 (Faculté des arts et des sciences), 2012
12012
Continuity of Functional Transducers: A Profinite Study of Rational Functions
C Paperman, O Carton, M Cadilhac
Logical Methods in Computer Science 16, 2020
2020
On polynomial recursive sequences
M Cadilhac, F Mazowiecki, C Paperman, M Pilipczuk, G Sénizergues
arXiv preprint arXiv:2002.08630, 2020
2020
The Impatient May Use Limited Optimism to Minimize Regret
M Cadilhac, GA Pérez, M Van Den Bogaard
International Conference on Foundations of Software Science and Computation …, 2019
2019
A Language-Theoretical Approach to Descriptive Complexity
M Cadilhac, A Krebs, KJ Lange
International Conference on Developments in Language Theory, 64-76, 2016
2016
EXTREMELY UNIFORM BRANCHING PROGRAMS
M Cadilhac
2014
Automates à contraintes semilinéaires= Automata with a semilinear constraint
M Cadilhac
2013
Review of combinatorics: a guided tour by David R. Mazur
M Cadilhac
ACM SIGACT News 42 (3), 34-36, 2011
2011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20