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

É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, Pierre-Alain Reynier, Frédéric Servais. Streamability of nested word transductions. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2019. ⟨hal-02103898⟩

Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis. One-way definability of two-way word transducers. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2018, 14 (4), ⟨https://lmcs.episciences.org/5021⟩. ⟨10.23638/LMCS-14(4:22)2018⟩. ⟨hal-02121085⟩

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. ⟨10.4230/LIPIcs.FSTTCS.2018.30⟩. ⟨hal-01889429⟩

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. pp.1-12, ⟨10.1109/LICS.2017.8005138⟩. ⟨hal-01864614⟩

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. ⟨hal-01410188⟩


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