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⟩

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, Rome, Italy. pp.114:1--114:14, ⟨10.4230/LIPIcs.ICALP.2016.114⟩. ⟨hal-01274992v3⟩


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