Sylvain LOMBARDY
Sylvain Lombardy Professeur (ENSEIRB)

Équipe LaBRI : Méthodes formelles
Fonction administrative : Responsable Thème LGL . Resp. de la 2ème année informatique à 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. Stavros Konstantinidis; Giovanni Pighizzini. International Conference on Descriptional Complexity of Formal Systems, DCFS 2018, Jul 2018, Hallifax, Canada. Springer, Lecture Notes in Computer Science, 10952, pp.62-74, Descriptional Complexity of Formal Systems

Sylvain Lombardy, Jacques Sakarovitch. Two Routes to Automata Minimization and the Ways to Reach It Efficiently. Cezar Câmpeanu. International Conference on Implementation and Application of Automata, CIAA 2018, Jul 2018, Charlottetown, Canada. Springer, Lecture Notes in Computer Science, 10977, pp.248-260, Implementation and Application of Automata

Louis-Marie Dando, Sylvain Lombardy. On Hadamard Series and Rotating Q-Automata. Mathematical Foundations of Computer Science, MFCS 2018, Aug 2018, Liverpool, United Kingdom. Schloss Dagstuhl, LIPIcs–Leibniz International Proceedings in Informatics, 117, pp.6:1--6:14, 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)

Louis-Marie Dando, Sylvain Lombardy. From Hadamard Expressions to Weighted Rotating Automata and Back. Arnaud Carayol; Cyril Nicaud. 22nd International Conference Implementation and Application of Automata, CIAA 2017, Jun 2017, Marne-la-Vallée, France. Springer, Lecture Notes in Computer Science, 10328, pp.163-174, 2017, CIAA 2017: Implementation and Application of Automata

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


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