Follow
Olivier Carton
Olivier Carton
IRIF & Université de Paris
Verified email at irif.fr - Homepage
Title
Cited by
Cited by
Year
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
1202003
Unambiguous büchi automata
O Carton, M Michel
Theoretical Computer Science 297 (1-3), 37-81, 2003
852003
The monadic theory of morphic infinite words and generalizations
O Carton, W Thomas
Information and Computation 176 (1), 51-65, 2002
792002
Langages formels, calculabilité et complexité
O Carton
Vuibert, 2008
752008
Minimization of automata
J Berstel, L Boasson, O Carton, I Fagnot
arXiv preprint arXiv:1010.5318, 2010
622010
Determinization of transducers over finite and infinite words
MP Béal, O Carton
Theoretical Computer Science 289 (1), 225-251, 2002
552002
Automata on linear orderings
V Bruyere, O Carton
Journal of Computer and System Sciences 73 (1), 1-24, 2007
522007
On the complexity of Hopcroft¢s state minimization algorithm
J Berstel, O Carton
Implementation and Application of Automata: 9th International Conference …, 2005
522005
Automata on linear orderings
V Bruyere, O Carton
Mathematical Foundations of Computer Science 2001: 26th International …, 2001
522001
Computing the Rabin index of a parity automaton
O Carton, R Maceiras
RAIRO-Theoretical Informatics and Applications 33 (6), 495-505, 1999
491999
The Wagner hierarchy
O Carton, D Perrin
International journal of algebra and computation 9 (05), 597-620, 1999
431999
Chains and superchains for ù-rational sets, automata and semigroups
O Carton, D Perrin
International Journal of Algebra and Computation 7 (06), 673-695, 1997
431997
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
382005
Aperiodic two-way transducers and FO-transductions
O Carton, L Dartois
arXiv preprint arXiv:2103.15651, 2021
342021
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
301998
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
Normality and automata
V Becher, O Carton, PA Heiber
Journal of Computer and System Sciences 81 (8), 1592-1613, 2015
262015
Automata and semigroups recognizing infinite words.
O Carton, D Perrin, JE Pin
Logic and automata 2, 133-168, 2008
252008
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
242000
The system can't perform the operation now. Try again later.
Articles 1–20