| 2026 | ICALP | Out-Of-Order Membership in Regular Languages. | Antoine Amarilli, Sbastien Labb, Charles Paperman |
| 2025 | MFCS | Dynamic Membership for Regular Tree Languages. | Antoine Amarilli, Corentin Barloy, Louis Jachiet, Charles Paperman |
| 2023 | ASPLOS | Supporting Descendants in SIMD-Accelerated JSONPath. | Mateusz Gienieczko, Filip Murlak, Charles Paperman |
| 2023 | STACS | An Algebraic Approach to Vectorial Programs. | Charles Paperman, Sylvain Salvati, Claire Soyez-Martin |
| 2022 | LICS | The Regular Languages of First-Order Logic with One Alternation. | Corentin Barloy, Michal Cadilhac, Charles Paperman, Thomas Zeume |
| 2021 | ICALP | Dynamic Membership for Regular Languages. | Antoine Amarilli, Louis Jachiet, Charles Paperman |
| 2021 | PODS | Stackless Processing of Streamed Trees. | Corentin Barloy, Filip Murlak, Charles Paperman |
| 2020 | ICALP | On Polynomial Recursive Sequences. | Michal Cadilhac, Filip Mazowiecki, Charles Paperman, Michal Pilipczuk, Graud Snizergues |
| 2018 | ICALP | Topological Sorting with Regular Constraints. | Antoine Amarilli, Charles Paperman |
| 2017 | ICALP | Continuity and Rational Functions. | Michal Cadilhac, Olivier Carton, Charles Paperman |
| 2017 | ICALP | Regular Separability of Parikh Automata. | Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota, Charles Paperman |
| 2017 | LICS | A crevice on the Crane Beach: Finite-degree predicates. | Michal Cadilhac, Charles Paperman |
| 2017 | STACS | Separability of Reachability Sets of Vector Addition Systems. | Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota, Charles Paperman |
| 2016 | PODS | Schema Validation via Streaming Circuits. | Filip Murlak, Charles Paperman, Michal Pilipczuk |
| 2015 | CSL | Finite-Degree Predicates and Two-Variable First-Order Logic. | Charles Paperman |
| 2015 | FCT | Alternation Hierarchies of First Order Logic with Regular Predicates. | Luc Dartois, Charles Paperman |
| 2015 | MFCS | A Circuit Complexity Approach to Transductions. | Michal Cadilhac, Andreas Krebs, Michael Ludwig, Charles Paperman |
| 2015 | MFCS | Classes of Languages Generated by the Kleene Star of a Word. | Laure Daviaud, Charles Paperman |
| 2014 | MFCS | Monadic Second-Order Logic with Arbitrary Monadic Predicates. | Nathanal Fijalkow, Charles Paperman |
| 2013 | STACS | Two-variable first order logic with modular predicates over words. | Luc Dartois, Charles Paperman |