Edit

Cette page permet de soumettre une suggestion de modifications à la page (typiquement correction orthographique ou erreur de contenu). Le contenu est tapé (essentiellement) en markdown.

This page allows the reader to suggest modifications to the page they read. Typically spelling mistakes or suggestions to update the content. The format is essentially standard markdown.

(Optional) Votre nom, your name: (Optional) Votre mail, your email:
<div class='block'><span class='block-title'>In proceedings of conferences</span><ol><li class="article"><a href='../data/publi/10.1145.3623278.3624754.pdf' class="article-title">Supporting Descendants in SIMD-Accelerated JSONPath.</a> <a href='https://doi.org/10.1145/3623278.3624754'>(doi)</a><div class="article-author">Mateusz Gienieczko, Filip Murlak, Charles Paperman</div><div class="article-venue">ASPLOS (4) 2023</div></li> <li class="article"><a href='../data/publi/10.4230.LIPIcs.STACS.2023.51.pdf' class="article-title">An Algebraic Approach to Vectorial Programs.</a> <a href='https://doi.org/10.4230/LIPIcs.STACS.2023.51'>(doi)</a><div class="article-author">Charles Paperman, Sylvain Salvati, Claire Soyez-Martin</div><div class="article-venue">STACS 2023</div></li> <li class="article"><a href='../data/publi/10.1145.3531130.3533371.pdf' class="article-title">The Regular Languages of First-Order Logic with One Alternation.</a> <a href='https://doi.org/10.1145/3531130.3533371'>(doi)</a><div class="article-author">Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume</div><div class="article-venue">LICS 2022</div></li> <li class="article"><a href='../data/publi/10.4230.LIPIcs.ICALP.2021.116.pdf' class="article-title">Dynamic Membership for Regular Languages.</a> <a href='https://doi.org/10.4230/LIPIcs.ICALP.2021.116'>(doi)</a><div class="article-author">Antoine Amarilli, Louis Jachiet, Charles Paperman</div><div class="article-venue">ICALP 2021</div></li> <li class="article"><a href='../data/publi/10.1145.3452021.3458320.pdf' class="article-title">Stackless Processing of Streamed Trees.</a> <a href='https://doi.org/10.1145/3452021.3458320'>(doi)</a><div class="article-author">Corentin Barloy, Filip Murlak, Charles Paperman</div><div class="article-venue">PODS 2021</div></li> <li class="article"><a href='../data/publi/10.4230.LIPIcs.ICALP.2020.117.pdf' class="article-title">On Polynomial Recursive Sequences.</a> <a href='https://doi.org/10.4230/LIPIcs.ICALP.2020.117'>(doi)</a><div class="article-author">Michaël Cadilhac, Filip Mazowiecki, Charles Paperman, Michal Pilipczuk, Géraud Sénizergues</div><div class="article-venue">ICALP 2020</div></li> <li class="article"><a href='../data/publi/10.4230.LIPIcs.ICALP.2018.115.pdf' class="article-title">Topological Sorting with Regular Constraints.</a> <a href='https://doi.org/10.4230/LIPIcs.ICALP.2018.115'>(doi)</a><div class="article-author">Antoine Amarilli, Charles Paperman</div><div class="article-venue">ICALP 2018</div></li> <li class="article"><a href='../data/publi/10.4230.LIPIcs.ICALP.2017.115.pdf' class="article-title">Continuity and Rational Functions.</a> <a href='https://doi.org/10.4230/LIPIcs.ICALP.2017.115'>(doi)</a><div class="article-author">Michaël Cadilhac, Olivier Carton, Charles Paperman</div><div class="article-venue">ICALP 2017</div></li> <li class="article"><a href='../data/publi/10.4230.LIPIcs.ICALP.2017.117.pdf' class="article-title">Regular Separability of Parikh Automata.</a> <a href='https://doi.org/10.4230/LIPIcs.ICALP.2017.117'>(doi)</a><div class="article-author">Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota 0001, Charles Paperman</div><div class="article-venue">ICALP 2017</div></li> <li class="article"><a href='../data/publi/10.1109.LICS.2017.8005148.pdf' class="article-title">A crevice on the Crane Beach: Finite-degree predicates.</a> <a href='https://doi.org/10.1109/LICS.2017.8005148'>(doi)</a><div class="article-author">Michaël Cadilhac, Charles Paperman</div><div class="article-venue">LICS 2017</div></li> <li class="article"><a href='../data/publi/10.4230.LIPIcs.STACS.2017.24.pdf' class="article-title">Separability of Reachability Sets of Vector Addition Systems.</a> <a href='https://doi.org/10.4230/LIPIcs.STACS.2017.24'>(doi)</a><div class="article-author">Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota 0001, Charles Paperman</div><div class="article-venue">STACS 2017</div></li> <li class="article"><a href='../data/publi/10.1145.2902251.2902299.pdf' class="article-title">Schema Validation via Streaming Circuits.</a> <a href='https://doi.org/10.1145/2902251.2902299'>(doi)</a><div class="article-author">Filip Murlak, Charles Paperman, Michal Pilipczuk</div><div class="article-venue">PODS 2016</div></li> <li class="article"><a href='../data/publi/10.4230.LIPIcs.CSL.2015.616.pdf' class="article-title">Finite-Degree Predicates and Two-Variable First-Order Logic.</a> <a href='https://doi.org/10.4230/LIPIcs.CSL.2015.616'>(doi)</a><div class="article-author">Charles Paperman</div><div class="article-venue">CSL 2015</div></li> <li class="article"><a href='../data/publi/10.1007.978-3-319-22177-9_13.pdf' class="article-title">Alternation Hierarchies of First Order Logic with Regular Predicates.</a> <a href='https://doi.org/10.1007/978-3-319-22177-9_13'>(doi)</a><div class="article-author">Luc Dartois, Charles Paperman</div><div class="article-venue">FCT 2015</div></li> <li class="article"><a href='../data/publi/10.1007.978-3-662-48057-1_11.pdf' class="article-title">A Circuit Complexity Approach to Transductions.</a> <a href='https://doi.org/10.1007/978-3-662-48057-1_11'>(doi)</a><div class="article-author">Michaël Cadilhac, Andreas Krebs, Michael Ludwig, Charles Paperman</div><div class="article-venue">MFCS (1) 2015</div></li> <li class="article"><a href='../data/publi/10.1007.978-3-662-48057-1_13.pdf' class="article-title">Classes of Languages Generated by the Kleene Star of a Word.</a> <a href='https://doi.org/10.1007/978-3-662-48057-1_13'>(doi)</a><div class="article-author">Laure Daviaud, Charles Paperman</div><div class="article-venue">MFCS (1) 2015</div></li> <li class="article"><a href='../data/publi/10.1007.978-3-662-44522-8_24.pdf' class="article-title">Monadic Second-Order Logic with Arbitrary Monadic Predicates.</a> <a href='https://doi.org/10.1007/978-3-662-44522-8_24'>(doi)</a><div class="article-author">Nathanaël Fijalkow, Charles Paperman</div><div class="article-venue">MFCS (1) 2014</div></li> <li class="article"><a href='../data/publi/10.4230.LIPIcs.STACS.2013.329.pdf' class="article-title">Two-variable first order logic with modular predicates over words.</a> <a href='https://doi.org/10.4230/LIPIcs.STACS.2013.329'>(doi)</a><div class="article-author">Luc Dartois, Charles Paperman</div><div class="article-venue">STACS 2013</div></li></ol></div><div class='block'><span class='block-title'>In journals</span><ol><li class="article"><a href='../data/publi/10.1007.s00224-021-10046-9.pdf' class="article-title">On Polynomial Recursive Sequences.</a> <a href='https://doi.org/10.1007/s00224-021-10046-9'>(doi)</a><div class="article-author">Michaël Cadilhac, Filip Mazowiecki, Charles Paperman, Michal Pilipczuk, Géraud Sénizergues</div><div class="article-venue">Theory Comput. Syst. 2024</div></li> <li class="article"><a href='../data/publi/10.46298.lmcs-19(4:4)2023.pdf' class="article-title">Locality and Centrality: The Variety ZG.</a> <a href='https://doi.org/10.46298/lmcs-19(4:4)2023'>(doi)</a><div class="article-author">Antoine Amarilli, Charles Paperman</div><div class="article-venue">Log. Methods Comput. Sci. 2023</div></li> <li class="article"><a href='../data/publi/10.1007.s00236-022-00432-2.pdf' class="article-title">The regular languages of wire linear AC</a> <a href='https://doi.org/10.1007/s00236-022-00432-2'>(doi)</a><div class="article-author">Michaël Cadilhac, Charles Paperman</div><div class="article-venue">Acta Informatica 2022</div></li> <li class="article"><a href='../data/publi/10.23638.LMCS-16(1:24)2020.pdf' class="article-title">Continuity of Functional Transducers: A Profinite Study of Rational Functions.</a> <a href='https://doi.org/10.23638/LMCS-16(1:24)2020'>(doi)</a><div class="article-author">Michaël Cadilhac, Olivier Carton, Charles Paperman</div><div class="article-venue">Log. Methods Comput. Sci. 2020</div></li> <li class="article"><a href='../data/publi/10.1016.j.ic.2018.07.002.pdf' class="article-title">Classes of languages generated by the Kleene star of a word.</a> <a href='https://doi.org/10.1016/j.ic.2018.07.002'>(doi)</a><div class="article-author">Laure Daviaud, Charles Paperman</div><div class="article-venue">Inf. Comput. 2018</div></li> <li class="article"><a href='../data/publi/10.1145.3091124.pdf' class="article-title">Monadic Second-Order Logic with Arbitrary Monadic Predicates.</a> <a href='https://doi.org/10.1145/3091124'>(doi)</a><div class="article-author">Nathanaël Fijalkow, Charles Paperman</div><div class="article-venue">ACM Trans. Comput. Log. 2017</div></li></ol></div><div class='block'><span class='block-title'>In Arxiv</span><ol><li class="article"><a href='https://doi.org/10.48550/arXiv.2203.06075' class="article-title">The Regular Languages of First-Order Logic with One Alternation.</a> <a href='https://doi.org/10.48550/arXiv.2203.06075'>(doi)</a><div class="article-author">Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume</div><div class="article-venue">CoRR 2022</div></li> <li class="article"><a href='https://arxiv.org/abs/2102.07724' class="article-title">Locality and Centrality: The Variety ZG.</a> <a href='https://arxiv.org/abs/2102.07724'>(doi)</a><div class="article-author">Antoine Amarilli, Charles Paperman</div><div class="article-venue">CoRR 2021</div></li> <li class="article"><a href='https://arxiv.org/abs/2102.07728' class="article-title">Dynamic Membership for Regular Languages.</a> <a href='https://arxiv.org/abs/2102.07728'>(doi)</a><div class="article-author">Antoine Amarilli, Louis Jachiet, Charles Paperman</div><div class="article-venue">CoRR 2021</div></li> <li class="article"><a href='https://arxiv.org/abs/2002.08630' class="article-title">On polynomial recursive sequences.</a> <a href='https://arxiv.org/abs/2002.08630'>(doi)</a><div class="article-author">Michaël Cadilhac, Filip Mazowiecki, Charles Paperman, Michal Pilipczuk, Géraud Sénizergues</div><div class="article-venue">CoRR 2020</div></li> <li class="article"><a href='http://arxiv.org/abs/1802.10555' class="article-title">Continuity and Rational Functions.</a> <a href='http://arxiv.org/abs/1802.10555'>(doi)</a><div class="article-author">Michaël Cadilhac, Olivier Carton, Charles Paperman</div><div class="article-venue">CoRR 2018</div></li> <li class="article"><a href='http://arxiv.org/abs/1701.02673' class="article-title">A Crevice on the Crane Beach: Finite-Degree Predicates.</a> <a href='http://arxiv.org/abs/1701.02673'>(doi)</a><div class="article-author">Michaël Cadilhac, Charles Paperman</div><div class="article-venue">CoRR 2017</div></li> <li class="article"><a href='http://arxiv.org/abs/1707.04310' class="article-title">A Dichotomy on Constrained Topological Sorting.</a> <a href='http://arxiv.org/abs/1707.04310'>(doi)</a><div class="article-author">Antoine Amarilli, Charles Paperman</div><div class="article-venue">CoRR 2017</div></li> <li class="article"><a href='http://arxiv.org/abs/1709.03117' class="article-title">Monadic Second-Order Logic with Arbitrary Monadic Predicates.</a> <a href='http://arxiv.org/abs/1709.03117'>(doi)</a><div class="article-author">Nathanaël Fijalkow, Charles Paperman</div><div class="article-venue">CoRR 2017</div></li> <li class="article"><a href='http://arxiv.org/abs/1609.00214' class="article-title">Separability of Reachability Sets of Vector Addition Systems.</a> <a href='http://arxiv.org/abs/1609.00214'>(doi)</a><div class="article-author">Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota 0001, Charles Paperman</div><div class="article-venue">CoRR 2016</div></li> <li class="article"><a href='http://arxiv.org/abs/1612.06233' class="article-title">Regular Separability of Parikh Automata.</a> <a href='http://arxiv.org/abs/1612.06233'>(doi)</a><div class="article-author">Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota 0001, Charles Paperman</div><div class="article-venue">CoRR 2016</div></li> <li class="article"><a href='http://arxiv.org/abs/1507.05175' class="article-title">Finite-Degree Predicates and Two-Variable First-Order Logic.</a> <a href='http://arxiv.org/abs/1507.05175'>(doi)</a><div class="article-author">Charles Paperman</div><div class="article-venue">CoRR 2015</div></li> <li class="article"><a href='http://arxiv.org/abs/1401.6576' class="article-title">Adding modular predicates.</a> <a href='http://arxiv.org/abs/1401.6576'>(doi)</a><div class="article-author">Luc Dartois, Charles Paperman</div><div class="article-venue">CoRR 2014</div></li></ol></div>