LIPIcs, Volume 229
ICALP 2022, July 4-8, 2022, Paris, France
Editors: Mikołaj Bojańczyk, Emanuela Merelli, and David P. Woodruff
LIPIcs, Volume 213
FSTTCS 2021, December 15-17, 2021, Virtual Conference
Editors: Mikołaj Bojańczyk and Chandra Chekuri
Published in: Dagstuhl Reports, Volume 13, Issue 5 (2023)
Rajeev Alur, Mikołaj Bojańczyk, Emmanuel Filiot, Anca Muscholl, and Sarah Winter. Regular Transformations (Dagstuhl Seminar 23202). In Dagstuhl Reports, Volume 13, Issue 5, pp. 96-113, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)
@Article{alur_et_al:DagRep.13.5.96, author = {Alur, Rajeev and Boja\'{n}czyk, Miko{\l}aj and Filiot, Emmanuel and Muscholl, Anca and Winter, Sarah}, title = {{Regular Transformations (Dagstuhl Seminar 23202)}}, pages = {96--113}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2023}, volume = {13}, number = {5}, editor = {Alur, Rajeev and Boja\'{n}czyk, Miko{\l}aj and Filiot, Emmanuel and Muscholl, Anca and Winter, Sarah}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.5.96}, URN = {urn:nbn:de:0030-drops-193663}, doi = {10.4230/DagRep.13.5.96}, annote = {Keywords: transducers; (poly-)regular functions; linguistic transformations} }
Published in: LIPIcs, Volume 261, 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023)
Mikołaj Bojańczyk and Lê Thành Dũng (Tito) Nguyễn. Algebraic Recognition of Regular Functions. In 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 261, pp. 117:1-117:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)
@InProceedings{bojanczyk_et_al:LIPIcs.ICALP.2023.117, author = {Boja\'{n}czyk, Miko{\l}aj and Nguy\~{ê}n, L\^{e} Th\`{a}nh D\~{u}ng (Tito)}, title = {{Algebraic Recognition of Regular Functions}}, booktitle = {50th International Colloquium on Automata, Languages, and Programming (ICALP 2023)}, pages = {117:1--117:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-278-5}, ISSN = {1868-8969}, year = {2023}, volume = {261}, editor = {Etessami, Kousha and Feige, Uriel and Puppis, Gabriele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2023.117}, URN = {urn:nbn:de:0030-drops-181697}, doi = {10.4230/LIPIcs.ICALP.2023.117}, annote = {Keywords: string transducers, semigroups, category theory} }
Published in: LITES, Volume 8, Issue 2 (2022): Special Issue on Distributed Hybrid Systems. Leibniz Transactions on Embedded Systems, Volume 8, Issue 2
Uli Fahrenberg. Higher-Dimensional Timed and Hybrid Automata. In LITES, Volume 8, Issue 2 (2022): Special Issue on Distributed Hybrid Systems. Leibniz Transactions on Embedded Systems, Volume 8, Issue 2, pp. 03:1-03:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@Article{fahrenberg:LITES.8.2.3, author = {Fahrenberg, Uli}, title = {{Higher-Dimensional Timed and Hybrid Automata}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {03:1--03:16}, ISSN = {2199-2002}, year = {2022}, volume = {8}, number = {2}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES.8.2.3}, doi = {10.4230/LITES.8.2.3}, annote = {Keywords: timed automaton, higher-dimensional automaton, precubical set, real time, non-interleaving concurrency, hybrid automaton} }
Published in: LIPIcs, Volume 241, 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)
Jędrzej Kołodziejski and Bartek Klin. Countdown μ-Calculus. In 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 241, pp. 64:1-64:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@InProceedings{kolodziejski_et_al:LIPIcs.MFCS.2022.64, author = {Ko{\l}odziejski, J\k{e}drzej and Klin, Bartek}, title = {{Countdown \mu-Calculus}}, booktitle = {47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)}, pages = {64:1--64:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-256-3}, ISSN = {1868-8969}, year = {2022}, volume = {241}, editor = {Szeider, Stefan and Ganian, Robert and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2022.64}, URN = {urn:nbn:de:0030-drops-168624}, doi = {10.4230/LIPIcs.MFCS.2022.64}, annote = {Keywords: countdown \mu-calculus, games, automata} }
Published in: LIPIcs, Volume 229, 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)
Mikołaj Bojańczyk, Emanuela Merelli, and David P. Woodruff. LIPIcs, Volume 229, ICALP 2022, Complete Volume. In 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 229, pp. 1-2516, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@Proceedings{bojanczyk_et_al:LIPIcs.ICALP.2022, title = {{LIPIcs, Volume 229, ICALP 2022, Complete Volume}}, booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)}, pages = {1--2516}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-235-8}, ISSN = {1868-8969}, year = {2022}, volume = {229}, editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022}, URN = {urn:nbn:de:0030-drops-163400}, doi = {10.4230/LIPIcs.ICALP.2022}, annote = {Keywords: LIPIcs, Volume 229, ICALP 2022, Complete Volume} }
Published in: LIPIcs, Volume 229, 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)
Mikołaj Bojańczyk, Emanuela Merelli, and David P. Woodruff. Front Matter, Table of Contents, Preface, Conference Organization. In 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 229, pp. 0:i-0:xxxvi, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@InProceedings{bojanczyk_et_al:LIPIcs.ICALP.2022.0, author = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)}, pages = {0:i--0:xxxvi}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-235-8}, ISSN = {1868-8969}, year = {2022}, volume = {229}, editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.0}, URN = {urn:nbn:de:0030-drops-163417}, doi = {10.4230/LIPIcs.ICALP.2022.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: LIPIcs, Volume 216, 30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
Nicole Schirrmacher, Sebastian Siebertz, and Alexandre Vigny. First-Order Logic with Connectivity Operators. In 30th EACSL Annual Conference on Computer Science Logic (CSL 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 216, pp. 34:1-34:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@InProceedings{schirrmacher_et_al:LIPIcs.CSL.2022.34, author = {Schirrmacher, Nicole and Siebertz, Sebastian and Vigny, Alexandre}, title = {{First-Order Logic with Connectivity Operators}}, booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)}, pages = {34:1--34:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-218-1}, ISSN = {1868-8969}, year = {2022}, volume = {216}, editor = {Manea, Florin and Simpson, Alex}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.34}, URN = {urn:nbn:de:0030-drops-157548}, doi = {10.4230/LIPIcs.CSL.2022.34}, annote = {Keywords: First-order logic, graph theory, connectivity} }
Published in: LIPIcs, Volume 213, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)
Mikołaj Bojańczyk and Chandra Chekuri. LIPIcs, Volume 213, FSTTCS 2021, Complete Volume. In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 213, pp. 1-866, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@Proceedings{bojanczyk_et_al:LIPIcs.FSTTCS.2021, title = {{LIPIcs, Volume 213, FSTTCS 2021, Complete Volume}}, booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)}, pages = {1--866}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-215-0}, ISSN = {1868-8969}, year = {2021}, volume = {213}, editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021}, URN = {urn:nbn:de:0030-drops-155102}, doi = {10.4230/LIPIcs.FSTTCS.2021}, annote = {Keywords: LIPIcs, Volume 213, FSTTCS 2021, Complete Volume} }
Published in: LIPIcs, Volume 213, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)
Mikołaj Bojańczyk and Chandra Chekuri. Front Matter, Table of Contents, Preface, Conference Organization. In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 213, pp. 0:i-0:xvi, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@InProceedings{bojanczyk_et_al:LIPIcs.FSTTCS.2021.0, author = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)}, pages = {0:i--0:xvi}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-215-0}, ISSN = {1868-8969}, year = {2021}, volume = {213}, editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.0}, URN = {urn:nbn:de:0030-drops-155113}, doi = {10.4230/LIPIcs.FSTTCS.2021.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: LIPIcs, Volume 198, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)
Lê Thành Dũng (Tito) Nguyễn, Camille Noûs, and Pierre Pradic. Comparison-Free Polyregular Functions. In 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 198, pp. 139:1-139:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@InProceedings{nguyen_et_al:LIPIcs.ICALP.2021.139, author = {Nguy\~{ê}n, L\^{e} Th\`{a}nh D\~{u}ng (Tito) and No\^{u}s, Camille and Pradic, Pierre}, title = {{Comparison-Free Polyregular Functions}}, booktitle = {48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)}, pages = {139:1--139:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-195-5}, ISSN = {1868-8969}, year = {2021}, volume = {198}, editor = {Bansal, Nikhil and Merelli, Emanuela and Worrell, James}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.139}, URN = {urn:nbn:de:0030-drops-142087}, doi = {10.4230/LIPIcs.ICALP.2021.139}, annote = {Keywords: pebble transducers, HDT0L systems, polyregular functions} }
Published in: LIPIcs, Volume 170, 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)
Mikołaj Bojańczyk and Janusz Schmude. Some Remarks on Deciding Equivalence for Graph-To-Graph Transducers. In 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 170, pp. 19:1-19:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{bojanczyk_et_al:LIPIcs.MFCS.2020.19, author = {Boja\'{n}czyk, Miko{\l}aj and Schmude, Janusz}, title = {{Some Remarks on Deciding Equivalence for Graph-To-Graph Transducers}}, booktitle = {45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)}, pages = {19:1--19:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-159-7}, ISSN = {1868-8969}, year = {2020}, volume = {170}, editor = {Esparza, Javier and Kr\'{a}l', Daniel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2020.19}, URN = {urn:nbn:de:0030-drops-127529}, doi = {10.4230/LIPIcs.MFCS.2020.19}, annote = {Keywords: equivalence for mso transductions, bounded treewidth, Hilbert basis theorem} }
Published in: LIPIcs, Volume 168, 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)
Mikołaj Bojańczyk and Rafał Stefański. Single-Use Automata and Transducers for Infinite Alphabets. In 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 168, pp. 113:1-113:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{bojanczyk_et_al:LIPIcs.ICALP.2020.113, author = {Boja\'{n}czyk, Miko{\l}aj and Stefa\'{n}ski, Rafa{\l}}, title = {{Single-Use Automata and Transducers for Infinite Alphabets}}, booktitle = {47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)}, pages = {113:1--113:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-138-2}, ISSN = {1868-8969}, year = {2020}, volume = {168}, editor = {Czumaj, Artur and Dawar, Anuj and Merelli, Emanuela}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2020.113}, URN = {urn:nbn:de:0030-drops-125200}, doi = {10.4230/LIPIcs.ICALP.2020.113}, annote = {Keywords: Automata, semigroups, data words, orbit-finite sets} }
Published in: LIPIcs, Volume 132, 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)
Mikołaj Bojańczyk, Sandra Kiefer, and Nathan Lhote. String-to-String Interpretations With Polynomial-Size Output (Track B: Automata, Logic, Semantics, and Theory of Programming). In 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 132, pp. 106:1-106:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2019)
@InProceedings{bojanczyk_et_al:LIPIcs.ICALP.2019.106, author = {Boja\'{n}czyk, Miko{\l}aj and Kiefer, Sandra and Lhote, Nathan}, title = {{String-to-String Interpretations With Polynomial-Size Output}}, booktitle = {46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)}, pages = {106:1--106:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-109-2}, ISSN = {1868-8969}, year = {2019}, volume = {132}, editor = {Baier, Christel and Chatzigiannakis, Ioannis and Flocchini, Paola and Leonardi, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2019.106}, URN = {urn:nbn:de:0030-drops-106821}, doi = {10.4230/LIPIcs.ICALP.2019.106}, annote = {Keywords: MSO, interpretations, pebble transducers, polyregular functions} }
Feedback for Dagstuhl Publishing