Regular separability of Parikh automata L Clemente, W Czerwiński, S Lasota, C Paperman arXiv preprint arXiv:1612.06233, 2016 | 30 | 2016 |
Separability of reachability sets of vector addition systems L Clemente, W Czerwiński, S Lasota, C Paperman arXiv preprint arXiv:1609.00214, 2016 | 24 | 2016 |
Efficient enumeration for annotated grammars A Amarilli, L Jachiet, M Muñoz, C Riveros Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2022 | 21 | 2022 |
On polynomial recursive sequences M Cadilhac, F Mazowiecki, C Paperman, M Pilipczuk, G Sénizergues Theory of Computing Systems 68 (4), 593-614, 2024 | 18 | 2024 |
Dynamic membership for regular languages A Amarilli, L Jachiet, C Paperman arXiv preprint arXiv:2102.07728, 2021 | 13 | 2021 |
Two-variable first order logic with modular predicates over words L Dartois, C Paperman 30th International Symposium on Theoretical Aspects of Computer Science …, 2013 | 12 | 2013 |
Continuity and rational functions M Cadilhac, O Carton, C Paperman The 44th International Colloquium on Automata, Languages, and Programming …, 2017 | 11 | 2017 |
Alternation hierarchies of first order logic with regular predicates L Dartois, C Paperman Fundamentals of Computation Theory: 20th International Symposium, FCT 2015 …, 2015 | 9 | 2015 |
A circuit complexity approach to transductions M Cadilhac, A Krebs, M Ludwig, C Paperman Mathematical Foundations of Computer Science 2015: 40th International …, 2015 | 9 | 2015 |
Topological sorting under regular constraints A Amarilli, C Paperman arXiv preprint arXiv:1707.04310, 2017 | 6 | 2017 |
Adding modular predicates to first-order fragments L Dartois, C Paperman arXiv preprint arXiv:1401.6576, 2014 | 6 | 2014 |
Circuits booléens, prédicats modulaires et langages réguliers C Paperman éditeur inconnu, 2014 | 6 | 2014 |
Stackless processing of streamed trees C Barloy, F Murlak, C Paperman Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2021 | 5 | 2021 |
Locality and centrality: The variety ZG A Amarilli, C Paperman Logical Methods in Computer Science 19, 2023 | 4 | 2023 |
Monadic second-order logic with arbitrary monadic predicates N Fijalkow, C Paperman ACM Transactions on Computational Logic (TOCL) 18 (3), 1-17, 2017 | 4 | 2017 |
Schema validation via streaming circuits F Murlak, C Paperman, M Pilipczuk Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2016 | 4 | 2016 |
Supporting Descendants in SIMD-Accelerated JSONPath M Gienieczko, F Murlak, C Paperman Proceedings of the 28th ACM International Conference on Architectural …, 2023 | 3 | 2023 |
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 | 3 | 2022 |
Continuity of functional transducers: a profinite study of rational functions M Cadilhac, O Carton, C Paperman Logical Methods in Computer Science 16, 2020 | 3 | 2020 |
24th EACSL Annual Conference on Computer Science Logic (CSL 2015) A Dawar, D Kozen, S Ronchi Della Rocca, M Abadi, C Carapelle, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2015 | 3 | 2015 |