Charles Paperman

According to our database, Charles Paperman authored at least 23 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Locality and Centrality: The Variety ZG.

Antoine Amarilli, Charles Paperman

Log. Methods Comput. Sci., 2023

An Algebraic Approach to Vectorial Programs.

Charles Paperman, Sylvain Salvati, Claire Soyez-Martin

Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science, 2023

Supporting Descendants in SIMD-Accelerated JSONPath.

Mateusz Gienieczko, Filip Murlak, Charles Paperman

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

The regular languages of wire linear AC⁰.

Michaël Cadilhac, Charles Paperman

Acta Informatica, 2022

The Regular Languages of First-Order Logic with One Alternation.

Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Stackless Processing of Streamed Trees.

Corentin Barloy, Filip Murlak, Charles Paperman

Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021

Dynamic Membership for Regular Languages.

Antoine Amarilli, Louis Jachiet, Charles Paperman

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020

Continuity of Functional Transducers: A Profinite Study of Rational Functions.

Michaël Cadilhac, Olivier Carton, Charles Paperman

Log. Methods Comput. Sci., 2020

On Polynomial Recursive Sequences.

Michaël Cadilhac, Filip Mazowiecki, Charles Paperman, Michal Pilipczuk, Géraud Sénizergues

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

2018

Classes of languages generated by the Kleene star of a word.

Laure Daviaud, Charles Paperman

Inf. Comput., 2018

Topological Sorting with Regular Constraints.

Antoine Amarilli, Charles Paperman

Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

2017

Monadic Second-Order Logic with Arbitrary Monadic Predicates.

Nathanaël Fijalkow, Charles Paperman

ACM Trans. Comput. Log., 2017

A Dichotomy on Constrained Topological Sorting.

Antoine Amarilli, Charles Paperman

CoRR, 2017

Separability of Reachability Sets of Vector Addition Systems.

Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota, Charles Paperman

Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science, 2017

A crevice on the Crane Beach: Finite-degree predicates.

Michaël Cadilhac, Charles Paperman

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Regular Separability of Parikh Automata.

Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota, Charles Paperman

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

Continuity and Rational Functions.

Michaël Cadilhac, Olivier Carton, Charles Paperman

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016

Schema Validation via Streaming Circuits.

Filip Murlak, Charles Paperman, Michal Pilipczuk

Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

2015

A Circuit Complexity Approach to Transductions.

Michaël Cadilhac, Andreas Krebs, Michael Ludwig, Charles Paperman

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

Alternation Hierarchies of First Order Logic with Regular Predicates.

Luc Dartois, Charles Paperman

Proceedings of the Fundamentals of Computation Theory - 20th International Symposium, 2015

Finite-Degree Predicates and Two-Variable First-Order Logic.

Charles Paperman

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

Adding modular predicates.

Luc Dartois, Charles Paperman

CoRR, 2014

2013

Two-variable first order logic with modular predicates over words.

Luc Dartois, Charles Paperman

Proceedings of the 30th International Symposium on Theoretical Aspects of Computer Science, 2013