Publications

In proceedings of conferences
  1. Dynamic Membership for Regular Tree Languages. (doi)
    Antoine Amarilli, Corentin Barloy, Louis Jachiet, Charles Paperman
    MFCS 2025
  2. Supporting Descendants in SIMD-Accelerated JSONPath. (doi)
    Mateusz Gienieczko, Filip Murlak, Charles Paperman
    ASPLOS (4) 2023
  3. An Algebraic Approach to Vectorial Programs. (doi)
    Charles Paperman, Sylvain Salvati, Claire Soyez-Martin
    STACS 2023
  4. The Regular Languages of First-Order Logic with One Alternation. (doi)
    Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume
    LICS 2022
  5. Dynamic Membership for Regular Languages. (doi)
    Antoine Amarilli, Louis Jachiet, Charles Paperman
    ICALP 2021
  6. Stackless Processing of Streamed Trees. (doi)
    Corentin Barloy, Filip Murlak, Charles Paperman
    PODS 2021
  7. On Polynomial Recursive Sequences. (doi)
    Michaël Cadilhac, Filip Mazowiecki, Charles Paperman, Michal Pilipczuk, Géraud Sénizergues
    ICALP 2020
  8. Topological Sorting with Regular Constraints. (doi)
    Antoine Amarilli, Charles Paperman
    ICALP 2018
  9. Continuity and Rational Functions. (doi)
    Michaël Cadilhac, Olivier Carton, Charles Paperman
    ICALP 2017
  10. Regular Separability of Parikh Automata. (doi)
    Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota 0001, Charles Paperman
    ICALP 2017
  11. A crevice on the Crane Beach: Finite-degree predicates. (doi)
    Michaël Cadilhac, Charles Paperman
    LICS 2017
  12. Separability of Reachability Sets of Vector Addition Systems. (doi)
    Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota 0001, Charles Paperman
    STACS 2017
  13. Schema Validation via Streaming Circuits. (doi)
    Filip Murlak, Charles Paperman, Michal Pilipczuk
    PODS 2016
  14. Finite-Degree Predicates and Two-Variable First-Order Logic. (doi)
    Charles Paperman
    CSL 2015
  15. Alternation Hierarchies of First Order Logic with Regular Predicates. (doi)
    Luc Dartois, Charles Paperman
    FCT 2015
  16. A Circuit Complexity Approach to Transductions. (doi)
    Michaël Cadilhac, Andreas Krebs, Michael Ludwig, Charles Paperman
    MFCS (1) 2015
  17. Classes of Languages Generated by the Kleene Star of a Word. (doi)
    Laure Daviaud, Charles Paperman
    MFCS (1) 2015
  18. Monadic Second-Order Logic with Arbitrary Monadic Predicates. (doi)
    Nathanaël Fijalkow, Charles Paperman
    MFCS (1) 2014
  19. Two-variable first order logic with modular predicates over words. (doi)
    Luc Dartois, Charles Paperman
    STACS 2013
In journals
  1. On Polynomial Recursive Sequences. (doi)
    Michaël Cadilhac, Filip Mazowiecki, Charles Paperman, Michal Pilipczuk, Géraud Sénizergues
    Theory Comput. Syst. 2024
  2. Locality and Centrality: The Variety ZG. (doi)
    Antoine Amarilli, Charles Paperman
    Log. Methods Comput. Sci. 2023
  3. The regular languages of wire linear AC (doi)
    Michaël Cadilhac, Charles Paperman
    Acta Informatica 2022
  4. Continuity of Functional Transducers: A Profinite Study of Rational Functions. (doi)
    Michaël Cadilhac, Olivier Carton, Charles Paperman
    Log. Methods Comput. Sci. 2020
  5. Classes of languages generated by the Kleene star of a word. (doi)
    Laure Daviaud, Charles Paperman
    Inf. Comput. 2018
  6. Monadic Second-Order Logic with Arbitrary Monadic Predicates. (doi)
    Nathanaël Fijalkow, Charles Paperman
    ACM Trans. Comput. Log. 2017
In Arxiv
  1. Dynamic Membership for Regular Tree Languages. (doi)
    Antoine Amarilli, Corentin Barloy, Louis Jachiet, Charles Paperman
    CoRR 2025
  2. The Regular Languages of First-Order Logic with One Alternation. (doi)
    Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume
    CoRR 2022
  3. Locality and Centrality: The Variety ZG. (doi)
    Antoine Amarilli, Charles Paperman
    CoRR 2021
  4. Dynamic Membership for Regular Languages. (doi)
    Antoine Amarilli, Louis Jachiet, Charles Paperman
    CoRR 2021
  5. On polynomial recursive sequences. (doi)
    Michaël Cadilhac, Filip Mazowiecki, Charles Paperman, Michal Pilipczuk, Géraud Sénizergues
    CoRR 2020
  6. Continuity and Rational Functions. (doi)
    Michaël Cadilhac, Olivier Carton, Charles Paperman
    CoRR 2018
  7. A Crevice on the Crane Beach: Finite-Degree Predicates. (doi)
    Michaël Cadilhac, Charles Paperman
    CoRR 2017
  8. A Dichotomy on Constrained Topological Sorting. (doi)
    Antoine Amarilli, Charles Paperman
    CoRR 2017
  9. Monadic Second-Order Logic with Arbitrary Monadic Predicates. (doi)
    Nathanaël Fijalkow, Charles Paperman
    CoRR 2017
  10. Separability of Reachability Sets of Vector Addition Systems. (doi)
    Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota 0001, Charles Paperman
    CoRR 2016
  11. Regular Separability of Parikh Automata. (doi)
    Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota 0001, Charles Paperman
    CoRR 2016
  12. Finite-Degree Predicates and Two-Variable First-Order Logic. (doi)
    Charles Paperman
    CoRR 2015
  13. Adding modular predicates. (doi)
    Luc Dartois, Charles Paperman
    CoRR 2014

Compiled the: lun. 22 sept. 2025 08:34:09 CEST