Olivier Carton

Professeur
64
Documents
Affiliation actuelle
  • Université Paris Cité (UPCité)

Publications

Publications

Linear Recurrence Sequence Automata and the Addition of Abstract Numeration Systems

Olivier Carton , Jean-Michel Couvreur , Martin Delacourt , Nicolas Ollinger

WORDS 2025, Jun 2025, Nancy, France. pp.70-82, ⟨10.1007/978-3-031-97548-6_7⟩

Communication dans un congrès hal-05146660v1

Preservation of Normality by Unambiguous Transducers

Olivier Carton

Developments in Language Theory 2022, May 2022, Tampa, United States. pp.90-101, ⟨10.1007/978-3-031-05578-2_7⟩

Communication dans un congrès hal-03759051v1
Deposit thumbnail

Counter Machines and Distributed Automata

Olivier Carton , Bruno Guillon , Fabian Reiter

24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.13-28, ⟨10.1007/978-3-319-92675-9_2⟩

Communication dans un congrès hal-01824873v1

Simon’s theorem for scattered words,

Olivier Carton , Maurice Pouzet

22nd International Conference on Developments in Language Theory (DLT 2018), Sep 2018, Tokyo, Japan

Communication dans un congrès hal-02083326v1
Deposit thumbnail

Continuity and Rational Functions

Michaël Cadilhac , Olivier Carton , Charles Paperman

The 44th International Colloquium on Automata, Languages, and Programming ICALP 2017, 2017, Varsovie, Poland. pp.1 - 11514, ⟨10.4230/LIPIcs.ICALP.2017.115⟩

Communication dans un congrès hal-01587614v1
Deposit thumbnail

Polishness of Some Topologies Related to Automata

Olivier Carton , Olivier Finkel , Dominique Lecomte

26th EACSL Annual Conference on Computer Science and Logic (CSL 2017), Aug 2017, Stockholm, Sweden. pp.22:1-22:16, ⟨10.4230/LIPIcs.CSL.2017.22⟩

Communication dans un congrès hal-01590185v1
Deposit thumbnail

Two-Way Two-Tape Automata

Olivier Carton , Léo Exibard , Olivier Serre

Developments in Language Theory - 21st International Conference (DLT 2017), Aug 2017, Liège, Belgium. pp.147-159

Communication dans un congrès hal-02112626v1

Channel Synthesis Revisited

Béatrice Bérard , Olivier Carton

8th International Conference on Languages and Automata Theory and Applications -- LATA, Mar 2014, Madrid, Spain. pp.149-160, ⟨10.1007/978-3-319-04921-2_12⟩

Communication dans un congrès hal-01215226v1

Regular Languages of Words over Countable Linear Orderings

Thomas Colcombet , Olivier Carton , Gabriele Puppis

Icalp 2011, Jul 2011, Zürich, Switzerland. pp.125-136, ⟨10.1007/978-3-642-21254-3_1⟩

Communication dans un congrès istex hal-00439263v1
Deposit thumbnail

Regular Languages of Words over Countable Linear Orderings

Gabriele Puppis , Thomas Colcombet , Olivier Carton

Proceedings of ICALP 2011, 2011, Zurich, Switzerland. pp.125-136, ⟨10.1007/978-3-642-22012-8_9⟩

Communication dans un congrès hal-00717752v1

Algebraic Characterization of FO for Scattered Linear Orderings

Alexis Bès , Olivier Carton

25th International Workshop of Computer Science Logic (CSL), part of 20th Annual Conference of the EACSL, 2011, Unknown, Unknown Region. pp.67--81, ⟨10.4230/LIPIcs.CSL.2011.67⟩

Communication dans un congrès hal-01215407v1

Logic and Rational Languages of Words Indexed by Linear Orderings

Nicolas Bedon , Alexis Bès , Olivier Carton , Chloé Rispal

