| 2026 | CONCUR | WinPop: Making Populations Win Together. | Nathalie Bertrand, Patricia Bouyer, Luc Lapointe, Corto Mascle |
| 2026 | ICALP | Population Protocols over Ordered Agents. | Michael Blondin, Michal Cadilhac, Benjamin Courchesne, Lucie Guillou, Corto Mascle, Isa Vialard |
| 2026 | ICALP | Optimal Sequential Flows. | Hugo Gimbert, Corto Mascle, Patrick Totzke |
| 2026 | ICALP | Optimally Controlling a Random Population. | Hugo Gimbert, Corto Mascle, Patrick Totzke |
| 2026 | LICS | The Complexity of Downward Closures of Indexed Languages. | Richard Mandel, Corto Mascle, Georg Zetzsche |
| 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 | The Trichotomy of Regular Property Testing. | Gabriel Bathie, Nathanal Fijalkow, Corto Mascle |
| 2024 | FOSSACS | Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. | Lucie Guillou, Corto Mascle, Nicolas Waldburger |
| 2024 | ICALP | Verification of Population Protocols with Unordered Data. | Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy |
| 2024 | MFCS | The Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition. | Antonio Casares, Corto Mascle |
| 2023 | CONCUR | Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints. | Corto Mascle, Anca Muscholl, Igor Walukiewicz |
| 2022 | ICALP | Distributed Controller Synthesis for Deadlock Avoidance. | Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz |
| 2021 | LICS | Responsibility and verification: Importance value in temporal logics. | Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer |
| 2021 | MFCS | Keyboards as a New Model of Computation. | Yoan Gran, Bastien Laboureix, Corto Mascle, Valentin D. Richard |
| 2020 | CSL | The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas. | Corto Mascle, Martin Zimmermann |
| 2019 | STACS | On Finite Monoids over Nonnegative Integer Matrices and Short Killing Words. | Stefan Kiefer, Corto Mascle |