Two-variable first order logic with modular predicates over words. - Luc Dartois; Charles Paperman (STACS, 2013)

Adding modular predicates. - Luc Dartois; Charles Paperman (CoRR, 2014)

Finite-Degree Predicates and Two-Variable First-Order Logic. - Charles Paperman (CSL, 2015)

Alternation Hierarchies of First Order Logic with Regular Predicates. - Luc Dartois; Charles Paperman (FCT, 2015)

A Circuit Complexity Approach to Transductions. - Michaël Cadilhac; Andreas Krebs; Michael Ludwig; Charles Paperman (MFCS (1), 2015)

Schema Validation via Streaming Circuits. - Filip Murlak; Charles Paperman; Michal Pilipczuk (PODS, 2016)

Continuity and Rational Functions. - Michaël Cadilhac; Olivier Carton; Charles Paperman (ICALP, 2017)

Regular Separability of Parikh Automata. - Lorenzo Clemente; Wojciech Czerwinski; Slawomir Lasota 001; Charles Paperman (ICALP, 2017)

A crevice on the Crane Beach: Finite-degree predicates. - Michaël Cadilhac; Charles Paperman (LICS, 2017)

Separability of Reachability Sets of Vector Addition Systems. - Lorenzo Clemente; Wojciech Czerwinski; Slawomir Lasota 001; Charles Paperman (STACS, 2017)

A Dichotomy on Constrained Topological Sorting. - Antoine Amarilli; Charles Paperman (CoRR, 2017)

Monadic Second-Order Logic with Arbitrary Monadic Predicates. - Nathanaël Fijalkow; Charles Paperman (ACM Trans. Comput. Log., 2017)

Topological Sorting with Regular Constraints. - Antoine Amarilli; Charles Paperman (ICALP, 2018)

Classes of languages generated by the Kleene star of a word. - Laure Daviaud; Charles Paperman (Inf. Comput., 2018)

Continuity of Functional Transducers: A Profinite Study of Rational Functions. - Michaël Cadilhac; Olivier Carton; Charles Paperman (Log. Methods Comput. Sci., 2020)

Dynamic Membership for Regular Languages. - Antoine Amarilli; Louis Jachiet; Charles Paperman (ICALP, 2021)

Stackless Processing of Streamed Trees. - Corentin Barloy; Filip Murlak; Charles Paperman (PODS, 2021)

The Regular Languages of First-Order Logic with One Alternation. - Corentin Barloy; Michaël Cadilhac; Charles Paperman; Thomas Zeume (LICS, 2022)

The regular languages of wire linear AC0. - Michaël Cadilhac; Charles Paperman (Acta Informatica, 2022)

Supporting Descendants in SIMD-Accelerated JSONPath. - Mateusz Gienieczko; Filip Murlak; Charles Paperman (ASPLOS (4), 2023)

An Algebraic Approach to Vectorial Programs. - Charles Paperman; Sylvain Salvati; Claire Soyez-Martin (STACS, 2023)

Locality and Centrality: The Variety ZG. - Antoine Amarilli; Charles Paperman (Log. Methods Comput. Sci., 2023)

On Polynomial Recursive Sequences. - Michaël Cadilhac; Filip Mazowiecki; Charles Paperman; Michal Pilipczuk; Géraud Sénizergues (Theory Comput. Syst., 2024)

Dynamic Membership for Regular Tree Languages. - Antoine Amarilli; Corentin Barloy; Louis Jachiet; Charles Paperman (MFCS, 2025)