Sylvain Lombardy

55
Documents

Publications

Publications

Image document

Morphisms and minimisation of weighted automata

Sylvain Lombardy , Jacques Sakarovitch
Fundamenta Informaticae, 2022, 186 (1-4), pp.195-218. ⟨10.3233/FI-222126⟩
Article dans une revue hal-03483922 v5
Image document

Derived Terms without Derivation -- A shifted perspective on the derived-term automaton

Sylvain Lombardy , Jacques Sakarovitch
Journal of Computer Science and Cybernetics, Vietnamese Academy of Science and Technology, Vietnam, 2021, 37 (3), pp.201-221. ⟨10.15625/1813-9663/37/3/16263⟩
Article dans une revue hal-03382261 v1
Image document

From Hadamard expressions to weighted rotating automata and back

Louis-Marie Dando , Sylvain Lombardy
Theoretical Computer Science, 2019, 787, pp.28-44. ⟨10.1016/j.tcs.2018.09.017⟩
Article dans une revue hal-02290010 v1

Two-way representations and weighted automata

Sylvain Lombardy
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2016, 7th Non-Classical Models of Automata and Applications (NCMA-2015), 50 (4), pp.331-350. ⟨10.1051/ita/2016026⟩
Article dans une revue hal-01484284 v1

On Determinism and Unambiguity of Weighted Two-Way Automata

Vincent Carnino , Sylvain Lombardy
International Journal of Foundations of Computer Science, 2015, Special Issue – Automata and Formal Languages (AFL 2014), 26 (8), pp.1127-1146. ⟨10.1142/S0129054115400158⟩
Article dans une revue hal-01326283 v1

Factorizations and universal automaton of omega languages

Vincent Carnino , Sylvain Lombardy
International Journal of Foundations of Computer Science, 2014, Special Issue – Developments in Language Theory (DLT 2013), 25 (8), pp.1111-1125. ⟨10.1142/S0129054114400279⟩
Article dans une revue hal-01120568 v1

The validity of weighted automata

Sylvain Lombardy , Jacques Sakarovitch
International Journal of Algebra and Computation, 2013, 23, pp.863-913. ⟨10.1142/S0218196713400146⟩
Article dans une revue hal-00845820 v1

On the finiteness problem for automaton (semi)groups

Ali Akhavi , Ines Klimann , Sylvain Lombardy , Jean Mairesse , Matthieu Picantin
International Journal of Algebra and Computation, 2012, 22 (06), pp.1250052.1-1250052.26. ⟨10.1142/S021819671250052X⟩
Article dans une revue hal-00695445 v1

On the Number of Broken Derived Terms of a Rational Expression

Pierre-Yves Angrand , Sylvain Lombardy , Jacques Sakarovitch
Journal of Automata Languages and Combinatorics, 2012, 15 (1/2), pp.27-51
Article dans une revue hal-00860155 v1
Image document

Embeddings of local automata

Marie-Pierre Béal , Sylvain Lombardy , Dominique Perrin
Illinois Journal of Mathematics, 2010, 54 (1), pp.155-174
Article dans une revue hal-00619770 v1

Corrigendum to our paper : How Expressions can code for Automata

Sylvain Lombardy , Jacques Sakarovitch
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2010, 44 (3), pp.339--361. ⟨10.1051/ita/2010019⟩
Article dans une revue hal-00692898 v1

Sequential ?

Sylvain Lombardy , Jacques Sakarovitch
Theoretical Computer Science, 2006, 356, pp.224 -- 244. ⟨10.1016/j.tcs.2006.01.028⟩
Article dans une revue istex hal-00069863 v1
Image document

Series which are both max-plus and min-plus rational are unambiguous

Sylvain Lombardy , Jean Mairesse
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2006, 40, pp.1-14. ⟨10.1051/ita:2005042⟩
Article dans une revue hal-00017220 v1

How expressions can code for automata

Sylvain Lombardy , Jacques Sakarovitch
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2005, 39, pp.217-237. ⟨10.1051/ita:2005013⟩
Article dans une revue istex hal-00016385 v1

