Sylvain LOMBARDY
Sylvain Lombardy Professeur (Université Bordeaux)

Équipe LaBRI : Méthodes formelles
Fonction administrative : Directeur du département Réseaux et Systèmes d'information de l'ENSEIRB-MATMECA
Page personnelle : http://www.labri.fr/~slombard
Courrier électronique : sylvain.lombardyarobaselabri.fr
Bureau : 254
Tél : +33 (0)5 40 00 69 20


Extrait de publications


Louis-Marie Dando, Sylvain Lombardy. Two-Way Automata over Locally Finite Semirings. 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⟩. ⟨hal-01866160⟩

Louis-Marie Dando, Sylvain Lombardy. On Hadamard Series and Rotating Q-Automata. 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⟩. ⟨hal-01866198⟩

Sylvain Lombardy, Jacques Sakarovitch. Two Routes to Automata Minimization and the Ways to Reach It Efficiently. 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⟩. ⟨hal-01866176⟩

Louis-Marie Dando, Sylvain Lombardy. From Hadamard Expressions to Weighted Rotating Automata and Back. 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⟩. ⟨hal-01544105⟩

Sylvain Lombardy. Two-way representations and weighted automata. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2016, 7th Non-Classical Models of Automata and Applications (NCMA-2015), 50 (4), pp.331-350. ⟨http://www.rairo-ita.org⟩. ⟨10.1051/ita/2016026⟩. ⟨hal-01484284⟩


Page mise à jour le 13/08/2010 à 10:56