Recherches

Jobs offer

Publications

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

Compiled the: ven. 09 févr. 2024 10:12:27 CET