Introducing Vaucanson

Sylvain Lombardy , Yann Regis-Gianas , Jacques Sakarovitch
Theoretical Computer Science, 2004, 328, pp.77-96. ⟨10.1016/j.tcs.2004.07.007⟩
Article dans une revue istex hal-00017540 v1
Image document

Deciding Unambiguity and Sequentiality from a Finitely Ambiguous Max-Plus Automaton

Ines Klimann , Sylvain Lombardy , Jean Mairesse , Christophe Prieur
Theoretical Computer Science, 2004, 327 (3), pp.349-373. ⟨10.1016/j.tcs.2004.02.049⟩
Article dans une revue hal-00174171 v1

Derivatives of rational expressions with multiplicity

Sylvain Lombardy , Jacques Sakarovitch
Theoretical Computer Science, 2004, 332, pp.141-177. ⟨10.1016/j.tcs.2004.10.016⟩
Article dans une revue hal-00017202 v1

The Net Automaton of a Rational Expression

Sylvain Lombardy , Jacques Sakarovitch
LATIN 2022: LATIN 2022: Theoretical Informatics, Armando Castañeda, Francisco Rodríguez-Henríquez, Nov 2022, Guanajuato, Mexico. pp.376-392, ⟨10.1007/978-3-031-20624-5_23⟩
Communication dans un congrès hal-03986317 v1
Image document

Unambiguous Separators for Tropical Tree Automata

Thomas Colcombet , Sylvain Lombardy
37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020, Mar 2020, Montpellier, France. pp.32:1-32:13, ⟨10.4230/LIPIcs.STACS.2020.32⟩
Communication dans un congrès hal-03106897 v1

Two Routes to Automata Minimization and the Ways to Reach It Efficiently

Sylvain Lombardy , Jacques Sakarovitch
International Conference on Implementation and Application of Automata, CIAA 2018, Jul 2018, Charlottetown, Canada. pp.248-260, ⟨10.1007/978-3-319-94812-6_21⟩
Communication dans un congrès hal-01866176 v1
Image document

Two-Way Automata over Locally Finite Semirings

Louis-Marie Dando , Sylvain Lombardy
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Hallifax, NS, Canada. pp.62-74, ⟨10.1007/978-3-319-94631-3_6⟩
Communication dans un congrès hal-01866160 v1

On Hadamard Series and Rotating Q-Automata

Louis-Marie Dando , Sylvain Lombardy
Mathematical Foundations of Computer Science, MFCS 2018, Igor Potapov; Paul Spirakis; James Worrell, Aug 2018, Liverpool, United Kingdom. pp.6:1--6:14, ⟨10.4230/LIPIcs.MFCS.2018.6⟩
Communication dans un congrès hal-01866198 v1

From Hadamard Expressions to Weighted Rotating Automata and Back

Louis-Marie Dando , Sylvain Lombardy
22nd International Conference Implementation and Application of Automata, CIAA 2017, Jun 2017, Marne-la-Vallée, France. pp.163-174, ⟨10.1007/978-3-319-60134-2_14⟩
Communication dans un congrès hal-01544105 v1

A Type System for Weighted Automata and Rational Expressions

Akim Demaille , Alexandre Duret-Lutz , Sylvain Lombardy , Luca Saiu , Jacques Sakarovitch
Implementation and Application of Automata, CIAA 2014, Jul 2014, Giessen, Germany. pp.162--175, ⟨10.1007/978-3-319-08846-4_12⟩
Communication dans un congrès hal-01069654 v1
Image document

Tropical Two-Way Automata

Vincent Carnino , Sylvain Lombardy
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.195-206, ⟨10.1007/978-3-662-44602-7_16⟩
Communication dans un congrès hal-01069637 v1
Image document

On Determinism and Unambiguity of Weighted Two-way Automata

