% Time-stamp: % Bibliographie personnelle % pour series % pour series @string{RAIRO = "R.A.I.R.O.-Informatique {T}h{\'e}orique et {A}pplications"} % "Lecture Notes in Computer Science" @string{LNCS = "Lect. Notes in Comput. Sci."} % pour publisher @string{SPRINGER = "Springer-Verlag"} @string{ACADPRESS = "Academic Press"} @string{HOLLAND = "North Holland"} @string{ADDISON = "Addison-Wesley"} @string{ELSEVIER = "Elsevier"} @string{WORLDSCI = "World Scientific"} @string{KLUWER = "Kluwer Academic Publishers"} % Abbreviation pour les journaux % "??" @string{EIK = "Elektron. Informationsverarb. Kybernet."} % "Information and Computation" @string{IC = "Inform. Comput."} % "Information and Control" @string{ICL = "Inform. Control"} % "International Journal of Algebra and Computation" @string{IJAC = "Int. J. Alg. Comput."} % "International Journal of Foundation of Computer Science" @string{IJFCS = "Int. J. Found. Comput. Sci."} % "Journal of Pure and Applied Algebra" @string{JPAA = "J. Pure and Applied Algebra"} % "Journal of Algebra" @string{JA = "J. Algebra"} % "Journal of the Association for Computing Machinery" @string{JACM = "J. Assoc. Comput. Mach."} % "Journal of Computer and System Sciences" @string{JCSS = "J. Comput. System Sci."} % "??" @string{DM = "Discrete Math."} % "Mathematical Systems Theory" @string{MST = "Math. Systems Theory"} % "Semigroup Forum" @string{SGF = "Semigroup Forum"} % "Theoretical Computer Science" @string{TIA = "Theoret. Informatics and Applications"} % "Theoretical Computer Science" @string{TCS = "Theoret. Comput. Sci."} % "Transactions of the american mathematical society" @string{TAMS = "Trans. Amer. Math. Soc."} % "Theory of Computing systems" @string{TOCS = "Theory of Comput. Systems"} % Traductions francaise % @string{ToAppearIn = {A para{\^\i}tre dans }} % @string{SubmittedTo = {Soumis {\`a} }} % @string{Report = {Rapport }} % @string{InPreparation = {En pr{\'e}paration}} % pour note a traduire @string{ToAppearIn = {To appear in }} @string{SubmittedTo = {Submitted to }} @string{Report = {Report }} @string{InPreparation = {In preparation}} % pour booktitle (inproceedings) @string{STACS = "STACS '"} % utilisation : STACS # 88 @string{ICALP = "ICALP '"} % idem %% Livre @Book{Carton08, author = {Olivier Carton}, title = {Langages formels, calculabilit{\'e} et complexit{\'e}}, publisher = {Vuibert}, year = 2008 } %% Chapitres de livre @InBook{CartonPinPerrin07, author = {Olivier Carton and Jean-{\'E}ric Pin and Dominique Perrin}, title = {Logic and Automata}, chapter = {Automata and semigroups recognizing infinite words}, publisher = {Amsterdam University Press}, year = 2007, pages = {133--167} } %% Articles parus ou à paraître @article{BedonBesCartonRispal10, author = {Nicolas Bedon and Alexis B{\`e}s and Olivier Carton and Chloe Rispal}, title = {Logic and Rational Languages of Words Indexed by Linear Orderings}, journal = TCS, volume = 46, number = 4, year = 2010, pages = {737-760} } @Article{BBCPR10, author = {Jean Berstel and Luc Boasson and Olivier Carton and Jean-{\'E}ric Pin and Antonio Restivo}, title = {The expressive power of the shuffle product}, journal = IC, year = 2010, volume = 208, pages = {1258--1272} } @Article{BerstelBoassonCartonFagnot10, author = {Jean Berstel and Luc Boasson and Olivier Carton and Isabelle Fagnot}, title = {Sturmian trees}, journal = {TOCS}, year = 2010, volume = 46, pages = {443--478} } @Article{CartonPinSoler09, author = {O. Carton and J.-{\'E}. Pin and X. Soler-Escriv{\`a}}, title = {Languages recognized by finite supersoluble groups}, journal = {Journal of Automata, Languages and Combinatorics}, year = 2009, volume = 14, pages = {149--161} } @article{BruyereCartonSenizergues09, author = {V{\'e}ronique Bruy{\`e}re and Olivier Carton and G{\'e}raud S{\'e}nizergues}, title = {Tree Automata and Automata on Linear Orderings}, journal = TIA, volume = 43, number = 2, year = 2009, pages = {321--338} } @Article{BerstelBoassonCarton09, author = {Jean Berstel and Luc Boasson and Olivier carton}, title = {Continuant polynomials and worst-case behavior of {H}opcroft's minimization algorithm}, journal = TCS, year = 2009, volume = 410, pages = {2811--2822} } @Article{CartonFinkelSimonnet08, author = {Olivier Carton and Olivier Finkel and Pierre Simonnet}, title = {On the continuity of an omega rational function}, journal = {RAIRO}, year = 2008, volume = 42, number = 1, pages = {183--196} } @Article{Carton07, author = {Olivier Carton}, title = {The growth ratio of synchronous rational relations is unique}, journal = TCS, year = 2007, volume = 376, pages = {52--59}, url = {Cobham/} } @Article{CartonBruyere07, author = {V{\'e}ronique Bruy{\`e}re and Olivier Carton}, title = {Automata on linear orderings}, journal = JCSS, year = 2007, volume = 73, number = 1, pages = {1--24}, url = {Linear/} } @Article{CarChoGre06, author = {Olivier Carton and Christian Choffrut and Serge Grigorieff}, title = {Decision problems among the main subfamilies of rational relations}, journal = TIA, year = 2006, volume = 40, pages = {255--275} } @Article{BesCarton06, author = {Alexis B{\`e}s And Olivier Carton}, title = {A {K}leene Theorem for Languages of Words Indexed by Linear Orderings}, journal = IJFCS, year = 2006, volume = 17, number = 3, pages = {519--542}, url = {Linear/} } @Article{BeBoCaPePi06, author = {Jean Berstel and Luc Boasson and Olivier Carton and Bruno Petazzoni and Jean-{\'E}ric Pin}, title = {Operations preserving recognizable languages}, journal = TCS, year = 2006, volume = 354, number = 3, pages = {405--420}, url = {Decimation/} } @Article{CartonRispal05, author = {Chlo{\'e} Rispal and Olivier Carton}, title = {Complementation of Rational Sets on Countable Scattered Linear Orderings}, journal = {J. Found. Comput. Sci. }, year = 2005, volume = 16, number = 4, pages = {767--786} } @Article{BruyereCarton05, author = {V{\'e}ronique Bruy{\`e}re and Olivier Carton}, title = {Hierarchy among Automata on Linear Orderings}, journal = TOCS, year = 2005, volume = 38, number = 5, pages = {593--621}, url = {Linear/} } @Article{BealCarton04, author = {Marie-Pierre B{\'e}al and Olivier Carton}, title = {Determinization of transducers over infinite words: the general case}, journal = {TOCS}, year = 2004, volume = 37, number = 4, pages = {483--502}, } @Article{CartonMichel03, author = {Olivier Carton and Max Michel}, title = {Unambiguous {B\"u}chi automata}, journal = TCS, year = 2003, volume = 297, pages = {37--81}, url = {Uba/} } @Article{BealCartonPrieurSaka03, author = {Marie-Pierre B{\'e}al and Olivier Carton and Christophe Prieur and Jacques Sakarovitch}, title = {Squaring transducers: An efficient procedure for deciding functionality and sequentiality}, journal = TCS, year = 2003, volume = 292, number = 1, pages = {45--63}, url = {Squaring/} } @Article{CartonThomas02, author = {Olivier Carton and Wolfgang Thomas}, title = {The Monadic Theory of Morphic Infinite Words and Generalizations}, journal = IC, year = 2002, volume = 176, pages = {51--76}, note = {IGM report 2000-11}, url = {Morphic/} } @Article{BealCarton02, author = {Marie-Pierre B{\'e}al and Olivier Carton}, title = {Determinization of transducers over finite and infinite words}, journal = TCS, year = 2002, volume = 289, number = 1, pages = {225--251}, note = {IGM report 99--12}, url = {Determinization/} } @Article{CartonChoffrut01, author = {Olivier Carton and Christian Choffrut}, title = {Periodicity and roots of transfinite strings}, journal = TIA, year = 2001, volume = 35, number = 6, pages = {525--533} } @TechReport{Carton01, author = {O. Carton}, title = {{$\mathcal{R}$}-trivial languages of words on countable ordinals}, institution = {Institut Gaspard Monge}, year = 2001, number = {2001--05}, note = {To appear in TCS}, url = {R-trivial/} } @Article{BealCarton00a, author = {Marie-Pierre B{\'e}al and Olivier Carton}, title = {Computing the prefix of an automaton}, journal = TIA, year = 2000, volume = 34, number = 6, pages = {503--514}, note = {IGM Report 2000--08}, url = {Prefix/} } @Article{BealCarton00c, author = {Marie-Pierre B{\'e}al and Olivier Carton}, title = {Asynchronous sliding block maps}, journal = TIA, year = 2000, volume = 34, pages = {139--156}, note = {IGM report 99--06}, url = {Sliding/} } @Article{CartonMaceiras99, author = {Olivier Carton and Ram{\'o}n Maceiras}, title = {Computing the {R}abin index of a parity automaton}, journal = TIA, year = 1999, volume = 33, pages = {495--505}, note = {IGM report 99--09}, url = {Parity/} } @Article{Carton00, author = {Olivier Carton}, title = {Wreath product and infinite words}, journal = JPAA, year = 2000, volume = 153, pages = {129--150}, url = {Wreath/} } @Article{Carton97, author = {Olivier Carton}, title = {A hierarchy of cyclic languages}, journal = TIA, year = 1997, volume = 31, number = 4, pages = {355--369}, url = {Cyclic/} } @Article{CartonPerrin99, author = {Olivier Carton and Dominique Perrin}, title = {The {W}agner hierarchy of {$\omega$}-rational sets}, journal = IJAC, year = 1999, volume = 9, number = 5, pages = {597--620}, url = {Wagner/} } @Article{CartonPerrin97b, author = {Olivier Carton and Dominique Perrin}, title = {Chains and superchains for {$\omega$}-rational sets, automata and semigroups}, journal = IJAC, year = 1997, volume = 7, number = 7, pages = {673--695}, url = {Wagner/} } @Article{Carton96, author = {Olivier Carton}, title = {Chain automata}, journal = TCS, year = 1996, volume = 161, pages = {191--203}, note = Report # {{LITP} 94-02}, url = {ChainAutomata/} } %% Actes de conferences parus ou à paraître @inproceedings{CartonColcombetPuppis11, author = {Olivier Carton and Thomas Colcombet and Gabriele Puppis}, title = {Regular Languages of Words over Countable Linear Orderings}, booktitle = {ICALP (2)}, year = 2011, pages = {125-136}, publisher = {Springer}, series = LNCS, volume = 6756, } @inproceedings{CartonBes11, author = {Alexis B{\`e}s and Olivier Carton}, title = {Algebraic Characterization of FO for Scattered Linear Orderings}, booktitle = {CSL'2011}, year = 2011, pages = {67-81}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, series = {LIPIcs}, volume = 12, isbn = {978-3-939897-32-3}, } @InProceedings{Carton10, author = {Olivier Carton}, title = {Right sequential functions on infinite words}, booktitle = {CSR'2010}, pages = {96--106}, year = 2010, editor = {F. Ablayev and E.W. Mayr}, volume = 6072, series = LNCS, publisher = SPRINGER } @InProceedings{Carton09, author = {Olivier Carton}, title = {Left and right synchrounous relations}, booktitle = {DLT'2009}, pages = {170--182}, year = 2009, volume = 5583, series = LNCS, publisher = SPRINGER } @InProceedings{BerstelBoassonCarton08, author = {Jean Berstel and Luc Boasson and Olivier Carton}, title = {Hopcroft's automaton minimization algorithm and Sturmian words}, booktitle = {DMTCS'2008 (Fifth Colloquium on Mathematics and Computer Science}, pages = {355--366}, year = 2008, volume = {AI}, series = {DMTCS proceedings series} } @InProceedings{BedonBesCartonRispal08, author = {Nicolas Bedon and Alexis B{\`e}s and Olivier Carton and Chlo{\'e} Rispal}, title = {Logic and Rational Languages of Words Indexed by Linear Orderings}, booktitle = {CSR'2008}, pages = {78--85}, year = 2008, volume = 5010, series = LNCS, publisher = SPRINGER } @InProceedings{BerstelBoassonCartonFagnot07, author = {Jean Berstel and Luc Boasson and Olivier Carton and Isabelle Fagnot}, title = {A First Investigation of {S}turmian Trees}, booktitle = {STACS'2007}, pages = {73--84}, year = 2007, editor = {Wolfgang Thomas and Pascal Weil}, volume = 4393, series = LNCS, url = {SturmTrees/} } @InProceedings{Carton06, author = {Olivier Carton}, title = {The growth ratio of synchronous rational relations is unique}, booktitle = {DLT'2006}, pages = {270--279}, year = 2006, editor = {Oscar H. Ibarra and Zhe Dang}, volume = 4036, series = LNCS, publisher = SPRINGER, url = {Cobham/} } @InProceedings{BesCarton05, author = {Alexis B{\`e}s And Olivier Carton}, title = {A {K}leene Theorem for Languages of Words Indexed by Linear Orderings}, booktitle = {DLT'2005}, pages = {158--167}, year = 2005, editor = {Clelia de Felice and Antonio Restivo}, volume = 3572, series = LNCS, publisher = SPRINGER } @InProceedings{CartonRispal04b, author = {Chlo{\'e} Rispal and Olivier Carton}, title = {Complementation of Rational Sets on Countable Scattered Linear Orderings}, booktitle = {DLT'2004}, pages = {381-392}, year = 2004, editor = {C. S. Calude and E. Calude and M. J. Dinneen}, volume = 3340, publisher = SPRINGER, series = LNCS } @InProceedings{CartonRispal04, author = {Olivier Carton and Chlo{\'e} Rispal}, title = {Complementation of Rational sets on Scattered Linear Orderings of Finite rank}, booktitle = {LATIN'2004}, pages = {292--301}, year = 2004, volume = 2976, series = LNCS } @InProceedings{BerstelCarton04, author = {Jean Berstel and Olivier Carton}, title = {On the complexity of Hopcroft's state minimization algorithm}, booktitle = {CIAA'2004}, pages = {35--44}, year = 2004, volume = 3317, series = LNCS, publisher = SPRINGER, url = {Hopcroft/} } @InProceedings{BruyereCartonSenizergue03, author = {V{\'e}ronique Bruy{\`e}re and Olivier Carton and G{\'e}raud S{\'e}nizergues }, title = {Tree Automata and Automata on Linear Orderings}, OPTcrossref = {}, OPTkey = {}, booktitle = {WORDS'2003}, pages = {222--231}, year = {2003}, editor = {Tero Harju and Juhani Karhum{\"a}ki}, OPTvolume = {27}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, publisher = {Turku Center for Computer Science}, OPTnote = {}, OPTannote = {} } @InProceedings{Carton03, author = {Olivier Carton}, title = {Unambiguous automata on bi-infinite words}, booktitle = {MFCS'2003}, pages = {308-317}, year = 2003, editor = {Branislav Rovan and Peter Vojt{\'a}{\v s}}, volume = 2747, series = LNCS, url = {Biinfinite/} } @InProceedings{BeBoCaPePi03, author = {Jean Berstel and Luc Boasson and Olivier Carton and Bruno Petazzoni and Jean-{\'E}ric Pin}, title = {Operations preserving recognizable languages}, booktitle = {FCT'2003}, year = 2003, pages = {343--354}, editor = {Andrzej Lingas and Bengt J. Nilsson}, volume = 2751, series = LNCS, url = {Decimation/} } @InProceedings{BruyereCarton02b, author = {V{\'e}ronique Bruy{\`e}re and Olivier Carton}, title = {Automata on Linear Orderings}, booktitle = {DLT'2002}, pages = {103--115}, year = 2002, editor = {Masami Ito and Masafumi Toyama}, volume = 2450, series = LNCS } @InProceedings{Carton02, author = {Olivier Carton}, title = {Accessibility in Automata on Scattered Linear Orderings}, booktitle = {MFCS'2002}, pages = {155--164}, year = 2002, editor = {Krzysztof Diks and Wojcieh Rytter}, volume = 2420, series = LNCS, url = {Linear/} } @InProceedings{BruyereCarton02, author = {V{\'e}ronique Bruy{\`e}re and Olivier Carton}, title = {Hierarchy among Automata on Linear Orderings}, booktitle = {Foudation of Information technology in the era of network and mobile computing}, pages = {107--118}, year = 2002, editor = {Ricardo Baeza-Yates and Ugo Montanari and Nicola Santoro}, publisher = KLUWER, note = {TCS'2002/IFIP'2002}, url = {Linear/} } @InProceedings{BruyereCarton01, author = {V{\'e}ronique Bruy{\`e}re and Olivier Carton}, title = {Automata on linear orderings}, booktitle = {MFCS'2001}, pages = {236--247}, year = 2001, editor = {Ji{\v r}{\'\i} Sgall and Ale{\v s} Pultr and Petr Kolman}, volume = 2136, series = LNCS, url = {ScatKleene/} } @InProceedings{CartonThomas00, author = {Olivier Carton and Wolfgang Thomas}, title = {The Monadic Theory of Morphic Infinite Words and Generalizations}, booktitle = {MFCS'2000}, pages = {275--284}, year = 2000, editor = {Mogens Nielsen and Branislav Rovan}, number = 1893, series = LNCS, url = {Morphic/} } @InProceedings{BealCarton00b, author = {Marie-Pierre B{\'e}al and Olivier Carton}, title = {Determinization of transducers over infinite words}, booktitle = {ICALP'2000}, pages = {561--570}, year = 2000, editor = {U. Montanari and others}, volume = 1853, series = LNCS, url = {Determinization/} } @InProceedings{BealCartonPrieurSaka00, author = {Marie-Pierre B{\'e}al and Olivier Carton and Christophe Prieur and Jacques Sakarovitch}, title = {Squaring transducers: An efficient procedure for deciding functionality and sequentiality}, booktitle = {LATIN'2000}, pages = {397--406}, year = 2000, editor = {G. Gonnet and D. Panario and A. Viola}, volume = 1776, series = LNCS, url = {Squaring/} } @InProceedings{CartonMichel00, author = {Olivier Carton and Max Michel}, title = {Unambiguous {B\"u}chi automata}, booktitle = {LATIN'2000}, pages = {407--416}, year = 2000, editor = {G. Gonnet and D. Panario and A. Viola}, volume = 1776, series = LNCS, url = {Uba/} } @InProceedings{BealCarton99, author = {Marie-Pierre B{\'e}al and Olivier Carton}, title = {Asynchronous sliding block maps}, booktitle = {Developments in Language Theory}, pages = {47--59}, year = 1999, editor = {G. Rozenberg and W. Thomas}, publisher = WORLDSCI, note = {IGM report 99--06}, url = {Sliding/} } @InProceedings{BedonCarton98, author = {Nicolas Bedon and Olivier Carton}, title = {An {E}ilenberg theorem for words on countable ordinals}, booktitle = {Latin'98: Theoretical Informatics}, pages = {53--64}, year = {1998}, editor = {Cl{\'a}udio L. Lucchesi and Arnaldo V. Moura}, volume = {1380}, series = LNCS, publisher = SPRINGER, url = {Ordinals/} } % Actes de ICALP'97 a Bologne @InProceedings{CartonPerrin97, author = {Olivier Carton and Dominique Perrin}, title = {The {W}adge-{W}agner hierarchy of $\omega$-rational sets}, booktitle = {Automata, Languages and Programming}, editor = {Pierpaolo Degano and Roberto Gorrieri and Alberto Marchetti-Spaccamela}, volume = 1256, series = LNCS, year = 1997, publisher = SPRINGER, pages = {17--35}, url = {Wagner/} } % Actes de la conference de Porto @InProceedings{CartonPerrin94, author = {Olivier Carton and Dominique Perrin}, title = {Chains and superchains in $\omega$-semigroups}, booktitle = {Semigroups, Automata and Languages}, editor = {Jorge Almeida and Grancinda Gomes and Pedro Silva}, year = 1994, publisher = {World Scientific}, pages = {17--28}, url = {Wagner/} } @InProceedings{BealCartonReuten96, author = {Marie-Pierre B{\'e}al and Olivier Carton and Christophe Reutenauer}, title = {Cyclic languages and strongly cyclic languages}, booktitle = {STACS'96}, volume = 1046, series = LNCS, year = 1996, pages = {49--59}, url = {Cyclic/} } @InProceedings{Carton94, author = {Olivier Carton}, title = {Chain automata}, booktitle = {IFIP World Computer Congress '94}, address = {Hamburg}, year = 1994, publisher = {Elsevier (North-Holland)}, pages = {451--458}, remark = {Short version of Carton96}, url = {ChainAutomata/} } %% Rapports labos @TechReport{BruyereCarton00, author = {V{\'e}ronique Bruy{\`e}re and Olivier Carton}, title = {Automata on linear orderings}, institution = {Institut Gaspard Monge}, year = 2000, number = {2000--12}, note = {Submitted to JCSS}, url = {ScatKleene/} } %% Miscellaneous @PhdThesis{Hdr01, author = {Olivier Carton}, title = {Automates et mots infinis}, school = {Universit{\'e} de Marne-la-Vall{\'e}e}, year = 2001, type = {Habilitation {\`a} Diriger des Recherches}, url = {Hdr/} } @PhdThesis{Carton93, author = {Olivier Carton}, title = {Mots infinis, $\omega$-semigroupes et topologie}, school = {Universit{\'e} Paris 7}, year = 1993, type = {Th{\`e}se de doctorat}, note = Report # {{LITP-TH} 93-08}, url = {These/} } @TechReport{Carton88, author = {Olivier Carton}, title = {{\'E}tude de la th{\`e}se de {H}ing {L}eung}, institution = {Universit{\'e} Paris 7}, year = 1988, type = {Rapport de {DEA}}, note = Report # {LITP 88} }