3rd International Computer Science Symposium in Russia (CSR'08), Jun 2008, Moscow, Russia, Russia. pp.76-85

Communication dans un congrès hal-00620148v1
Deposit thumbnail

Hopcroft's automaton minimization algorithm and Sturmian words

Jean Berstel , Luc Boasson , Olivier Carton

Fifth Colloquium on Mathematics and Computer Science, 2008, Kiel, Germany. pp.351-362, ⟨10.46298/dmtcs.3576⟩

Communication dans un congrès hal-01194663v1
Deposit thumbnail

A first investigation of sturmian trees

Jean Berstel , Luc Boasson , Olivier Carton , Isabelle Fagnot

A first investigation of sturmian trees, Feb 2007, Aachen (Aix la Chapelle), Germany. pp.73-84, ⟨10.1007/978-3-540-70918-3_7⟩

Communication dans un congrès hal-00150178v1
Deposit thumbnail

The growth ratio of synchronous rational relations is unique

Olivier Carton

Developements in Language Theory, 2006, Santa Barbara, United States. pp.270-279

Communication dans un congrès hal-00162499v1

A Kleene Theorem for Languages of Words Indexed by Linear Orderings

Alexis Bès , Olivier Carton

2005, pp.158-167

Communication dans un congrès hal-00091579v1
Deposit thumbnail

Complementation of Rational Sets on Scattered Linear Orderings

Chloé Rispal , Olivier Carton

8th International Conference on Developments in Language Theory (DLT 2004), 2004, France. pp.381-392

Communication dans un congrès hal-00620119v1
Deposit thumbnail

Complementation of Rational Sets on Scattered Linear Orderings of Finite Rank

Olivier Carton , Chloé Rispal

6th Latin American Theoretical INformatics (LATIN'04), Apr 2004, Buenos Aires, Argentina, Argentina. pp.292-301

Communication dans un congrès hal-00619905v1

On the complexity of Hopcroft's state minimization algorithm

Jean Berstel , Olivier Carton

9th International Conference on Implementation and Application of Automata (CIAA 2004), Jul 2004, Kingston, Canada, Canada. pp.35-44

Communication dans un congrès hal-00619888v1

Unambiguous automata on bi-infinite words

Olivier Carton

International Symposium on Mathematical Foundations of Computer Science 2003, 2003, Czech Republic. pp.308-317

Communication dans un congrès hal-00619904v1
Deposit thumbnail

Operations preserving recognizable languages

Jean Berstel , Luc Boasson , Olivier Carton , Bruno Petazzoni , Jean-Eric Pin

FCT'03, 2003, Malmo, Sweden. pp.343-354, ⟨10.1007/978-3-540-45077-1_32⟩

Communication dans un congrès hal-00112814v1
Deposit thumbnail

Determinization of transducers over infinite words

Marie-Pierre Béal , Olivier Carton

27thInternational Colloquium on Automata, Languages and Programming (ICALP 2000), 2000, Switzerland. pp.561-570

Communication dans un congrès hal-00619850v1

Squaring transducers: An efficient procedure for deciding functionality and sequentiality

Marie-Pierre Béal , Olivier Carton , Christophe Prieur , Jacques Sakarovitch

4th Latin American Theoretical INformatics (LATIN'2000), Apr 2000, Punta del Este, Uruguay, Uruguay. pp.407-416

Communication dans un congrès hal-00619851v1

An Eilenberg theorem for words on countable ordinals

Nicolas Bedon , Olivier Carton

3rd Latin American Theoretical INformatics (LATIN'1998), Apr 1998, Campinas, Brazil, Brazil. pp.53-64

Communication dans un congrès hal-00619872v1
Deposit thumbnail

Cyclic languages and strongly cyclic languages

Marie-Pierre Béal , Olivier Carton , Christophe Reutenauer

International Symposium on Theoretical Aspects of Computer Science (STACS 96), 1996, Grenoble, France. pp.49-59

Communication dans un congrès hal-00619852v1
Deposit thumbnail

A dynamical view of Tijdeman's solution of the chairman assignment problem

Valérie Berthé , Olivier Carton , Nicolas Chevallier , Wolfgang Steiner , Reem Yassawi

Moscow Journal of Combinatorics and Number Theory, 2024, 13 (4), pp.377-412. ⟨10.2140/cnt.2024.13.377⟩

Article dans une revue hal-04570088v2
Deposit thumbnail

Preservation of normality by transducers

Olivier Carton , Elisa Orduna

Information and Computation, 2022, 282, pp.104650. ⟨10.1016/j.ic.2020.104650⟩

Article dans une revue hal-03660658v1
Deposit thumbnail

Continuity of functional transducers: a profinite study of rational functions

Michaël Cadilhac , Olivier Carton , Charles Paperman

Logical Methods in Computer Science, 2020, ⟨10.23638/LMCS-16(1:24)2020⟩

Article dans une revue hal-03111682v1
Deposit thumbnail

Normal numbers and nested perfect necklaces

Verónica Becher , Olivier Carton

Journal of Complexity, 2019, 54, pp.101403 -. ⟨10.1016/j.jco.2019.03.003⟩

Article dans une revue hal-03488341v1
Deposit thumbnail

Polishness of some topologies related to word or tree automata

Olivier Carton , Olivier Finkel , Dominique Lecomte

Logical Methods in Computer Science, 2019, ⟨10.23638/LMCS-15(2:9)2019⟩

Article dans une revue hal-01593160v3
Deposit thumbnail

A Survey on Difference Hierarchies of Regular Languages

Olivier Carton , Dominique Perrin , Jean-Eric Pin

Logical Methods in Computer Science, 2018, 14, pp.1 - 23. ⟨10.23638/LMCS-14(1:24)2018⟩

Article dans une revue hal-02104436v1
Deposit thumbnail

An algebraic approach to MSO-definability on countable linear orderings

Olivier Carton , Thomas Colcombet , Gabriele Puppis

The Journal of Symbolic Logic, 2018, 83 (3), pp.1147-1189. ⟨10.1017/jsl.2018.7⟩

Article dans une revue hal-01470325v2
Deposit thumbnail

Wavelength-Selective Shape Memory Alloy for Wireless Microactuation of a Bistable Curved Beam

Sajid Zaidi , Frédéric Lamarque , Jérôme Favergeon , Olivier Carton , Christine Prelle

IEEE Transactions on Industrial Electronics, 2011, 58 (12), pp.5288 - 5295. ⟨10.1109/tie.2010.2046609⟩

Article dans une revue hal-01911359v1
Deposit thumbnail

Sturmian Trees

Jean Berstel , Luc Boasson , Olivier Carton , Isabelle Fagnot

Theory of Computing Systems, 2010, 46 (3), pp.443-478

Article dans une revue hal-00619760v1

Logic and Rational Languages of Words Indexed by Linear Orderings.

Nicolas Bedon , Alexis Bès , Olivier Carton , Chloé Rispal

Theory of Computing Systems, 2010, 46 (4), pp.737-760

Article dans une revue hal-00790136v1

The expressive power of the shuffle product

Jean Berstel , Luc Boasson , Olivier Carton , Jean-Eric Pin , Antonio Restivo

Information and Computation, 2010, 208 (11), pp.1258-1272. ⟨10.1016/j.ic.2010.06.002⟩

Article dans une revue istex hal-00619766v1

Continuant polynomials and worst-case behavior of Hopcroft's minimization algorithm

Jean Berstel , Luc Boasson , Olivier Carton

Theoretical Computer Science, 2009, 410 (30-32), pp.2811-2822. ⟨10.1016/j.tcs.2009.01.039⟩

Article dans une revue istex hal-00619761v1

Tree Automata and Automata on Linear Orderings

Véronique Bruyère , Olivier Carton , Géraud Sénizergues

RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2009, 43 (2), pp.321-338

Article dans une revue hal-00403681v1
Deposit thumbnail

On the Continuity Set of an omega Rational Function

Olivier Carton , Olivier Finkel , Pierre Simonnet

RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2008, 42 ((1)), pp.183-196

Article dans une revue ensl-00216624v1
Deposit thumbnail

The growth ratio of synchronous rational relations is unique

Olivier Carton

Theoretical Computer Science, 2007, 376, pp.52-59

Article dans une revue hal-00160891v1
Deposit thumbnail

Complementation of Rational sets on Scattered Linear Orderings of Finite Rank

Olivier Carton , Chloé Rispal

Theoretical Computer Science, 2007, 382 (2), pp.109-119. ⟨10.1016/j.tcs.2007.03.008⟩

Article dans une revue hal-00619538v1
Deposit thumbnail

Automata on linear orderings

Véronique Bruyère , Olivier Carton

Journal of Computer and System Sciences, 2007, 73 (1), pp.1-24

Article dans une revue hal-00160925v1
Deposit thumbnail

A Kleene Theorem for Languages of Words Indexed by Linear Orderings

Alexis Bès , Olivier Carton

International Journal of Foundations of Computer Science, 2006, 17 (3), pp.519-542

Article dans une revue hal-00160976v1
Deposit thumbnail

Operations preserving recognizable languages

Jean Berstel , Luc Boasson , Olivier Carton , Bruno Petazzoni , Jean-Eric Pin

Theoretical Computer Science, 2006, 354, pp.405-420. ⟨10.1007/978-3-540-45077-1_32.pdf⟩

Article dans une revue hal-00112842v1

Decision problems among the main subfamilies of rational relations

Olivier Carton , Christian Choffrut , Serge Grigorieff

RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2006, 40, pp.255--275

Article dans une revue hal-00160967v1

Decision problems among the main subfamilies of rational relations

Christian Choffrut , Serge Grigorieff , Olivier Carton

RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2006, 40 (2), pp.255-276. ⟨10.1051/ita:2006005⟩

Article dans une revue istex hal-00158271v1
Deposit thumbnail

Complementation of Rational Sets on Countable Scattered Linear Orderings

Chloé Rispal , Olivier Carton

International Journal of Foundations of Computer Science, 2005, 16 (4), pp.767-786. ⟨10.1007/978-3-540-30550-7_32⟩

Article dans une revue hal-00160985v1
Deposit thumbnail

Hierarchy among Automata on Linear Orderings

Véronique Bruyère , Olivier Carton

Theory of Computing Systems, 2005, 38 (5), pp.593-621

Article dans une revue hal-00161039v1
Deposit thumbnail

Determinization of transducers over infinite words: the general case

Marie-Pierre Béal , Olivier Carton

Theory of Computing Systems, 2004, 37 (4), pp.483-502

Article dans une revue hal-00619205v1
Deposit thumbnail

Determinization of transducers over infinite words: the general case

Marie-Pierre Béal , Olivier Carton

Theory of Computing Systems, 2004, 37 (4), pp.483-502

Article dans une revue hal-00162483v1

Squaring transducers: An efficient procedure for deciding functionality and sequentiality

Marie-Pierre Béal , Olivier Carton , Christophe Prieur , Jacques Sakarovitch

Theoretical Computer Science, 2003, 292 (1), pp.45-63

Article dans une revue hal-00619218v1

Unambiguous Büchi automata

Olivier Carton , Max Michel

Theoretical Computer Science, 2003, 297 (1), pp.37-81

Article dans une revue hal-00619536v1

Accessibility in automata on scattered linear orderings

Olivier Carton

MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2002, 2002, 2420 (?), pp.155--164

Article dans une revue hal-00693661v1
Deposit thumbnail

Determinization of transducers over finite and infinite words

Marie-Pierre Béal , Olivier Carton

Theoretical Computer Science, 2002, 289 (1), pp.225-251

Article dans une revue hal-00619203v1
Deposit thumbnail

Computing the prefix of an automaton

Marie-Pierre Béal , Olivier Carton

Informatique Théorique et Applications, 2000, 34 (6), pp.503-514

Article dans une revue hal-00619217v1
Deposit thumbnail

Asynchronous sliding block maps

Marie-Pierre Béal , Olivier Carton

Informatique Théorique et Applications, 2000, 34 (2), pp.139-156

Article dans une revue hal-00619216v1

Computing the Rabin index of a parity automaton

Olivier Carton , R Maceiras

RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 1999, 33 (6), pp.495--505. ⟨10.1051/ita:1999129⟩

Article dans une revue istex hal-00693809v1

The Wadge-Wagner hierarchy of omega-rational sets

Olivier Carton , D Perrin

AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 (?), pp.17--35

Article dans une revue hal-00693993v1

Deterministic Regular Functions of Infinite Words

Olivier Carton , Gaëtan Douéneau-Tabot , Emmanuel Filiot , Sarah Winter

ICALP 2023, 261, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, pp.121:1--121:18, 2023, ⟨10.4230/LIPIcs.ICALP.2023.121⟩

Proceedings/Recueil des communications hal-04405111v1

Minimization of Automata

Jean Berstel , Luc Boasson , Olivier Carton , Isabelle Fagnot

Jean-Éric Pin. Handbook of Automata Theory, 1 (1), European Mathematical Society; EMS Press, pp.337-373, 2021, ⟨10.4171/AUTOMATA-1/10⟩

Chapitre d'ouvrage hal-01743468v1
Deposit thumbnail

Automata and semigroups recognizing infinite words

Olivier Carton , Dominique Perrin , Jean-Eric Pin

J. Flum, E. Grädel and T. Wilke. Logic and Automata, History and perspectives, Amsterdam University Press, pp.585-596, 2007

Chapitre d'ouvrage hal-00340797v1
Deposit thumbnail

Channel synthesis revisited

Béatrice Bérard , Olivier Carton

[Research Report] lip6.2013.001, LIP6. 2013

Rapport (rapport de recherche) hal-02545987v1