| Regular separability of Parikh automata L Clemente, W Czerwiński, S Lasota, C Paperman arXiv preprint arXiv:1612.06233, 2016 | 33 | 2016 |
| Separability of reachability sets of vector addition systems L Clemente, W Czerwiński, S Lasota, C Paperman arXiv preprint arXiv:1609.00214, 2016 | 25 | 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 | 20 | 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 | 16 | 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 International Symposium on Fundamentals of Computation Theory, 160-172, 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 |
| Schema validation via streaming circuits F Murlak, C Paperman, M Pilipczuk Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2016 | 5 | 2016 |
| Locality and centrality: The variety ZG A Amarilli, C Paperman Logical Methods in Computer Science 19, 2023 | 4 | 2023 |
| Supporting Descendants in SIMD-Accelerated JSONPath M Gienieczko, F Murlak, C Paperman Proceedings of the 28th ACM International Conference on Architectural …, 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 |
| 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 |
Michaël CadilhacDePaul UniversityAdresă de e-mail confirmată pe cadilhac.name
