| 2026 | STACS | Generalised Quantifiers Based on Rabin-Mostowski Index. | Denis Kuperberg, Damian Niwinski, Pawel Parys, Michal Skrzypczak |
| 2025 | CSL | On the Minimisation of Deterministic and History-Deterministic Generalised (Co)Bchi Automata. | Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash |
| 2025 | ICALP | Tree Algebras and Bisimulation-Invariant MSO on Finite Graphs. | Thomas Colcombet, Amina Doumane, Denis Kuperberg |
| 2025 | ICALP | Positive and Monotone Fragments of FO and LTL. | Simon Iosti, Denis Kuperberg, Quentin Moreau |
| 2023 | CSL | Explorable Automata. | Emile Hazard, Denis Kuperberg |
| 2022 | CSL | Cyclic Proofs for Transfinite Expressions. | Emile Hazard, Denis Kuperberg |
| 2022 | LICS | Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs. | David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin |
| 2021 | LICS | Positive First-order Logic on Words. | Denis Kuperberg |
| 2020 | MFCS | Regular Resynchronizability of Origin Transducers Is Undecidable. | Denis Kuperberg, Jan Martens |
| 2019 | DLT | Eventually Safe Languages. | Simon Iosti, Denis Kuperberg |
| 2019 | DLT | Coinductive Algorithms for Bchi Automata. | Denis Kuperberg, Laureline Pinault, Damien Pous |
| 2019 | FOSSACS | Kleene Algebra with Hypotheses. | Amina Doumane, Denis Kuperberg, Damien Pous, Ccilia Pradic |
| 2018 | STACS | Width of Non-deterministic Automata. | Denis Kuperberg, Anirban Majumdar |
| 2016 | ATVA | On Finite Domains in First-Order Linear Temporal Logic. | Denis Kuperberg, Julien Brunel, David Chemouil |
| 2016 | CONCUR | Soundness in Negotiations. | Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz |
| 2016 | STACS | Cost Functions Definable by Min/Max Automata. | Thomas Colcombet, Denis Kuperberg, Amaldev Manuel, Szymon Torunczyk |
| 2016 | STACS | Varieties of Cost Functions. | Laure Daviaud, Denis Kuperberg, Jean-ric Pin |
| 2015 | ICALP | Trading Bounds for Memory in Games with Counters. | Nathanal Fijalkow, Florian Horn, Denis Kuperberg, Michal Skrzypczak |
| 2015 | ICALP | On Determinisation of Good-for-Games Automata. | Denis Kuperberg, Michal Skrzypczak |
| 2014 | ATVA | ACME: Automata with Counters, Monoids and Equivalence. | Nathanal Fijalkow, Denis Kuperberg |
| 2014 | CSL | Two-way cost automata and cost logics over infinite trees. | Achim Blumensath, Thomas Colcombet, Denis Kuperberg, Pawel Parys, Michael Vanden Boom |
| 2013 | CSL | Deciding the weak definability of Bchi definable tree languages. | Thomas Colcombet, Denis Kuperberg, Christof Lding, Michael Vanden Boom |
| 2013 | ICALP | Nondeterminism in the Presence of a Diverse or Unknown Future. | Udi Boker, Denis Kuperberg, Orna Kupferman, Michal Skrzypczak |
| 2012 | ICALP | On the Expressive Power of Cost Logics over Infinite Words. | Denis Kuperberg, Michael Vanden Boom |
| 2011 | STACS | Linear temporal logic for regular cost functions. | Denis Kuperberg |
| 2010 | ICALP | Regular Temporal Cost Functions. | Thomas Colcombet, Denis Kuperberg, Sylvain Lombardy |