Vincent Carnino , Sylvain Lombardy
14th International Conference on Automata and Formal Languages, May 2014, Szeged, Hungary. pp.188-200, ⟨10.4204/EPTCS.151.13⟩
Communication dans un congrès hal-01008785 v1
Image document

Factorizations and Universal Automaton of Omega Languages

Vincent Carnino , Sylvain Lombardy
Developments in Language Theory - 17th International Conference (DLT'13), 2013, Marne-la-Vallée, France. pp.338-349, ⟨10.1007/978-3-642-38771-5_30⟩
Communication dans un congrès hal-00841873 v1

Implementation Concepts in Vaucanson 2

Akim Demaille , Alexandre Duret-Lutz , Sylvain Lombardy , Jacques Sakarovitch
Implementation and Application of Automata, CIAA 2013, Jul 2013, Halifax, Canada. pp.122-133, ⟨10.1007/978-3-642-39274-0_12⟩
Communication dans un congrès istex hal-00845816 v1
Image document

Decidability of Geometricity of Regular Languages

Marie-Pierre Béal , Jean-Marc Champarnaud , Jean-Philippe Dubernard , Hadrien Jeanne , Sylvain Lombardy
16th International Conference, DLT 2012, 2012, Taipei, Taiwan. pp.62-72, ⟨10.1007/978-3-642-31653-1_7⟩
Communication dans un congrès hal-00737688 v1

Factor and Subsequence Kernels and Signatures of Rational Languages

Sylvain Lombardy , Ahmed Amarni
17th International Conference, CIAA 2012, 2012, Porto, Portugal. pp.313-320, ⟨10.1007/978-3-642-31606-7_27⟩
Communication dans un congrès hal-00737676 v1

The Removal of Weighted ε-Transitions

Sylvain Lombardy , Jacques Sakarovitch
17th International Conference, CIAA 2012, 2012, Porto, Portugal. pp.345-352, ⟨10.1007/978-3-642-31606-7_31⟩
Communication dans un congrès hal-00737679 v1

Radix cross-sections for length morphisms

Sylvain Lombardy , Jacques Sakarovitch
9th Latin American Theoretical Informatics Symposium (LATIN'10), 2010, United States. pp.184-195
Communication dans un congrès hal-00620325 v1
Image document

Regular Temporal Cost Functions

Thomas Colcombet , Denis Kuperberg , Sylvain Lombardy
International Colloquium on Automata, Languages and Programming (ICALP), 2010, Bordeaux, France. pp.563-574
Communication dans un congrès hal-00859355 v1
Image document

Deciding Unambiguity and Sequentiality of Polynomially Ambiguous Min-Plus Automata

Daniel Kirsten , Sylvain Lombardy
26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. pp.589-600
Communication dans un congrès inria-00360205 v1

On the number of broken derived terms of a rational expression

Pierre-Yves Angrand , Sylvain Lombardy , Jacques Sakarovitch
11th Workshop on Descriptional Complexity of Formal Systems (DCFS'09), 2009, Magdeburg, Germany. pp.79-90
Communication dans un congrès hal-00620323 v1
Image document

An XML Format Proposal for the Description of Weighted Automata, Transducers and Regular Expressions

Akim Demaille , Alexandre Duret-Lutz , Florian Lesaint , Sylvain Lombardy , Jacques Sakarovitch et al.
Finite-State Methods and Natural Language Processing, 2008, Ispra, Italy. pp.199-206
Communication dans un congrès hal-00859354 v1
Image document

Embeddings of local automata

Marie-Pierre Béal , Sylvain Lombardy , Dominique Perrin
IEEE International Symposium on Information Theory (ISIT'08), Jul 2008, United States. pp.2351-2355
Communication dans un congrès hal-00620271 v1

On the size of the universal automaton of a regular language

Sylvain Lombardy
STACS'07, Feb 2007, BERLIN, Germany. pp.85--96, ⟨10.1007/978-3-540-70918-3_8⟩
Communication dans un congrès istex hal-00139652 v1
Image document

Conjugacy and Equivalence of Weighted Automata and Functional Transducers

Marie-Pierre Béal , Sylvain Lombardy , Jacques Sakarovitch
1st International Computer Science Symposium in Russia (CSR 2006), Jun 2006, St. Petersburg, Russia. pp.58-69
Communication dans un congrès hal-00619855 v1

Inside Vaucanson

Thomas Claveirole , Sylvain Lombardy , Sarah Oconnor , Louis-Noël Pouchet , Jacques Sakarovitch
10th International Conference on Implementation and Application of Automata (CIAA 2005), Jun 2005, Sophia Antipolis, France, France. pp.116-128
Communication dans un congrès hal-00619840 v1

On the equivalence of Z-automata

Marie-Pierre Béal , Sylvain Lombardy , Jacques Sakarovitch
2005, pp.397-409, ⟨10.1007/11523468_33⟩
Communication dans un congrès istex hal-00017406 v1

How expressions can code for automata

Sylvain Lombardy , Jacques Sakarovitch
6th Latin American Theoretical INformatics (LATIN'04), Apr 2004, Buenos Aires, Argentina, Argentina. pp.242-251
Communication dans un congrès hal-00620053 v1

On the star height of rational languages: a new presentation for two old results

Sylvain Lombardy , Jacques Sakarovitch
3rd International Conference on Languages, Words and Combinatorics, 2003, Kyoto, Japan, Japan. pp.266-285
Communication dans un congrès hal-00620802 v1

Introducing Vaucanson

Sylvain Lombardy , Raphaël Poss , Yann Régis-Gianas , Jacques Sakarovitch
8th International Conference on Implementation and Application of Automata (CIAA 2003), Jul 2003, Santa Barbara, California, USA, United States. pp.96-107
Communication dans un congrès hal-00620038 v1

Deciding the sequentiality of a finitely ambiguous max-plus automaton

Ines Klimann , Sylvain Lombardy , Jean Mairesse , Christophe Prieur
7th International Conference on Developments in Language Theory (DLT 2003), Jul 2003, Szeged, Hungary, Hungary. pp.373-385
Communication dans un congrès hal-00620031 v1

Deciding the sequentiality of a finitely ambiguous Max-Plus automaton

Ines Klimann , Sylvain Lombardy , Jean Mairesse , Christophe Prieur
2003, pp.373-385
Communication dans un congrès hal-00017208 v1
Image document

On the construction of reversible automata for reversible languages

Sylvain Lombardy
29th International Colloquium on Automata, Languages and Programming (ICALP 2002), Jul 2002, Malaga, Spain, Spain. pp.170-182
Communication dans un congrès hal-00620037 v1

Derivation of rational expressions with multiplicity

Sylvain Lombardy , Jacques Sakarovitch
27th International Symposium on Mathematical Foundations of Computer Science (MFCS 2002), Aug 2002, Warsaw, Poland, Poland. pp.471-482
Communication dans un congrès hal-00620039 v1

Star height of reversible languages and universal automata.

Sylvain Lombardy , Jacques Sakarovitch
2002, pp.76-89
Communication dans un congrès hal-00017159 v1
Image document

Sequentialization and unambiguity of (max,+) rational series over one letter

Sylvain Lombardy
Workshop on max-plus algebras and Their Applications to Discrete-event Systems, Theoretical Computer Science, and Optimization, 2001, Prague, Czech Republic. 6pp
Communication dans un congrès hal-00620035 v1

The universal automaton

Sylvain Lombardy , Jacques Sakarovitch
Flum Jörg, Grädel Erich, Wilke Thomas. Logic and Automata, History and Perspectives, 2, Amsterdam University Press, pp.457-504, 2008, Texts in Logic and Games
Chapitre d'ouvrage hal-00620807 v1
Image document

Approche structurelle de quelques problèmes de la théorie des automates

Sylvain Lombardy
Théorie et langage formel [cs.FL]. Ecole nationale supérieure des telecommunications - ENST, 2001. Français. ⟨NNT : ⟩
Thèse tel-00737830 v1