| 2017 | LICS | Untwisting two-way transducers in elementary time. | Flix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis |
| 2016 | ICALP | Minimizing Resources of Sweeping and Streaming String Transducers. | Flix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis |
| 2016 | LICS | First-order definability of rational transductions: An algebraic approach. | Emmanuel Filiot, Olivier Gauwin, Nathan Lhote |
| 2013 | LATA | Visibly Pushdown Automata: Universality and Inclusion via Antichains. | Vronique Bruyre, Marc Ducobu, Olivier Gauwin |
| 2013 | LICS | From Two-Way to One-Way Finite State Transducers. | Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frdric Servais |
| 2013 | RV | Right-Universality of Visibly Pushdown Automata. | Vronique Bruyre, Marc Ducobu, Olivier Gauwin |
| 2010 | CSL | Efficient Enumeration for Conjunctive Queries over X-underbar Structures. | Guillaume Bagan, Arnaud Durand, Emmanuel Filiot, Olivier Gauwin |
| 2009 | FCT | Earliest Query Answering for Deterministic Nested Word Automata. | Olivier Gauwin, Joachim Niehren, Sophie Tison |
| 2009 | LATA | Bounded Delay and Concurrency for Earliest Query Answering. | Olivier Gauwin, Joachim Niehren, Sophie Tison |
| 2005 | ECSQARU | Conciliation and Consensus in Iterated Belief Merging. | Olivier Gauwin, Sbastien Konieczny, Pierre Marquis |