Sledovať
Olivier Carton
Olivier Carton
IRIF & Université de Paris
Overená e-mailová adresa na: irif.fr - Domovská stránka
Názov
Citované v
Citované v
Rok
Squaring transducers: an efficient procedure for deciding functionality and sequentiality
MP Béal, O Carton, C Prieur, J Sakarovitch
Theoretical Computer Science 292 (1), 45-63, 2003
1272003
Unambiguous büchi automata
O Carton, M Michel
Theoretical Computer Science 297 (1-3), 37-81, 2003
922003
The monadic theory of morphic infinite words and generalizations
O Carton, W Thomas
Information and Computation 176 (1), 51-65, 2002
872002
Langages formels, calculabilité et complexité
O Carton
Vuibert, 2008
862008
Determinization of transducers over finite and infinite words
MP Béal, O Carton
Theoretical computer science 289 (1), 225-251, 2002
622002
Minimization of automata
J Berstel, L Boasson, O Carton, I Fagnot
arXiv preprint arXiv:1010.5318, 2010
612010
Automata on linear orderings
V Bruyere, O Carton
Journal of Computer and System Sciences 73 (1), 1-24, 2007
602007
On the complexity of Hopcroft’s state minimization algorithm
J Berstel, O Carton
Implementation and Application of Automata: 9th International Conference …, 2005
572005
Automata on linear orderings
V Bruyere, O Carton
Mathematical Foundations of Computer Science 2001: 26th International …, 2001
532001
Computing the Rabin index of a parity automaton
O Carton, R Maceiras
RAIRO-Theoretical Informatics and Applications 33 (6), 495-505, 1999
511999
Chains and superchains for ω-rational sets, automata and semigroups
O Carton, D Perrin
International Journal of Algebra and Computation 7 (06), 673-695, 1997
481997
The Wagner hierarchy
O Carton, D Perrin
International Journal of Algebra and Computation 9 (05), 597-620, 1999
441999
Complementation of rational sets on countable scattered linear orderings
C Rispal, O Carton
International Journal of Foundations of Computer Science 16 (04), 767-786, 2005
402005
Aperiodic two-way transducers and FO-transductions
O Carton, L Dartois
arXiv preprint arXiv:2103.15651, 2021
362021
Squaring transducers: An efficient procedure for deciding functionality and sequentiality of transducers
MP Béal, O Carton, C Prieur, J Sakarovitch
LATIN 2000: Theoretical Informatics: 4th Latin American Symposium, Punta del …, 2000
322000
Decision problems among the main subfamilies of rational relations
O Carton, C Choffrut, S Grigorieff
RAIRO-Theoretical Informatics and Applications 40 (2), 255-275, 2006
312006
An Eilenberg theorem for words on countable ordinals
N Bedon, O Carton
LATIN'98: Theoretical Informatics: Third Latin American Symposium Campinas …, 1998
311998
Normality and automata
V Becher, O Carton, PA Heiber
Journal of Computer and System Sciences 81 (8), 1592-1613, 2015
272015
Regular languages of words over countable linear orderings
O Carton, T Colcombet, G Puppis
International Colloquium on Automata, Languages, and Programming, 125-136, 2011
272011
The monadic theory of morphic infinite words and generalizations
O Carton, W Thomas
International Symposium on Mathematical Foundations of Computer Science, 275-284, 2000
262000
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20