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

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


Extrait de publications


Olivier Gauwin, Anca Muscholl, Michael Raskin. Minimization of visibly pushdown automata is NP-complete. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, 16 (1).

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.

Emmanuel Filiot, Olivier Gauwin, Nathan Lhote. Logical and Algebraic Characterizations of Rational Transductions. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2019, 15 (4),

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

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.


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