Olivier GAUWIN
Olivier Gauwin Maître de Conférences ()

Équipe LaBRI : Méthodes formelles
Fonction administrative : Directeur des Etudes Dépt Info IUT.
Courrier électronique : olivier.gauwinarobaselabri.fr
Bureau : 311
Tél : +33 (0)5 40 00 38 73


Extrait de publications


Emmanuel Filiot, Olivier Gauwin, Nathan Lhote, Anca Muscholl. On Canonical Models for Rational Functions over Infinite Words. 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Dec 2018, Ahmedabad, India. Leibniz International Proceedings in Informatics, 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018)

Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis. Untwisting two-way transducers in elementary time. 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'17), Jun 2017, Reykjavik, Iceland. IEEE, pp.1-12, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis. Minimizing resources of sweeping and streaming string transducers. Ioannis Chatzigiannakis, Michael Mitzenmacher, Yuval Rabani, and Davide Sangiorgi. 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Jul 2016, Rome, Italy. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Leibniz International Proceedings in Informatics (LIPIcs), 55, pp.114:1--114:14, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)

Emmanuel Filiot, Olivier Gauwin, Nathan Lhote. First-order definability of rational transductions: An algebraic approach. 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16), Jul 2016, New York, United States. ACM, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16), pp.387--396, 2016, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science

Emmanuel Filiot, Olivier Gauwin, Nathan Lhote. Aperiodicity of rational functions is PSpace-complete. 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016), Dec 2016, Chennai, India. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Leibniz International Proceedings in Informatics (LIPIcs), 2016, 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)


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