BibTeX records: Charles Paperman

download as .bib file

@article{DBLP:journals/lmcs/AmarilliP23,
  author       = {Antoine Amarilli and
                  Charles Paperman},
  title        = {Locality and Centrality: The Variety {ZG}},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {19},
  number       = {4},
  year         = {2023},
  url          = {https://doi.org/10.46298/lmcs-19(4:4)2023},
  doi          = {10.46298/LMCS-19(4:4)2023},
  timestamp    = {Thu, 26 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/AmarilliP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asplos/GienieczkoMP23,
  author       = {Mateusz Gienieczko and
                  Filip Murlak and
                  Charles Paperman},
  editor       = {Tor M. Aamodt and
                  Michael M. Swift and
                  Natalie D. Enright Jerger},
  title        = {Supporting Descendants in SIMD-Accelerated JSONPath},
  booktitle    = {Proceedings of the 28th {ACM} International Conference on Architectural
                  Support for Programming Languages and Operating Systems, Volume 4,
                  {ASPLOS} 2023, Vancouver, BC, Canada, March 25-29, 2023},
  pages        = {338--361},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623278.3624754},
  doi          = {10.1145/3623278.3624754},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asplos/GienieczkoMP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/stacs/PapermanSS23,
  author       = {Charles Paperman and
                  Sylvain Salvati and
                  Claire Soyez{-}Martin},
  editor       = {Petra Berenbrink and
                  Patricia Bouyer and
                  Anuj Dawar and
                  Mamadou Moustapha Kant{\'{e}}},
  title        = {An Algebraic Approach to Vectorial Programs},
  booktitle    = {40th International Symposium on Theoretical Aspects of Computer Science,
                  {STACS} 2023, March 7-9, 2023, Hamburg, Germany},
  series       = {LIPIcs},
  volume       = {254},
  pages        = {51:1--51:23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.STACS.2023.51},
  doi          = {10.4230/LIPICS.STACS.2023.51},
  timestamp    = {Fri, 03 Mar 2023 12:10:30 +0100},
  biburl       = {https://dblp.org/rec/conf/stacs/PapermanSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/CadilhacP22,
  author       = {Micha{\"{e}}l Cadilhac and
                  Charles Paperman},
  title        = {The regular languages of wire linear AC\({}^{\mbox{0}}\)},
  journal      = {Acta Informatica},
  volume       = {59},
  number       = {4},
  pages        = {321--336},
  year         = {2022},
  url          = {https://doi.org/10.1007/s00236-022-00432-2},
  doi          = {10.1007/S00236-022-00432-2},
  timestamp    = {Sat, 10 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/CadilhacP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BarloyCPZ22,
  author       = {Corentin Barloy and
                  Micha{\"{e}}l Cadilhac and
                  Charles Paperman and
                  Thomas Zeume},
  editor       = {Christel Baier and
                  Dana Fisman},
  title        = {The Regular Languages of First-Order Logic with One Alternation},
  booktitle    = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
                  Science, Haifa, Israel, August 2 - 5, 2022},
  pages        = {58:1--58:11},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3531130.3533371},
  doi          = {10.1145/3531130.3533371},
  timestamp    = {Tue, 09 Aug 2022 12:30:54 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/BarloyCPZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2203-06075,
  author       = {Corentin Barloy and
                  Micha{\"{e}}l Cadilhac and
                  Charles Paperman and
                  Thomas Zeume},
  title        = {The Regular Languages of First-Order Logic with One Alternation},
  journal      = {CoRR},
  volume       = {abs/2203.06075},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.06075},
  doi          = {10.48550/ARXIV.2203.06075},
  eprinttype    = {arXiv},
  eprint       = {2203.06075},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-06075.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/AmarilliJP21,
  author       = {Antoine Amarilli and
                  Louis Jachiet and
                  Charles Paperman},
  editor       = {Nikhil Bansal and
                  Emanuela Merelli and
                  James Worrell},
  title        = {Dynamic Membership for Regular Languages},
  booktitle    = {48th International Colloquium on Automata, Languages, and Programming,
                  {ICALP} 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {198},
  pages        = {116:1--116:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.ICALP.2021.116},
  doi          = {10.4230/LIPICS.ICALP.2021.116},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/AmarilliJP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pods/BarloyMP21,
  author       = {Corentin Barloy and
                  Filip Murlak and
                  Charles Paperman},
  editor       = {Leonid Libkin and
                  Reinhard Pichler and
                  Paolo Guagliardo},
  title        = {Stackless Processing of Streamed Trees},
  booktitle    = {PODS'21: Proceedings of the 40th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium
                  on Principles of Database Systems, Virtual Event, China, June 20-25,
                  2021},
  pages        = {109--125},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3452021.3458320},
  doi          = {10.1145/3452021.3458320},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pods/BarloyMP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2102-07724,
  author       = {Antoine Amarilli and
                  Charles Paperman},
  title        = {Locality and Centrality: The Variety {ZG}},
  journal      = {CoRR},
  volume       = {abs/2102.07724},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.07724},
  eprinttype    = {arXiv},
  eprint       = {2102.07724},
  timestamp    = {Thu, 18 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-07724.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2102-07728,
  author       = {Antoine Amarilli and
                  Louis Jachiet and
                  Charles Paperman},
  title        = {Dynamic Membership for Regular Languages},
  journal      = {CoRR},
  volume       = {abs/2102.07728},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.07728},
  eprinttype    = {arXiv},
  eprint       = {2102.07728},
  timestamp    = {Thu, 18 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-07728.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/CadilhacCP19,
  author       = {Micha{\"{e}}l Cadilhac and
                  Olivier Carton and
                  Charles Paperman},
  title        = {Continuity of Functional Transducers: {A} Profinite Study of Rational
                  Functions},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {16},
  number       = {1},
  year         = {2020},
  url          = {https://doi.org/10.23638/LMCS-16(1:24)2020},
  doi          = {10.23638/LMCS-16(1:24)2020},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/CadilhacCP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/CadilhacMPPS20,
  author       = {Micha{\"{e}}l Cadilhac and
                  Filip Mazowiecki and
                  Charles Paperman and
                  Michal Pilipczuk and
                  G{\'{e}}raud S{\'{e}}nizergues},
  editor       = {Artur Czumaj and
                  Anuj Dawar and
                  Emanuela Merelli},
  title        = {On Polynomial Recursive Sequences},
  booktitle    = {47th International Colloquium on Automata, Languages, and Programming,
                  {ICALP} 2020, July 8-11, 2020, Saarbr{\"{u}}cken, Germany (Virtual
                  Conference)},
  series       = {LIPIcs},
  volume       = {168},
  pages        = {117:1--117:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.ICALP.2020.117},
  doi          = {10.4230/LIPICS.ICALP.2020.117},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/CadilhacMPPS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2002-08630,
  author       = {Micha{\"{e}}l Cadilhac and
                  Filip Mazowiecki and
                  Charles Paperman and
                  Michal Pilipczuk and
                  G{\'{e}}raud S{\'{e}}nizergues},
  title        = {On polynomial recursive sequences},
  journal      = {CoRR},
  volume       = {abs/2002.08630},
  year         = {2020},
  url          = {https://arxiv.org/abs/2002.08630},
  eprinttype    = {arXiv},
  eprint       = {2002.08630},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2002-08630.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/DaviaudP18,
  author       = {Laure Daviaud and
                  Charles Paperman},
  title        = {Classes of languages generated by the Kleene star of a word},
  journal      = {Inf. Comput.},
  volume       = {262},
  pages        = {90--109},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ic.2018.07.002},
  doi          = {10.1016/J.IC.2018.07.002},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/DaviaudP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/AmarilliP18,
  author       = {Antoine Amarilli and
                  Charles Paperman},
  editor       = {Ioannis Chatzigiannakis and
                  Christos Kaklamanis and
                  D{\'{a}}niel Marx and
                  Donald Sannella},
  title        = {Topological Sorting with Regular Constraints},
  booktitle    = {45th International Colloquium on Automata, Languages, and Programming,
                  {ICALP} 2018, July 9-13, 2018, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {107},
  pages        = {115:1--115:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/LIPIcs.ICALP.2018.115},
  doi          = {10.4230/LIPICS.ICALP.2018.115},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/AmarilliP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1802-10555,
  author       = {Micha{\"{e}}l Cadilhac and
                  Olivier Carton and
                  Charles Paperman},
  title        = {Continuity and Rational Functions},
  journal      = {CoRR},
  volume       = {abs/1802.10555},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.10555},
  eprinttype    = {arXiv},
  eprint       = {1802.10555},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-10555.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/FijalkowP17,
  author       = {Nathana{\"{e}}l Fijalkow and
                  Charles Paperman},
  title        = {Monadic Second-Order Logic with Arbitrary Monadic Predicates},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {18},
  number       = {3},
  pages        = {20:1--20:17},
  year         = {2017},
  url          = {https://doi.org/10.1145/3091124},
  doi          = {10.1145/3091124},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/FijalkowP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/CadilhacCP17,
  author       = {Micha{\"{e}}l Cadilhac and
                  Olivier Carton and
                  Charles Paperman},
  editor       = {Ioannis Chatzigiannakis and
                  Piotr Indyk and
                  Fabian Kuhn and
                  Anca Muscholl},
  title        = {Continuity and Rational Functions},
  booktitle    = {44th International Colloquium on Automata, Languages, and Programming,
                  {ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
  series       = {LIPIcs},
  volume       = {80},
  pages        = {115:1--115:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.ICALP.2017.115},
  doi          = {10.4230/LIPICS.ICALP.2017.115},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/CadilhacCP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/ClementeCLP17,
  author       = {Lorenzo Clemente and
                  Wojciech Czerwinski and
                  Slawomir Lasota and
                  Charles Paperman},
  editor       = {Ioannis Chatzigiannakis and
                  Piotr Indyk and
                  Fabian Kuhn and
                  Anca Muscholl},
  title        = {Regular Separability of Parikh Automata},
  booktitle    = {44th International Colloquium on Automata, Languages, and Programming,
                  {ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
  series       = {LIPIcs},
  volume       = {80},
  pages        = {117:1--117:13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.ICALP.2017.117},
  doi          = {10.4230/LIPICS.ICALP.2017.117},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/ClementeCLP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/CadilhacP17,
  author       = {Micha{\"{e}}l Cadilhac and
                  Charles Paperman},
  title        = {A crevice on the Crane Beach: Finite-degree predicates},
  booktitle    = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2017, Reykjavik, Iceland, June 20-23, 2017},
  pages        = {1--9},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/LICS.2017.8005148},
  doi          = {10.1109/LICS.2017.8005148},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/CadilhacP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/stacs/ClementeCLP17,
  author       = {Lorenzo Clemente and
                  Wojciech Czerwinski and
                  Slawomir Lasota and
                  Charles Paperman},
  editor       = {Heribert Vollmer and
                  Brigitte Vall{\'{e}}e},
  title        = {Separability of Reachability Sets of Vector Addition Systems},
  booktitle    = {34th Symposium on Theoretical Aspects of Computer Science, {STACS}
                  2017, March 8-11, 2017, Hannover, Germany},
  series       = {LIPIcs},
  volume       = {66},
  pages        = {24:1--24:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.STACS.2017.24},
  doi          = {10.4230/LIPICS.STACS.2017.24},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/ClementeCLP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/CadilhacP17,
  author       = {Micha{\"{e}}l Cadilhac and
                  Charles Paperman},
  title        = {A Crevice on the Crane Beach: Finite-Degree Predicates},
  journal      = {CoRR},
  volume       = {abs/1701.02673},
  year         = {2017},
  url          = {http://arxiv.org/abs/1701.02673},
  eprinttype    = {arXiv},
  eprint       = {1701.02673},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CadilhacP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/AmarilliP17,
  author       = {Antoine Amarilli and
                  Charles Paperman},
  title        = {A Dichotomy on Constrained Topological Sorting},
  journal      = {CoRR},
  volume       = {abs/1707.04310},
  year         = {2017},
  url          = {http://arxiv.org/abs/1707.04310},
  eprinttype    = {arXiv},
  eprint       = {1707.04310},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AmarilliP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1709-03117,
  author       = {Nathana{\"{e}}l Fijalkow and
                  Charles Paperman},
  title        = {Monadic Second-Order Logic with Arbitrary Monadic Predicates},
  journal      = {CoRR},
  volume       = {abs/1709.03117},
  year         = {2017},
  url          = {http://arxiv.org/abs/1709.03117},
  eprinttype    = {arXiv},
  eprint       = {1709.03117},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-03117.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pods/MurlakPP16,
  author       = {Filip Murlak and
                  Charles Paperman and
                  Michal Pilipczuk},
  editor       = {Tova Milo and
                  Wang{-}Chiew Tan},
  title        = {Schema Validation via Streaming Circuits},
  booktitle    = {Proceedings of the 35th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
                  of Database Systems, {PODS} 2016, San Francisco, CA, USA, June 26
                  - July 01, 2016},
  pages        = {237--249},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2902251.2902299},
  doi          = {10.1145/2902251.2902299},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pods/MurlakPP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/ClementeCLP16,
  author       = {Lorenzo Clemente and
                  Wojciech Czerwinski and
                  Slawomir Lasota and
                  Charles Paperman},
  title        = {Separability of Reachability Sets of Vector Addition Systems},
  journal      = {CoRR},
  volume       = {abs/1609.00214},
  year         = {2016},
  url          = {http://arxiv.org/abs/1609.00214},
  eprinttype    = {arXiv},
  eprint       = {1609.00214},
  timestamp    = {Wed, 06 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/ClementeCLP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/ClementeCLP16a,
  author       = {Lorenzo Clemente and
                  Wojciech Czerwinski and
                  Slawomir Lasota and
                  Charles Paperman},
  title        = {Regular Separability of Parikh Automata},
  journal      = {CoRR},
  volume       = {abs/1612.06233},
  year         = {2016},
  url          = {http://arxiv.org/abs/1612.06233},
  eprinttype    = {arXiv},
  eprint       = {1612.06233},
  timestamp    = {Wed, 06 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/ClementeCLP16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Paperman15,
  author       = {Charles Paperman},
  editor       = {Stephan Kreutzer},
  title        = {Finite-Degree Predicates and Two-Variable First-Order Logic},
  booktitle    = {24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015,
                  September 7-10, 2015, Berlin, Germany},
  series       = {LIPIcs},
  volume       = {41},
  pages        = {616--630},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2015.616},
  doi          = {10.4230/LIPICS.CSL.2015.616},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Paperman15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/DartoisP15,
  author       = {Luc Dartois and
                  Charles Paperman},
  editor       = {Adrian Kosowski and
                  Igor Walukiewicz},
  title        = {Alternation Hierarchies of First Order Logic with Regular Predicates},
  booktitle    = {Fundamentals of Computation Theory - 20th International Symposium,
                  {FCT} 2015, Gda{\'{n}}sk, Poland, August 17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9210},
  pages        = {160--172},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-22177-9\_13},
  doi          = {10.1007/978-3-319-22177-9\_13},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/DartoisP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/CadilhacKLP15,
  author       = {Micha{\"{e}}l Cadilhac and
                  Andreas Krebs and
                  Michael Ludwig and
                  Charles Paperman},
  editor       = {Giuseppe F. Italiano and
                  Giovanni Pighizzini and
                  Donald Sannella},
  title        = {A Circuit Complexity Approach to Transductions},
  booktitle    = {Mathematical Foundations of Computer Science 2015 - 40th International
                  Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9234},
  pages        = {141--153},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48057-1\_11},
  doi          = {10.1007/978-3-662-48057-1\_11},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/CadilhacKLP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/DaviaudP15,
  author       = {Laure Daviaud and
                  Charles Paperman},
  editor       = {Giuseppe F. Italiano and
                  Giovanni Pighizzini and
                  Donald Sannella},
  title        = {Classes of Languages Generated by the Kleene Star of a Word},
  booktitle    = {Mathematical Foundations of Computer Science 2015 - 40th International
                  Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9234},
  pages        = {167--178},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48057-1\_13},
  doi          = {10.1007/978-3-662-48057-1\_13},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/DaviaudP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/Paperman15,
  author       = {Charles Paperman},
  title        = {Finite-Degree Predicates and Two-Variable First-Order Logic},
  journal      = {CoRR},
  volume       = {abs/1507.05175},
  year         = {2015},
  url          = {http://arxiv.org/abs/1507.05175},
  eprinttype    = {arXiv},
  eprint       = {1507.05175},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Paperman15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/FijalkowP14,
  author       = {Nathana{\"{e}}l Fijalkow and
                  Charles Paperman},
  editor       = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
                  Martin Dietzfelbinger and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {Monadic Second-Order Logic with Arbitrary Monadic Predicates},
  booktitle    = {Mathematical Foundations of Computer Science 2014 - 39th International
                  Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8634},
  pages        = {279--290},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44522-8\_24},
  doi          = {10.1007/978-3-662-44522-8\_24},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/FijalkowP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/DartoisP14,
  author       = {Luc Dartois and
                  Charles Paperman},
  title        = {Adding modular predicates},
  journal      = {CoRR},
  volume       = {abs/1401.6576},
  year         = {2014},
  url          = {http://arxiv.org/abs/1401.6576},
  eprinttype    = {arXiv},
  eprint       = {1401.6576},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DartoisP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/stacs/DartoisP13,
  author       = {Luc Dartois and
                  Charles Paperman},
  editor       = {Natacha Portier and
                  Thomas Wilke},
  title        = {Two-variable first order logic with modular predicates over words},
  booktitle    = {30th International Symposium on Theoretical Aspects of Computer Science,
                  {STACS} 2013, February 27 - March 2, 2013, Kiel, Germany},
  series       = {LIPIcs},
  volume       = {20},
  pages        = {329--340},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2013},
  url          = {https://doi.org/10.4230/LIPIcs.STACS.2013.329},
  doi          = {10.4230/LIPICS.STACS.2013.329},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/DartoisP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.