Charles Paperman

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 27

Top Topics

Quantifier Free

Markov Logic Networks

Regular Languages

Datalog Programs

Top Venues

Publications

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