Sylvain Lombardy

55
Documents

Publications

Publications

Deposit thumbnail

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-03483922v5
Deposit thumbnail

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

Sylvain Lombardy , Jacques Sakarovitch

Journal of Computer Science and Cybernetics, 2021, 37 (3), pp.201-221. ⟨10.15625/1813-9663/37/3/16263⟩

Article dans une revue hal-03382261v1
Deposit thumbnail

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-02290010v1

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-01484284v1

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-01326283v1

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-01120568v1

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-00845820v1

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-00695445v1

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-00860155v1
Deposit thumbnail

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-00619770v1

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-00692898v1

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-00069863v1
Deposit thumbnail

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-00017220v1

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-00016385v1
Deposit thumbnail

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-00174171v1

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-00017540v1

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 istex hal-00017202v1

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-03986317v1
Deposit thumbnail

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-03106897v1

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-01866176v1
Deposit thumbnail

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-01866160v1

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-01866198v1

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-01544105v1
Deposit thumbnail

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-01069637v1

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-01069654v1
Deposit thumbnail

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-01008785v1
Deposit thumbnail

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-00841873v1

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-00845816v1

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-00737676v1
Deposit thumbnail

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-00737688v1

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-00737679v1

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-00620325v1
Deposit thumbnail

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-00859355v1
Deposit thumbnail

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-00360205v1

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-00620323v1
Deposit thumbnail

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-00859354v1
Deposit thumbnail

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-00620271v1

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-00139652v1
Deposit thumbnail

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-00619855v1

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-00619840v1

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-00017406v1

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-00620053v1

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-00620038v1

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-00620802v1

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-00620031v1

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-00017208v1
Deposit thumbnail

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-00620037v1

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-00620039v1

Star height of reversible languages and universal automata.

Sylvain Lombardy , Jacques Sakarovitch

2002, pp.76-89

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

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-00620035v1

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-00620807v1
Deposit thumbnail

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-00737830v1