BibTeX records: Michaël Cadilhac

download as .bib file

@inproceedings{DBLP:conf/mfcs/CadilhacG0R23,
  author       = {Micha{\"{e}}l Cadilhac and
                  Arka Ghosh and
                  Guillermo A. P{\'{e}}rez and
                  Ritam Raha},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Sylvain Lombardy and
                  David Peleg},
  title        = {Parikh One-Counter Automata},
  booktitle    = {48th International Symposium on Mathematical Foundations of Computer
                  Science, {MFCS} 2023, August 28 to September 1, 2023, Bordeaux, France},
  series       = {LIPIcs},
  volume       = {272},
  pages        = {30:1--30:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.MFCS.2023.30},
  doi          = {10.4230/LIPICS.MFCS.2023.30},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/CadilhacG0R23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/CadilhacP23,
  author       = {Micha{\"{e}}l Cadilhac and
                  Guillermo A. P{\'{e}}rez},
  editor       = {Sriram Sankaranarayanan and
                  Natasha Sharygina},
  title        = {Acacia-Bonsai: {A} Modern Implementation of Downset-Based {LTL} Realizability},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 29th International Conference, {TACAS} 2023, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13994},
  pages        = {192--207},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30820-8\_14},
  doi          = {10.1007/978-3-031-30820-8\_14},
  timestamp    = {Sat, 13 May 2023 01:07:18 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/CadilhacP23.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}
}

@article{DBLP:journals/corr/abs-2204-06079,
  author       = {Micha{\"{e}}l Cadilhac and
                  Guillermo A. P{\'{e}}rez},
  title        = {Acacia-Bonsai: {A} Modern Implementation of Downset-Based {LTL} Realizability},
  journal      = {CoRR},
  volume       = {abs/2204.06079},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2204.06079},
  doi          = {10.48550/ARXIV.2204.06079},
  eprinttype    = {arXiv},
  eprint       = {2204.06079},
  timestamp    = {Tue, 19 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-06079.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2206-00251,
  author       = {Swen Jacobs and
                  Guillermo A. P{\'{e}}rez and
                  Remco Abraham and
                  V{\'{e}}ronique Bruy{\`{e}}re and
                  Micha{\"{e}}l Cadilhac and
                  Maximilien Colange and
                  Charly Delfosse and
                  Tom van Dijk and
                  Alexandre Duret{-}Lutz and
                  Peter Faymonville and
                  Bernd Finkbeiner and
                  Ayrat Khalimov and
                  Felix Klein and
                  Michael Luttenberger and
                  Klara J. Meyer and
                  Thibaud Michaud and
                  Adrien Pommellet and
                  Florian Renkin and
                  Philipp Schlehuber{-}Caissier and
                  Mouhammad Sakr and
                  Salomon Sickert and
                  Ga{\"{e}}tan Staquet and
                  Cl{\'{e}}ment Tamines and
                  Leander Tentrup and
                  Adam Walker},
  title        = {The Reactive Synthesis Competition {(SYNTCOMP):} 2018-2021},
  journal      = {CoRR},
  volume       = {abs/2206.00251},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2206.00251},
  doi          = {10.48550/ARXIV.2206.00251},
  eprinttype    = {arXiv},
  eprint       = {2206.00251},
  timestamp    = {Mon, 26 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2206-00251.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigact/Cadilhac21,
  author       = {Micha{\"{e}}l Cadilhac},
  title        = {Review of Communication Complexity and Applications by Anup Rao and
                  Amir Yehudayoff},
  journal      = {{SIGACT} News},
  volume       = {52},
  number       = {3},
  pages        = {11--13},
  year         = {2021},
  url          = {https://doi.org/10.1145/3494656.3494660},
  doi          = {10.1145/3494656.3494660},
  timestamp    = {Mon, 15 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigact/Cadilhac21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/AlmagorCMP20,
  author       = {Shaull Almagor and
                  Micha{\"{e}}l Cadilhac and
                  Filip Mazowiecki and
                  Guillermo A. P{\'{e}}rez},
  title        = {Weak Cost Register Automata are Still Powerful},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {31},
  number       = {6},
  pages        = {689--709},
  year         = {2020},
  url          = {https://doi.org/10.1142/S0129054120410026},
  doi          = {10.1142/S0129054120410026},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/AlmagorCMP20.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/CadilhacCZ20,
  author       = {Micha{\"{e}}l Cadilhac and
                  Dmitry Chistikov and
                  Georg Zetzsche},
  editor       = {Artur Czumaj and
                  Anuj Dawar and
                  Emanuela Merelli},
  title        = {Rational Subsets of Baumslag-Solitar Groups},
  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        = {116:1--116:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.ICALP.2020.116},
  doi          = {10.4230/LIPICS.ICALP.2020.116},
  timestamp    = {Sat, 26 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/CadilhacCZ20.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/corr/abs-2006-11898,
  author       = {Micha{\"{e}}l Cadilhac and
                  Dmitry Chistikov and
                  Georg Zetzsche},
  title        = {Rational subsets of Baumslag-Solitar groups},
  journal      = {CoRR},
  volume       = {abs/2006.11898},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.11898},
  eprinttype    = {arXiv},
  eprint       = {2006.11898},
  timestamp    = {Sat, 26 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-11898.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/CadilhacPB19,
  author       = {Micha{\"{e}}l Cadilhac and
                  Guillermo A. P{\'{e}}rez and
                  Marie van den Bogaard},
  editor       = {Mikolaj Bojanczyk and
                  Alex Simpson},
  title        = {The Impatient May Use Limited Optimism to Minimize Regret},
  booktitle    = {Foundations of Software Science and Computation Structures - 22nd
                  International Conference, {FOSSACS} 2019, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2019,
                  Prague, Czech Republic, April 6-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11425},
  pages        = {133--149},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-17127-8\_8},
  doi          = {10.1007/978-3-030-17127-8\_8},
  timestamp    = {Thu, 08 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/CadilhacPB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mst/CadilhacKM18,
  author       = {Micha{\"{e}}l Cadilhac and
                  Andreas Krebs and
                  Pierre McKenzie},
  title        = {The Algebraic Theory of Parikh Automata},
  journal      = {Theory Comput. Syst.},
  volume       = {62},
  number       = {5},
  pages        = {1241--1268},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00224-017-9817-2},
  doi          = {10.1007/S00224-017-9817-2},
  timestamp    = {Sat, 05 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/CadilhacKM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dlt/AlmagorCMP18,
  author       = {Shaull Almagor and
                  Micha{\"{e}}l Cadilhac and
                  Filip Mazowiecki and
                  Guillermo A. P{\'{e}}rez},
  editor       = {Mizuho Hoshi and
                  Shinnosuke Seki},
  title        = {Weak Cost Register Automata Are Still Powerful},
  booktitle    = {Developments in Language Theory - 22nd International Conference, {DLT}
                  2018, Tokyo, Japan, September 10-14, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11088},
  pages        = {83--95},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98654-8\_7},
  doi          = {10.1007/978-3-319-98654-8\_7},
  timestamp    = {Thu, 08 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dlt/AlmagorCMP18.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/corr/abs-1804-06336,
  author       = {Shaull Almagor and
                  Micha{\"{e}}l Cadilhac and
                  Filip Mazowiecki and
                  Guillermo A. P{\'{e}}rez},
  title        = {Weak Cost Register Automata are Still Powerful},
  journal      = {CoRR},
  volume       = {abs/1804.06336},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.06336},
  eprinttype    = {arXiv},
  eprint       = {1804.06336},
  timestamp    = {Thu, 08 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-06336.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1811-07146,
  author       = {Micha{\"{e}}l Cadilhac and
                  Guillermo A. P{\'{e}}rez and
                  Marie van den Bogaard},
  title        = {The Impatient May Use Limited Optimism to Minimize Regret},
  journal      = {CoRR},
  volume       = {abs/1811.07146},
  year         = {2018},
  url          = {http://arxiv.org/abs/1811.07146},
  eprinttype    = {arXiv},
  eprint       = {1811.07146},
  timestamp    = {Thu, 08 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-07146.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/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}
}

@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/sigact/Cadilhac16,
  author       = {Micha{\"{e}}l Cadilhac},
  title        = {Review of: The Golden Ratio and Fibonacci Numbers by Richard A. Dunlap},
  journal      = {{SIGACT} News},
  volume       = {47},
  number       = {4},
  pages        = {15--17},
  year         = {2016},
  url          = {https://doi.org/10.1145/3023855.3023861},
  doi          = {10.1145/3023855.3023861},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigact/Cadilhac16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dlt/CadilhacKL16,
  author       = {Micha{\"{e}}l Cadilhac and
                  Andreas Krebs and
                  Klaus{-}J{\"{o}}rn Lange},
  editor       = {Srecko Brlek and
                  Christophe Reutenauer},
  title        = {A Language-Theoretical Approach to Descriptive Complexity},
  booktitle    = {Developments in Language Theory - 20th International Conference, {DLT}
                  2016, Montr{\'{e}}al, Canada, July 25-28, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9840},
  pages        = {64--76},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-53132-7\_6},
  doi          = {10.1007/978-3-662-53132-7\_6},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/dlt/CadilhacKL16.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}
}

@article{DBLP:journals/corr/CadilhacKL15,
  author       = {Micha{\"{e}}l Cadilhac and
                  Andreas Krebs and
                  Nutan Limaye},
  title        = {Value Automata with Filters},
  journal      = {CoRR},
  volume       = {abs/1510.02393},
  year         = {2015},
  url          = {http://arxiv.org/abs/1510.02393},
  eprinttype    = {arXiv},
  eprint       = {1510.02393},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CadilhacKL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigact/Cadilhac14,
  author       = {Micha{\"{e}}l Cadilhac},
  title        = {Review of graph structure and monadic second-order logic: a language-theoretic
                  approach by Bruno Courcelle and Joost Engelfriet},
  journal      = {{SIGACT} News},
  volume       = {45},
  number       = {3},
  pages        = {24--25},
  year         = {2014},
  url          = {https://doi.org/10.1145/2670418.2670426},
  doi          = {10.1145/2670418.2670426},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigact/Cadilhac14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ncma/CadilhacKM14,
  author       = {Micha{\"{e}}l Cadilhac and
                  Andreas Krebs and
                  Pierre McKenzie},
  editor       = {Suna Bensch and
                  Rudolf Freund and
                  Friedrich Otto},
  title        = {Extremely uniform branching programs},
  booktitle    = {Sixth Workshop on Non-Classical Models for Automata and Applications
                  - {NCMA} 2014, Kassel, Germany, July 28-29, 2014. Proceedings},
  series       = {books@ocg.at},
  volume       = {304},
  pages        = {73--83},
  publisher    = {{\"{O}}sterreichische Computer Gesellschaft},
  year         = {2014},
  timestamp    = {Thu, 23 Jun 2016 15:53:29 +0200},
  biburl       = {https://dblp.org/rec/conf/ncma/CadilhacKM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/CadilhacFM13,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  title        = {Unambiguous constrained Automata},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {24},
  number       = {7},
  pages        = {1099--1116},
  year         = {2013},
  url          = {https://doi.org/10.1142/S0129054113400339},
  doi          = {10.1142/S0129054113400339},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/CadilhacFM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigact/Cadilhac13,
  author       = {Micha{\"{e}}l Cadilhac},
  title        = {Review of proofs and algorithms by Gilles Dowek (translation by Maribel
                  Fernandez)},
  journal      = {{SIGACT} News},
  volume       = {44},
  number       = {4},
  pages        = {35--37},
  year         = {2013},
  url          = {https://doi.org/10.1145/2556663.2556670},
  doi          = {10.1145/2556663.2556670},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigact/Cadilhac13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cai/CadilhacKM13,
  author       = {Micha{\"{e}}l Cadilhac and
                  Andreas Krebs and
                  Pierre McKenzie},
  editor       = {Traian Muntean and
                  Dimitrios Poulakis and
                  Robert Rolland},
  title        = {The Algebraic Theory of Parikh Automata},
  booktitle    = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
                  Porquerolles, France, September 3-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8080},
  pages        = {60--73},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40663-8\_7},
  doi          = {10.1007/978-3-642-40663-8\_7},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/cai/CadilhacKM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eccc/CadilhacKM13,
  author       = {Micha{\"{e}}l Cadilhac and
                  Andreas Krebs and
                  Pierre McKenzie},
  title        = {The Algebraic Theory of Parikh Automata},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR13-040}},
  year         = {2013},
  url          = {https://eccc.weizmann.ac.il/report/2013/040},
  eprinttype    = {ECCC},
  eprint       = {TR13-040},
  timestamp    = {Tue, 27 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/CadilhacKM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/CadilhacFM12,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  title        = {Bounded Parikh Automata},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {23},
  number       = {8},
  pages        = {1691--1710},
  year         = {2012},
  url          = {https://doi.org/10.1142/S0129054112400709},
  doi          = {10.1142/S0129054112400709},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/CadilhacFM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/CadilhacFM12,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  title        = {Affine Parikh automata},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {46},
  number       = {4},
  pages        = {511--545},
  year         = {2012},
  url          = {https://doi.org/10.1051/ita/2012013},
  doi          = {10.1051/ITA/2012013},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/CadilhacFM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigact/Cadilhac12,
  author       = {Micha{\"{e}}l Cadilhac},
  title        = {Review of handbook of weighted automata, edited by Manfred Droste,
                  Werner Kuich and Heiko Vogler},
  journal      = {{SIGACT} News},
  volume       = {43},
  number       = {3},
  pages        = {32--37},
  year         = {2012},
  url          = {https://doi.org/10.1145/2421096.2421103},
  doi          = {10.1145/2421096.2421103},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigact/Cadilhac12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dlt/CadilhacFM12,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  editor       = {Hsu{-}Chun Yen and
                  Oscar H. Ibarra},
  title        = {Unambiguous Constrained Automata},
  booktitle    = {Developments in Language Theory - 16th International Conference, {DLT}
                  2012, Taipei, Taiwan, August 14-17, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7410},
  pages        = {239--250},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31653-1\_22},
  doi          = {10.1007/978-3-642-31653-1\_22},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/dlt/CadilhacFM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigact/Cadilhac11,
  author       = {Micha{\"{e}}l Cadilhac},
  title        = {Review of combinatorics: a guided tour by David R. Mazur},
  journal      = {{SIGACT} News},
  volume       = {42},
  number       = {3},
  pages        = {34--36},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034575.2034583},
  doi          = {10.1145/2034575.2034583},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigact/Cadilhac11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ncma/CadilhacFM11,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  editor       = {Rudolf Freund and
                  Markus Holzer and
                  Carlo Mereghetti and
                  Friedrich Otto and
                  Beatrice Palano},
  title        = {On the Expressiveness of Parikh Automata and Related Models},
  booktitle    = {Third Workshop on Non-Classical Models for Automata and Applications
                  - {NCMA} 2011, Milan, Italy, July 18 - July 19, 2011. Proceedings},
  series       = {books@ocg.at},
  volume       = {282},
  pages        = {103--119},
  publisher    = {Austrian Computer Society},
  year         = {2011},
  timestamp    = {Thu, 17 Mar 2016 10:50:07 +0100},
  biburl       = {https://dblp.org/rec/conf/ncma/CadilhacFM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-3625,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  editor       = {Petr Ambroz and
                  Stepan Holub and
                  Zuzana Mas{\'{a}}kov{\'{a}}},
  title        = {Bounded Parikh Automata},
  booktitle    = {Proceedings 8th International Conference Words 2011, Prague, Czech
                  Republic, 12-16th September 2011},
  series       = {{EPTCS}},
  volume       = {63},
  pages        = {93--102},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.63.13},
  doi          = {10.4204/EPTCS.63.13},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-3625.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1101-1547,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  title        = {Storming the Parikh Automaton},
  journal      = {CoRR},
  volume       = {abs/1101.1547},
  year         = {2011},
  url          = {http://arxiv.org/abs/1101.1547},
  eprinttype    = {arXiv},
  eprint       = {1101.1547},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1101-1547.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CadilhacHLPT07,
  author       = {Micha{\"{e}}l Cadilhac and
                  Thomas H{\'{e}}rault and
                  Richard Lassaigne and
                  Sylvain Peyronnet and
                  S{\'{e}}bastien Tixeuil},
  editor       = {Stephan Merz and
                  Tobias Nipkow},
  title        = {Evaluating Complex {MAC} Protocols for Sensor Networks with {APMC}},
  booktitle    = {Proceedings of the 6th International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {185},
  pages        = {33--46},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.05.027},
  doi          = {10.1016/J.ENTCS.2007.05.027},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/CadilhacHLPT07.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.