Publications

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