| 2025 | LICS | Navigational hierarchies of regular languages. | Thomas Place, Marc Zeitoun |
| 2024 | CSL | A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic. | Thomas Place, Marc Zeitoun |
| 2024 | LICS | Dot-depth three, return of the J-class. | Thomas Place, Marc Zeitoun |
| 2023 | LICS | Group Separation Strikes Back. | Thomas Place, Marc Zeitoun |
| 2022 | CSR | Characterizing Level One in Group-Based Concatenation Hierarchies. | Thomas Place, Marc Zeitoun |
| 2022 | LATIN | How Many Times Do You Need to Go Back to the Future in Unary Temporal Logic? | Thomas Place, Marc Zeitoun |
| 2019 | ICALP | On All Things Star-Free. | Thomas Place, Marc Zeitoun |
| 2019 | LICS | Separation and covering for group based concatenation hierarchies. | Thomas Place, Marc Zeitoun |
| 2018 | ICALP | Separating Without Any Ambiguity. | Thomas Place, Marc Zeitoun |
| 2017 | CSR | Concatenation Hierarchies: New Bottle, Old Wine. | Thomas Place, Marc Zeitoun |
| 2017 | LICS | Separation for dot-depth two. | Thomas Place, Marc Zeitoun |
| 2016 | FOSSACS | Quantifier Alternation for Infinite Words. | Tho Pierron, Thomas Place, Marc Zeitoun |
| 2016 | MFCS | The Covering Problem: A Unified Approach for Investigating the Expressive Power of Logics. | Thomas Place, Marc Zeitoun |
| 2015 | FCT | A Note on Decidable Separability by Piecewise Testable Languages. | Wojciech Czerwinski, Wim Martens, Lorijn van Rooijen, Marc Zeitoun |
| 2015 | STACS | Separation and the Successor Relation. | Thomas Place, Marc Zeitoun |
| 2014 | CSL | Logical characterization of weighted pebble walking automata. | Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun |
| 2014 | CSL | Separating regular languages with first-order logic. | Thomas Place, Marc Zeitoun |
| 2014 | ICALP | Going Higher in the First-Order Quantifier Alternation Hierarchy on Words. | Thomas Place, Marc Zeitoun |
| 2013 | MFCS | Separating Regular Languages by Piecewise Testable and Unambiguous Languages. | Thomas Place, Lorijn van Rooijen, Marc Zeitoun |
| 2012 | ATVA | A Probabilistic Kleene Theorem. | Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun |
| 2011 | MFCS | Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking. | Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, Marc Zeitoun |
| 2010 | ICALP | Pebble Weighted Automata and Transitive Closure Logics. | Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun |
| 2008 | ATVA | Tree Pattern Rewriting Systems. | Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun |
| 2008 | TACAS | Accelerating Interpolation-Based Model-Checking. | Nicolas Caniart, Emmanuel Fleury, Jrme Leroux, Marc Zeitoun |
| 2004 | LATIN | Distributed Games and Distributed Control for Asynchronous Systems. | Paul Gastin, Benjamin Lerman, Marc Zeitoun |
| 2002 | ICALP | Infinite-State High-Level MSCs: Model-Checking and Realizability. | Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun |