Charles Paperman

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