| 2020 | STACS | Lower Bounds for Arithmetic Circuits via the Hankel Matrix. | Nathanal Fijalkow, Guillaume Lagarde, Pierre Ohlmann, Olivier Serre |
| 2017 | DLT | Two-Way Two-Tape Automata. | Olivier Carton, Lo Exibard, Olivier Serre |
| 2016 | ESA | Streaming Property Testing of Visibly Pushdown Languages. | Nathanal Franois, Frdric Magniez, Michel de Rougemont, Olivier Serre |
| 2016 | LICS | Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings. | Arnaud Carayol, Christof Lding, Olivier Serre |
| 2015 | LICS | How Good Is a Strategy in a Game with Nature? | Arnaud Carayol, Olivier Serre |
| 2013 | ICFP | C-SHORe: a collapsible approach to higher-order verification. | Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre |
| 2012 | ICALP | A Saturation Method for Collapsible Pushdown Systems. | Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre |
| 2012 | LICS | Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection. | Arnaud Carayol, Olivier Serre |
| 2011 | LICS | Qualitative Tree Languages. | Arnaud Carayol, Axel Haddad, Olivier Serre |
| 2010 | LICS | Recursion Schemes and Logical Reflection. | Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre |
| 2009 | ICALP | Qualitative Concurrent Stochastic Games with Imperfect Information. | Vincent Gripon, Olivier Serre |
| 2008 | ATVA | Tree Pattern Rewriting Systems. | Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun |
| 2008 | LICS | Winning Regions of Higher-Order Pushdown Games. | Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre |
| 2008 | LICS | Collapsible Pushdown Automata and Recursion Schemes. | Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre |
| 2006 | FOSSACS | Propositional Dynamic Logic with Recursive Programs. | Christof Lding, Olivier Serre |
| 2006 | FOSSACS | Parity Games Played on Transition Graphs of One-Counter Processes. | Olivier Serre |
| 2006 | STACS | Regularity Problems for Visibly Pushdown Languages. | Vince Brny, Christof Lding, Olivier Serre |
| 2004 | ICALP | Games with Winning Conditions of High Borel Complexity. | Olivier Serre |