Follow
Charles Paperman
Charles Paperman
Maitre de Conférence à l'université de Lille
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
Regular separability of Parikh automata
L Clemente, W Czerwiński, S Lasota, C Paperman
arXiv preprint arXiv:1612.06233, 2016
192016
Separability of reachability sets of vector addition systems
L Clemente, W Czerwiński, S Lasota, C Paperman
arXiv preprint arXiv:1609.00214, 2016
162016
On polynomial recursive sequences
M Cadilhac, F Mazowiecki, C Paperman, M Pilipczuk, G Sénizergues
Theory of Computing Systems, 1-22, 2021
112021
Continuity and rational functions
M Cadilhac, O Carton, C Paperman
The 44th International Colloquium on Automata, Languages, and Programming …, 2017
112017
A circuit complexity approach to transductions
M Cadilhac, A Krebs, M Ludwig, C Paperman
Mathematical Foundations of Computer Science 2015: 40th International …, 2015
112015
Two-variable first order logic with modular predicates over words
L Dartois, C Paperman
30th International Symposium on Theoretical Aspects of Computer Science …, 2013
112013
Dynamic membership for regular languages
A Amarilli, L Jachiet, C Paperman
arXiv preprint arXiv:2102.07728, 2021
72021
Alternation hierarchies of first order logic with regular predicates
L Dartois, C Paperman
Fundamentals of Computation Theory: 20th International Symposium, FCT 2015 …, 2015
72015
Adding modular predicates to first-order fragments
L Dartois, C Paperman
arXiv preprint arXiv:1401.6576, 2014
72014
Topological sorting under regular constraints
A Amarilli, C Paperman
arXiv preprint arXiv:1707.04310, 2017
62017
Circuits booléens, prédicats modulaires et langages réguliers
C Paperman
Éditeur inconnu, 2014
62014
Locality and centrality: The variety ZG
A Amarilli, C Paperman
arXiv preprint arXiv:2102.07724, 2021
32021
Continuity of functional transducers: a profinite study of rational functions
C Paperman, O Carton, M Cadilhac
Logical Methods in Computer Science 16, 2020
32020
Monadic second-order logic with arbitrary monadic predicates
N Fijalkow, C Paperman
ACM Transactions on Computational Logic (TOCL) 18 (3), 1-17, 2017
32017
Schema validation via streaming circuits
F Murlak, C Paperman, M Pilipczuk
Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2016
22016
Classes of languages generated by the Kleene star of a word
L Daviaud, C Paperman
Mathematical Foundations of Computer Science 2015: 40th International …, 2015
22015
The Regular Languages of First-Order Logic with One Alternation
C Barloy, M Cadilhac, C Paperman, T Zeume
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
12022
Stackless processing of streamed trees
C Barloy, F Murlak, C Paperman
Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2021
12021
A crevice on the Crane Beach: Finite-degree predicates
M Cadilhac, C Paperman
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-9, 2017
12017
Finite-degree predicates and two-variable first-order logic
C Paperman
arXiv preprint arXiv:1507.05175, 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–20