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

É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. 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.

Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis. Minimizing Resources of Sweeping and Streaming String Transducers. 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, Jul 2016, Roma, Italy.

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. 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).

Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis. Minimizing resources of sweeping and streaming string transducers. 43rd International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2016, Rome, Italy. 2016.


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