@Proceedings{rossmanith_et_al:LIPIcs.MFCS.2019,
title = {{LIPIcs, Volume 138, MFCS'19, Complete Volume}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019},
URN = {urn:nbn:de:0030-drops-112092},
doi = {10.4230/LIPIcs.MFCS.2019},
annote = {Keywords: Theory of computation}
}
@InProceedings{rossmanith_et_al:LIPIcs.MFCS.2019.0,
author = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {0:i--0:xvi},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.0},
URN = {urn:nbn:de:0030-drops-109444},
doi = {10.4230/LIPIcs.MFCS.2019.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{abdulaziz_et_al:LIPIcs.MFCS.2019.1,
author = {Abdulaziz, Mohammad and Mehlhorn, Kurt and Nipkow, Tobias},
title = {{Trustworthy Graph Algorithms}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {1:1--1:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.1},
URN = {urn:nbn:de:0030-drops-109456},
doi = {10.4230/LIPIcs.MFCS.2019.1},
annote = {Keywords: graph algorithms, formal correct proofs, Isabelle, LEDA, certifying algorithms}
}
@InProceedings{silva:LIPIcs.MFCS.2019.2,
author = {Silva, Alexandra},
title = {{Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {2:1--2:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.2},
URN = {urn:nbn:de:0030-drops-109462},
doi = {10.4230/LIPIcs.MFCS.2019.2},
annote = {Keywords: Kleene algebra, verification, decision procedures}
}
@InProceedings{lokshtanov:LIPIcs.MFCS.2019.3,
author = {Lokshtanov, Daniel},
title = {{Picking Random Vertices}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {3:1--3:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.3},
URN = {urn:nbn:de:0030-drops-109478},
doi = {10.4230/LIPIcs.MFCS.2019.3},
annote = {Keywords: Graph Algorithm}
}
@InProceedings{kavitha:LIPIcs.MFCS.2019.4,
author = {Kavitha, Telikepalli},
title = {{Popular Matchings: Good, Bad, and Mixed}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {4:1--4:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.4},
URN = {urn:nbn:de:0030-drops-109489},
doi = {10.4230/LIPIcs.MFCS.2019.4},
annote = {Keywords: Matchings under preferences, Algorithms, NP-Hardness}
}
@InProceedings{leroux:LIPIcs.MFCS.2019.5,
author = {Leroux, J\'{e}r\^{o}me},
title = {{Petri Net Reachability Problem}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {5:1--5:3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.5},
URN = {urn:nbn:de:0030-drops-109493},
doi = {10.4230/LIPIcs.MFCS.2019.5},
annote = {Keywords: Petri net, Reachability problem, Formal verification, Concurrency}
}
@InProceedings{bienkowski_et_al:LIPIcs.MFCS.2019.6,
author = {Bienkowski, Marcin and Liu, Hsiang-Hsuan},
title = {{An Improved Online Algorithm for the Traveling Repairperson Problem on a Line}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {6:1--6:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.6},
URN = {urn:nbn:de:0030-drops-109503},
doi = {10.4230/LIPIcs.MFCS.2019.6},
annote = {Keywords: traveling repairperson problem, competitive analysis, minimizing completion time, factor-revealing LP}
}
@InProceedings{halldorsson_et_al:LIPIcs.MFCS.2019.7,
author = {Halld\'{o}rsson, Magn\'{u}s M. and de Lima, Murilo Santos},
title = {{Query-Competitive Sorting with Uncertainty}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {7:1--7:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.7},
URN = {urn:nbn:de:0030-drops-109519},
doi = {10.4230/LIPIcs.MFCS.2019.7},
annote = {Keywords: online algorithms, sorting, randomized algorithms, advice complexity, threshold tolerance graphs}
}
@InProceedings{bienkowski_et_al:LIPIcs.MFCS.2019.8,
author = {Bienkowski, Marcin and Byrka, Jaros{\l}aw and Chrobak, Marek and Coester, Christian and Je\.{z}, {\L}ukasz and Koutsoupias, Elias},
title = {{Better Bounds for Online Line Chasing}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {8:1--8:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.8},
URN = {urn:nbn:de:0030-drops-109521},
doi = {10.4230/LIPIcs.MFCS.2019.8},
annote = {Keywords: convex body chasing, line chasing, competitive analysis}
}
@InProceedings{bouyer_et_al:LIPIcs.MFCS.2019.9,
author = {Bouyer, Patricia and Thomasset, Nathan},
title = {{Nash Equilibria in Games over Graphs Equipped with a Communication Mechanism}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {9:1--9:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.9},
URN = {urn:nbn:de:0030-drops-109532},
doi = {10.4230/LIPIcs.MFCS.2019.9},
annote = {Keywords: Multiplayer games, Nash equilibria, partial information}
}
@InProceedings{parys:LIPIcs.MFCS.2019.10,
author = {Parys, Pawe{\l}},
title = {{Parity Games: Zielonka’s Algorithm in Quasi-Polynomial Time}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {10:1--10:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.10},
URN = {urn:nbn:de:0030-drops-109543},
doi = {10.4230/LIPIcs.MFCS.2019.10},
annote = {Keywords: Parity games, Zielonka’s algorithm, quasi-polynomial time}
}
@InProceedings{avni_et_al:LIPIcs.MFCS.2019.11,
author = {Avni, Guy and Henzinger, Thomas A. and \v{Z}ikeli\'{c}, {\D}or{\d}e},
title = {{Bidding Mechanisms in Graph Games}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {11:1--11:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.11},
URN = {urn:nbn:de:0030-drops-109553},
doi = {10.4230/LIPIcs.MFCS.2019.11},
annote = {Keywords: Bidding games, Richman bidding, poorman bidding, taxman bidding, mean-payoff games, random-turn games}
}
@InProceedings{konstantinidis_et_al:LIPIcs.MFCS.2019.12,
author = {Konstantinidis, Athanasios L. and Papadopoulos, Charis},
title = {{Cluster Deletion on Interval Graphs and Split Related Graphs}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {12:1--12:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.12},
URN = {urn:nbn:de:0030-drops-109568},
doi = {10.4230/LIPIcs.MFCS.2019.12},
annote = {Keywords: Cluster deletion, interval graphs, split graphs}
}
@InProceedings{le_et_al:LIPIcs.MFCS.2019.13,
author = {Le, Hoang-Oanh and Le, Van Bang},
title = {{Constrained Representations of Map Graphs and Half-Squares}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {13:1--13:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.13},
URN = {urn:nbn:de:0030-drops-109574},
doi = {10.4230/LIPIcs.MFCS.2019.13},
annote = {Keywords: map graph, half-square, edge clique cover, edge clique partition, graph classes}
}
@InProceedings{martin_et_al:LIPIcs.MFCS.2019.14,
author = {Martin, Barnaby and Paulusma, Dani\"{e}l and Smith, Siani},
title = {{Colouring H-Free Graphs of Bounded Diameter}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {14:1--14:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.14},
URN = {urn:nbn:de:0030-drops-109584},
doi = {10.4230/LIPIcs.MFCS.2019.14},
annote = {Keywords: vertex colouring, H-free graph, diameter}
}
@InProceedings{chepoi_et_al:LIPIcs.MFCS.2019.15,
author = {Chepoi, Victor and Labourel, Arnaud and Ratel, S\'{e}bastien},
title = {{Distance Labeling Schemes for Cube-Free Median Graphs}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {15:1--15:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.15},
URN = {urn:nbn:de:0030-drops-109598},
doi = {10.4230/LIPIcs.MFCS.2019.15},
annote = {Keywords: median graphs, labeling schemes, distributed distance computation}
}
@InProceedings{kieronski:LIPIcs.MFCS.2019.16,
author = {Kiero\'{n}ski, Emanuel},
title = {{One-Dimensional Guarded Fragments}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {16:1--16:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.16},
URN = {urn:nbn:de:0030-drops-109608},
doi = {10.4230/LIPIcs.MFCS.2019.16},
annote = {Keywords: guarded fragment, two-variable logic, satisfiability, finite model property}
}
@InProceedings{danielski_et_al:LIPIcs.MFCS.2019.17,
author = {Danielski, Daniel and Kiero\'{n}ski, Emanuel},
title = {{Finite Satisfiability of Unary Negation Fragment with Transitivity}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {17:1--17:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.17},
URN = {urn:nbn:de:0030-drops-109612},
doi = {10.4230/LIPIcs.MFCS.2019.17},
annote = {Keywords: unary negation fragment, transitivity, finite satisfiability, finite open-world query answering, description logics}
}
@InProceedings{pratthartmann_et_al:LIPIcs.MFCS.2019.18,
author = {Pratt-Hartmann, Ian and Tendera, Lidia},
title = {{The Fluted Fragment with Transitivity}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {18:1--18:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.18},
URN = {urn:nbn:de:0030-drops-109626},
doi = {10.4230/LIPIcs.MFCS.2019.18},
annote = {Keywords: First-Order logic, Decidability, Satisfiability, Transitivity, Complexity}
}
@InProceedings{haak_et_al:LIPIcs.MFCS.2019.19,
author = {Haak, Anselm and Kontinen, Juha and M\"{u}ller, Fabian and Vollmer, Heribert and Yang, Fan},
title = {{Counting of Teams in First-Order Team Logics}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {19:1--19:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.19},
URN = {urn:nbn:de:0030-drops-109634},
doi = {10.4230/LIPIcs.MFCS.2019.19},
annote = {Keywords: team-based logics, counting classes, finite model theory, descriptive complexity}
}
@InProceedings{nutov_et_al:LIPIcs.MFCS.2019.20,
author = {Nutov, Zeev and Kortsarz, Guy and Shalom, Eli},
title = {{Approximating Activation Edge-Cover and Facility Location Problems}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {20:1--20:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.20},
URN = {urn:nbn:de:0030-drops-109642},
doi = {10.4230/LIPIcs.MFCS.2019.20},
annote = {Keywords: generalized min-covering problem, activation edge-cover, facility location, minimum power, approximation algorithm}
}
@InProceedings{konrad_et_al:LIPIcs.MFCS.2019.21,
author = {Konrad, Christian and Zamaraev, Viktor},
title = {{Distributed Minimum Vertex Coloring and Maximum Independent Set in Chordal Graphs}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {21:1--21:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.21},
URN = {urn:nbn:de:0030-drops-109651},
doi = {10.4230/LIPIcs.MFCS.2019.21},
annote = {Keywords: local model, approximation algorithms, minimum vertex coloring, maximum independent set, chordal graphs}
}
@InProceedings{bampis_et_al:LIPIcs.MFCS.2019.22,
author = {Bampis, Evripidis and Escoffier, Bruno and Teiller, Alexandre},
title = {{Multistage Knapsack}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {22:1--22:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.22},
URN = {urn:nbn:de:0030-drops-109664},
doi = {10.4230/LIPIcs.MFCS.2019.22},
annote = {Keywords: Knapsack, Approximation Algorithms, Multistage Optimization}
}
@InProceedings{bournez_et_al:LIPIcs.MFCS.2019.23,
author = {Bournez, Olivier and Durand, Arnaud},
title = {{Recursion Schemes, Discrete Differential Equations and Characterization of Polynomial Time Computations}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {23:1--23:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.23},
URN = {urn:nbn:de:0030-drops-109670},
doi = {10.4230/LIPIcs.MFCS.2019.23},
annote = {Keywords: Implicit complexity, discrete ordinary differential equations, recursion scheme}
}
@InProceedings{boreale:LIPIcs.MFCS.2019.24,
author = {Boreale, Michele},
title = {{On the Coalgebra of Partial Differential Equations}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {24:1--24:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.24},
URN = {urn:nbn:de:0030-drops-109689},
doi = {10.4230/LIPIcs.MFCS.2019.24},
annote = {Keywords: coalgebra, partial differential equations, polynomials}
}
@InProceedings{gao_et_al:LIPIcs.MFCS.2019.25,
author = {Gao, Ziyuan and Jain, Sanjay and Khoussainov, Bakhadyr and Li, Wei and Melnikov, Alexander and Seidel, Karen and Stephan, Frank},
title = {{Random Subgroups of Rationals}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {25:1--25:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.25},
URN = {urn:nbn:de:0030-drops-109693},
doi = {10.4230/LIPIcs.MFCS.2019.25},
annote = {Keywords: Martin-L\"{o}f randomness, subgroups of rationals, finitely generated subgroups of rationals, learning in the limit, behaviourally correct learning}
}
@InProceedings{dorfler_et_al:LIPIcs.MFCS.2019.26,
author = {D\"{o}rfler, Julian and Roth, Marc and Schmitt, Johannes and Wellnitz, Philip},
title = {{Counting Induced Subgraphs: An Algebraic Approach to #W\lbrack1\rbrack-hardness}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {26:1--26:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.26},
URN = {urn:nbn:de:0030-drops-109703},
doi = {10.4230/LIPIcs.MFCS.2019.26},
annote = {Keywords: counting complexity, edge-transitive graphs, graph homomorphisms, induced subgraphs, parameterized complexity}
}
@InProceedings{bessy_et_al:LIPIcs.MFCS.2019.27,
author = {Bessy, St\'{e}phane and Bougeret, Marin and Krithika, R. and Sahu, Abhishek and Saurabh, Saket and Thiebaut, Jocelyn and Zehavi, Meirav},
title = {{Packing Arc-Disjoint Cycles in Tournaments}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {27:1--27:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.27},
URN = {urn:nbn:de:0030-drops-109714},
doi = {10.4230/LIPIcs.MFCS.2019.27},
annote = {Keywords: arc-disjoint cycle packing, tournaments, parameterized algorithms, kernelization}
}
@InProceedings{madathil_et_al:LIPIcs.MFCS.2019.28,
author = {Madathil, Jayakrishnan and Sharma, Roohani and Zehavi, Meirav},
title = {{A Sub-Exponential FPT Algorithm and a Polynomial Kernel for Minimum Directed Bisection on Semicomplete Digraphs}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {28:1--28:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.28},
URN = {urn:nbn:de:0030-drops-109721},
doi = {10.4230/LIPIcs.MFCS.2019.28},
annote = {Keywords: bisection, semicomplete digraph, tournament, fpt algorithm, chromatic coding, polynomial kernel, splitters}
}
@InProceedings{figueira_et_al:LIPIcs.MFCS.2019.29,
author = {Figueira, Diego and Ramanathan, Varun and Weil, Pascal},
title = {{The Quantifier Alternation Hierarchy of Synchronous Relations}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {29:1--29:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.29},
URN = {urn:nbn:de:0030-drops-109735},
doi = {10.4230/LIPIcs.MFCS.2019.29},
annote = {Keywords: synchronous relations, automatic relations, first-order logic, characterization, quantifier alternation}
}
@InProceedings{padmanabha_et_al:LIPIcs.MFCS.2019.30,
author = {Padmanabha, Anantha and Ramanujam, R.},
title = {{Two variable fragment of Term Modal Logic}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {30:1--30:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.30},
URN = {urn:nbn:de:0030-drops-109741},
doi = {10.4230/LIPIcs.MFCS.2019.30},
annote = {Keywords: Term modal logic, satisfiability problem, two variable fragment, decidability}
}
@InProceedings{gradel_et_al:LIPIcs.MFCS.2019.31,
author = {Gr\"{a}del, Erich and Schalth\"{o}fer, Svenja},
title = {{Choiceless Logarithmic Space}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {31:1--31:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.31},
URN = {urn:nbn:de:0030-drops-109758},
doi = {10.4230/LIPIcs.MFCS.2019.31},
annote = {Keywords: Finite Model Theory, Logics for Logspace, Choiceless Computation}
}
@InProceedings{cerveny_et_al:LIPIcs.MFCS.2019.32,
author = {\v{C}erven\'{y}, Radovan and Such\'{y}, Ond\v{r}ej},
title = {{Faster FPT Algorithm for 5-Path Vertex Cover}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {32:1--32:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.32},
URN = {urn:nbn:de:0030-drops-109761},
doi = {10.4230/LIPIcs.MFCS.2019.32},
annote = {Keywords: graph algorithms, Hitting Set, iterative compression, parameterized complexity, d-Path Vertex Cover}
}
@InProceedings{knop_et_al:LIPIcs.MFCS.2019.33,
author = {Knop, Du\v{s}an and Masa\v{r}{\'\i}k, Tom\'{a}\v{s} and Toufar, Tom\'{a}\v{s}},
title = {{Parameterized Complexity of Fair Vertex Evaluation Problems}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {33:1--33:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.33},
URN = {urn:nbn:de:0030-drops-109775},
doi = {10.4230/LIPIcs.MFCS.2019.33},
annote = {Keywords: Fair objective, metatheorem, fair vertex cover, twin cover, modular width}
}
@InProceedings{jaffke_et_al:LIPIcs.MFCS.2019.34,
author = {Jaffke, Lars and Lima, Paloma T.},
title = {{A Complexity Dichotomy for Critical Values of the b-Chromatic Number of Graphs}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {34:1--34:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.34},
URN = {urn:nbn:de:0030-drops-109784},
doi = {10.4230/LIPIcs.MFCS.2019.34},
annote = {Keywords: b-Coloring, b-Chromatic Number}
}
@InProceedings{agrawal_et_al:LIPIcs.MFCS.2019.35,
author = {Agrawal, Akanksha and Jain, Pallavi and Kanesh, Lawqueen and Saurabh, Saket},
title = {{Parameterized Complexity of Conflict-Free Matchings and Paths}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {35:1--35:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.35},
URN = {urn:nbn:de:0030-drops-109798},
doi = {10.4230/LIPIcs.MFCS.2019.35},
annote = {Keywords: Conflict-free, Matching, Shortest Path, FPT algorithm, W\lbrack1\rbrack-hard, Matroid}
}
@InProceedings{lagerkvist_et_al:LIPIcs.MFCS.2019.36,
author = {Lagerkvist, Victor and Nordh, Gustav},
title = {{On the Strength of Uniqueness Quantification in Primitive Positive Formulas}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {36:1--36:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.36},
URN = {urn:nbn:de:0030-drops-109808},
doi = {10.4230/LIPIcs.MFCS.2019.36},
annote = {Keywords: Primitive positive definitions, clone theory, constraint satisfaction problems}
}
@InProceedings{garlik:LIPIcs.MFCS.2019.37,
author = {Garl{\'\i}k, Michal},
title = {{Resolution Lower Bounds for Refutation Statements}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {37:1--37:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.37},
URN = {urn:nbn:de:0030-drops-109817},
doi = {10.4230/LIPIcs.MFCS.2019.37},
annote = {Keywords: reflection principles, refutation statements, Resolution, proof complexity}
}
@InProceedings{fluck:LIPIcs.MFCS.2019.38,
author = {Fluck, Eva},
title = {{Tangles and Single Linkage Hierarchical Clustering}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {38:1--38:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.38},
URN = {urn:nbn:de:0030-drops-109826},
doi = {10.4230/LIPIcs.MFCS.2019.38},
annote = {Keywords: Tangles, Branch Decomposition, Duality, Hierarchical Clustering, Single Linkage}
}
@InProceedings{haviv:LIPIcs.MFCS.2019.39,
author = {Haviv, Ishay},
title = {{Approximating the Orthogonality Dimension of Graphs and Hypergraphs}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {39:1--39:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.39},
URN = {urn:nbn:de:0030-drops-109836},
doi = {10.4230/LIPIcs.MFCS.2019.39},
annote = {Keywords: orthogonal representations of hypergraphs, orthogonality dimension, hardness of approximation, Kneser and Schrijver graphs, semidefinite programming}
}
@InProceedings{einarson_et_al:LIPIcs.MFCS.2019.40,
author = {Einarson, Carl and Reidl, Felix},
title = {{Domination Above r-Independence: Does Sparseness Help?}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {40:1--40:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.40},
URN = {urn:nbn:de:0030-drops-109840},
doi = {10.4230/LIPIcs.MFCS.2019.40},
annote = {Keywords: Dominating Set, Above Guarantee, Kernel, Bounded Expansion, Nowhere Dense}
}
@InProceedings{galby_et_al:LIPIcs.MFCS.2019.41,
author = {Galby, Esther and Lima, Paloma T. and Ries, Bernard},
title = {{Reducing the Domination Number of Graphs via Edge Contractions}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {41:1--41:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.41},
URN = {urn:nbn:de:0030-drops-109856},
doi = {10.4230/LIPIcs.MFCS.2019.41},
annote = {Keywords: domination number, blocker problem, graph classes}
}
@InProceedings{eiben_et_al:LIPIcs.MFCS.2019.42,
author = {Eiben, Eduard and Ganian, Robert and Hamm, Thekla and Kwon, O-joung},
title = {{Measuring what Matters: A Hybrid Approach to Dynamic Programming with Treewidth}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {42:1--42:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.42},
URN = {urn:nbn:de:0030-drops-109867},
doi = {10.4230/LIPIcs.MFCS.2019.42},
annote = {Keywords: Parameterized complexity, treewidth, rank-width, fixed-parameter algorithms}
}
@InProceedings{lohrey_et_al:LIPIcs.MFCS.2019.43,
author = {Lohrey, Markus and Wei{\ss}, Armin},
title = {{The Power Word Problem}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {43:1--43:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.43},
URN = {urn:nbn:de:0030-drops-109871},
doi = {10.4230/LIPIcs.MFCS.2019.43},
annote = {Keywords: word problem, compressed word problem, free groups}
}
@InProceedings{day_et_al:LIPIcs.MFCS.2019.44,
author = {Day, Joel D. and Manea, Florin and Nowotka, Dirk},
title = {{Upper Bounds on the Length of Minimal Solutions to Certain Quadratic Word Equations}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {44:1--44:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.44},
URN = {urn:nbn:de:0030-drops-109889},
doi = {10.4230/LIPIcs.MFCS.2019.44},
annote = {Keywords: Quadratic Word Equations, Length Upper Bounds, NP, Unavoidable Patterns}
}
@InProceedings{kiefer_et_al:LIPIcs.MFCS.2019.45,
author = {Kiefer, Sandra and Neuen, Daniel},
title = {{The Power of the Weisfeiler-Leman Algorithm to Decompose Graphs}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {45:1--45:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.45},
URN = {urn:nbn:de:0030-drops-109893},
doi = {10.4230/LIPIcs.MFCS.2019.45},
annote = {Keywords: Weisfeiler-Leman, separators, first-order logic, counting quantifiers}
}
@InProceedings{aubrun_et_al:LIPIcs.MFCS.2019.46,
author = {Aubrun, Nathalie and Barbieri, Sebasti\'{a}n and Moutot, Etienne},
title = {{The Domino Problem is Undecidable on Surface Groups}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {46:1--46:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.46},
URN = {urn:nbn:de:0030-drops-109900},
doi = {10.4230/LIPIcs.MFCS.2019.46},
annote = {Keywords: tilings, substitutions, SFTs, decidability, domino problem}
}
@InProceedings{dose:LIPIcs.MFCS.2019.47,
author = {Dose, Titus},
title = {{P-Optimal Proof Systems for Each NP-Set but no Complete Disjoint NP-Pairs Relative to an Oracle}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {47:1--47:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.47},
URN = {urn:nbn:de:0030-drops-109918},
doi = {10.4230/LIPIcs.MFCS.2019.47},
annote = {Keywords: NP-complete, proof systems, disjoint NP-pair, oracle, UP}
}
@InProceedings{hoyrup_et_al:LIPIcs.MFCS.2019.48,
author = {Hoyrup, Mathieu and Stull, Donald M.},
title = {{Semicomputable Points in Euclidean Spaces}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {48:1--48:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.48},
URN = {urn:nbn:de:0030-drops-109928},
doi = {10.4230/LIPIcs.MFCS.2019.48},
annote = {Keywords: Semicomputable point, Left-c.e. real, Convex cone, Solovay reducibility, Genericity}
}
@InProceedings{galesi_et_al:LIPIcs.MFCS.2019.49,
author = {Galesi, Nicola and Itsykson, Dmitry and Riazanov, Artur and Sofronova, Anastasia},
title = {{Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {49:1--49:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.49},
URN = {urn:nbn:de:0030-drops-109932},
doi = {10.4230/LIPIcs.MFCS.2019.49},
annote = {Keywords: Tseitin formula, treewidth, AC0-Frege}
}
@InProceedings{clairambault_et_al:LIPIcs.MFCS.2019.50,
author = {Clairambault, Pierre and Murawski, Andrzej S.},
title = {{On the Expressivity of Linear Recursion Schemes}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {50:1--50:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.50},
URN = {urn:nbn:de:0030-drops-109945},
doi = {10.4230/LIPIcs.MFCS.2019.50},
annote = {Keywords: higher-order recursion schemes, linear logic, game semantics, geometry of interaction}
}
@InProceedings{koechlin_et_al:LIPIcs.MFCS.2019.51,
author = {Koechlin, Florent and Nicaud, Cyril and Rotondo, Pablo},
title = {{Uniform Random Expressions Lack Expressivity}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {51:1--51:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.51},
URN = {urn:nbn:de:0030-drops-109957},
doi = {10.4230/LIPIcs.MFCS.2019.51},
annote = {Keywords: Random expressions, simplification algorithms, analytic combinatorics}
}
@InProceedings{ramya_et_al:LIPIcs.MFCS.2019.52,
author = {Ramya, C. and Rao, B. V. Raghavendra},
title = {{Lower Bounds for Multilinear Order-Restricted ABPs}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {52:1--52:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.52},
URN = {urn:nbn:de:0030-drops-109963},
doi = {10.4230/LIPIcs.MFCS.2019.52},
annote = {Keywords: Computational complexity, Algebraic complexity theory, Polynomials}
}
@InProceedings{gupta_et_al:LIPIcs.MFCS.2019.53,
author = {Gupta, Nikhil and Saha, Chandan},
title = {{On the Symmetries of and Equivalence Test for Design Polynomials}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {53:1--53:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.53},
URN = {urn:nbn:de:0030-drops-109979},
doi = {10.4230/LIPIcs.MFCS.2019.53},
annote = {Keywords: Nisan-Wigderson design polynomial, characterization by symmetries, Lie algebra, group of symmetries, circuit testability, flip theorem, equivalence test}
}
@InProceedings{boker_et_al:LIPIcs.MFCS.2019.54,
author = {B\"{o}ker, Jan and Chen, Yijia and Grohe, Martin and Rattan, Gaurav},
title = {{The Complexity of Homomorphism Indistinguishability}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {54:1--54:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.54},
URN = {urn:nbn:de:0030-drops-109980},
doi = {10.4230/LIPIcs.MFCS.2019.54},
annote = {Keywords: graph homomorphism numbers, counting complexity, treewidth}
}
@InProceedings{carette_et_al:LIPIcs.MFCS.2019.55,
author = {Carette, Titouan and Horsman, Dominic and Perdrix, Simon},
title = {{SZX-Calculus: Scalable Graphical Quantum Reasoning}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {55:1--55:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.55},
URN = {urn:nbn:de:0030-drops-109999},
doi = {10.4230/LIPIcs.MFCS.2019.55},
annote = {Keywords: Quantum computing, categorical quantum mechanics, completeness, scalability}
}
@InProceedings{chen_et_al:LIPIcs.MFCS.2019.56,
author = {Chen, Ke and Dumitrescu, Adrian and Mulzer, Wolfgang and T\'{o}th, Csaba D.},
title = {{On the Stretch Factor of Polygonal Chains}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {56:1--56:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.56},
URN = {urn:nbn:de:0030-drops-110005},
doi = {10.4230/LIPIcs.MFCS.2019.56},
annote = {Keywords: polygonal chain, vertex dilation, Koch curve, recursive construction}
}
@InProceedings{enright_et_al:LIPIcs.MFCS.2019.57,
author = {Enright, Jessica and Meeks, Kitty and Mertzios, George B. and Zamaraev, Viktor},
title = {{Deleting Edges to Restrict the Size of an Epidemic in Temporal Networks}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {57:1--57:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.57},
URN = {urn:nbn:de:0030-drops-110010},
doi = {10.4230/LIPIcs.MFCS.2019.57},
annote = {Keywords: Temporal networks, spreading processes, graph modification, parameterised complexity}
}
@InProceedings{berkholz_et_al:LIPIcs.MFCS.2019.58,
author = {Berkholz, Christoph and Schweikardt, Nicole},
title = {{Constant Delay Enumeration with FPT-Preprocessing for Conjunctive Queries of Bounded Submodular Width}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {58:1--58:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.58},
URN = {urn:nbn:de:0030-drops-110021},
doi = {10.4230/LIPIcs.MFCS.2019.58},
annote = {Keywords: conjunctive queries, constant delay enumeration, hypertree decompositions, submodular width, fixed-parameter tractability}
}
@InProceedings{kazeminia_et_al:LIPIcs.MFCS.2019.59,
author = {Kazeminia, Amirhossein and Bulatov, Andrei A.},
title = {{Counting Homomorphisms Modulo a Prime Number}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {59:1--59:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.59},
URN = {urn:nbn:de:0030-drops-110032},
doi = {10.4230/LIPIcs.MFCS.2019.59},
annote = {Keywords: graph homomorphism, modular counting, computational hardness}
}
@InProceedings{bulatov_et_al:LIPIcs.MFCS.2019.60,
author = {Bulatov, Andrei A. and \v{Z}ivn\'{y}, Stanislav},
title = {{Approximate Counting CSP Seen from the Other Side}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {60:1--60:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.60},
URN = {urn:nbn:de:0030-drops-110041},
doi = {10.4230/LIPIcs.MFCS.2019.60},
annote = {Keywords: constraint satisfaction, approximate counting, homomorphisms}
}
@InProceedings{lhote_et_al:LIPIcs.MFCS.2019.61,
author = {Lhote, Nathan and Michielini, Vincent and Skrzypczak, Micha{\l}},
title = {{Uniformisation Gives the Full Strength of Regular Languages}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {61:1--61:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.61},
URN = {urn:nbn:de:0030-drops-110053},
doi = {10.4230/LIPIcs.MFCS.2019.61},
annote = {Keywords: pseudo-variety, finite word, semigroup, uniformisation, regular language}
}
@InProceedings{czerwinski_et_al:LIPIcs.MFCS.2019.62,
author = {Czerwi\'{n}ski, Wojciech and Lasota, S{\l}awomir and L\"{o}ding, Christof and Pi\'{o}rkowski, Rados{\l}aw},
title = {{New Pumping Technique for 2-Dimensional VASS}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {62:1--62:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.62},
URN = {urn:nbn:de:0030-drops-110066},
doi = {10.4230/LIPIcs.MFCS.2019.62},
annote = {Keywords: vector addition systems with states, pumping, decidability}
}
@InProceedings{fernau_et_al:LIPIcs.MFCS.2019.63,
author = {Fernau, Henning and Gusev, Vladimir V. and Hoffmann, Stefan and Holzer, Markus and Volkov, Mikhail V. and Wolf, Petra},
title = {{Computational Complexity of Synchronization under Regular Constraints}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {63:1--63:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.63},
URN = {urn:nbn:de:0030-drops-110078},
doi = {10.4230/LIPIcs.MFCS.2019.63},
annote = {Keywords: Finite automata, synchronization, computational complexity}
}
@InProceedings{hagerup:LIPIcs.MFCS.2019.64,
author = {Hagerup, Torben},
title = {{A Constant-Time Colored Choice Dictionary with Almost Robust Iteration}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {64:1--64:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.64},
URN = {urn:nbn:de:0030-drops-110083},
doi = {10.4230/LIPIcs.MFCS.2019.64},
annote = {Keywords: Succinct data structures, space efficiency, in-place chain technique, bounded universes, amortization}
}
@InProceedings{baswana_et_al:LIPIcs.MFCS.2019.65,
author = {Baswana, Surender and Gupta, Shiv and Tulsyan, Ayush},
title = {{Fault Tolerant and Fully Dynamic DFS in Undirected Graphs: Simple Yet Efficient}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {65:1--65:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.65},
URN = {urn:nbn:de:0030-drops-110096},
doi = {10.4230/LIPIcs.MFCS.2019.65},
annote = {Keywords: Depth first search, DFS, Dynamic graph algorithms, Fault tolerant}
}
@InProceedings{clifford_et_al:LIPIcs.MFCS.2019.66,
author = {Clifford, Rapha\"{e}l and Gawrychowski, Pawe{\l} and Kociumaka, Tomasz and Martin, Daniel P. and Uzna\'{n}ski, Przemys{\l}aw},
title = {{RLE Edit Distance in Near Optimal Time}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {66:1--66:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.66},
URN = {urn:nbn:de:0030-drops-110109},
doi = {10.4230/LIPIcs.MFCS.2019.66},
annote = {Keywords: String algorithms, Compression, Pattern matching, Run-length encoding}
}
@InProceedings{chakraborty_et_al:LIPIcs.MFCS.2019.67,
author = {Chakraborty, Sankardeep and Sadakane, Kunihiko},
title = {{Indexing Graph Search Trees and Applications}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {67:1--67:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.67},
URN = {urn:nbn:de:0030-drops-110112},
doi = {10.4230/LIPIcs.MFCS.2019.67},
annote = {Keywords: Depth First Search Tree, Compact Data Structures, Encoding Schemes}
}
@InProceedings{dennunzio_et_al:LIPIcs.MFCS.2019.68,
author = {Dennunzio, Alberto and Formenti, Enrico and Grinberg, Darij and Margara, Luciano},
title = {{Additive Cellular Automata Over Finite Abelian Groups: Topological and Measure Theoretic Properties}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {68:1--68:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.68},
URN = {urn:nbn:de:0030-drops-110126},
doi = {10.4230/LIPIcs.MFCS.2019.68},
annote = {Keywords: Cellular Automata, Symbolic Dynamics, Complex Systems}
}
@InProceedings{bose_et_al:LIPIcs.MFCS.2019.69,
author = {Bose, Sougata and Krishna, Shankara Narayanan and Muscholl, Anca and Penelle, Vincent and Puppis, Gabriele},
title = {{On Synthesis of Resynchronizers for Transducers}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {69:1--69:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.69},
URN = {urn:nbn:de:0030-drops-110133},
doi = {10.4230/LIPIcs.MFCS.2019.69},
annote = {Keywords: String transducers, resynchronizers, synthesis}
}
@InProceedings{bell_et_al:LIPIcs.MFCS.2019.70,
author = {Bell, Paul C. and Hirvensalo, Mika},
title = {{Acceptance Ambiguity for Quantum Automata}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {70:1--70:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.70},
URN = {urn:nbn:de:0030-drops-110149},
doi = {10.4230/LIPIcs.MFCS.2019.70},
annote = {Keywords: Quantum finite automata, matrix freeness, undecidability, Post’s correspondence problem, quaternions}
}
@InProceedings{bille_et_al:LIPIcs.MFCS.2019.71,
author = {Bille, Philip and G{\o}rtz, Inge Li},
title = {{From Regular Expression Matching to Parsing}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {71:1--71:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.71},
URN = {urn:nbn:de:0030-drops-110150},
doi = {10.4230/LIPIcs.MFCS.2019.71},
annote = {Keywords: regular expressions, finite automata, regular expression parsing, algorithms}
}
@InProceedings{aichinger:LIPIcs.MFCS.2019.72,
author = {Aichinger, Erhard},
title = {{Solving Systems of Equations in Supernilpotent Algebras}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {72:1--72:9},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.72},
URN = {urn:nbn:de:0030-drops-110162},
doi = {10.4230/LIPIcs.MFCS.2019.72},
annote = {Keywords: Supernilpotent algebras, polynomial equations, polynomial mappings, circuit satisfiability}
}
@InProceedings{conte_et_al:LIPIcs.MFCS.2019.73,
author = {Conte, Alessio and Grossi, Roberto and Kant\'{e}, Mamadou Moustapha and Marino, Andrea and Uno, Takeaki and Wasa, Kunihiro},
title = {{Listing Induced Steiner Subgraphs as a Compact Way to Discover Steiner Trees in Graphs}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {73:1--73:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.73},
URN = {urn:nbn:de:0030-drops-110174},
doi = {10.4230/LIPIcs.MFCS.2019.73},
annote = {Keywords: Graph algorithms, enumeration, listing and counting, Steiner trees, induced subgraphs}
}
@InProceedings{gaspers_et_al:LIPIcs.MFCS.2019.74,
author = {Gaspers, Serge and Li, Ray},
title = {{Enumeration of Preferred Extensions in Almost Oriented Digraphs}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {74:1--74:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.74},
URN = {urn:nbn:de:0030-drops-110188},
doi = {10.4230/LIPIcs.MFCS.2019.74},
annote = {Keywords: abstract argumentation, exact algorithms, exponential time algorithms, parameterized algorithms, enumeration algorithms, semikernels in digraphs}
}
@InProceedings{lopez_et_al:LIPIcs.MFCS.2019.75,
author = {Lopez, Th\'{e}odore and Monmege, Benjamin and Talbot, Jean-Marc},
title = {{Determinisation of Finitely-Ambiguous Copyless Cost Register Automata}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {75:1--75:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.75},
URN = {urn:nbn:de:0030-drops-110190},
doi = {10.4230/LIPIcs.MFCS.2019.75},
annote = {Keywords: Cost-register automata, Look-ahead removal, Unambiguity, Determinisation}
}
@InProceedings{droste_et_al:LIPIcs.MFCS.2019.76,
author = {Droste, Manfred and Gastin, Paul},
title = {{Aperiodic Weighted Automata and Weighted First-Order Logic}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {76:1--76:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.76},
URN = {urn:nbn:de:0030-drops-110203},
doi = {10.4230/LIPIcs.MFCS.2019.76},
annote = {Keywords: Weighted automata, weighted logic, aperiodic automata, first-order logic, unambiguous, finitely ambiguous, polynomially ambiguous}
}
@InProceedings{ganty_et_al:LIPIcs.MFCS.2019.77,
author = {Ganty, Pierre and Guti\'{e}rrez, Elena and Valero, Pedro},
title = {{A Congruence-based Perspective on Automata Minimization Algorithms}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {77:1--77:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.77},
URN = {urn:nbn:de:0030-drops-110214},
doi = {10.4230/LIPIcs.MFCS.2019.77},
annote = {Keywords: Double-Reversal Method, Minimization, Automata, Congruences, Regular Languages}
}
@InProceedings{burjons_et_al:LIPIcs.MFCS.2019.78,
author = {Burjons, Elisabet and Frei, Fabian and Hemaspaandra, Edith and Komm, Dennis and Wehner, David},
title = {{Finding Optimal Solutions With Neighborly Help}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {78:1--78:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.78},
URN = {urn:nbn:de:0030-drops-110221},
doi = {10.4230/LIPIcs.MFCS.2019.78},
annote = {Keywords: Critical Graphs, Computational Complexity, Structural Self-Reducibility, Minimality Problems, Colorability, Vertex Cover, Satisfiability, Reoptimization, Advice}
}
@InProceedings{mizuta_et_al:LIPIcs.MFCS.2019.79,
author = {Mizuta, Haruka and Hatanaka, Tatsuhiko and Ito, Takehiro and Zhou, Xiao},
title = {{Reconfiguration of Minimum Steiner Trees via Vertex Exchanges}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {79:1--79:11},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.79},
URN = {urn:nbn:de:0030-drops-110234},
doi = {10.4230/LIPIcs.MFCS.2019.79},
annote = {Keywords: Combinatorial reconfiguration, Graph algorithms, Steiner tree}
}
@InProceedings{bonamy_et_al:LIPIcs.MFCS.2019.80,
author = {Bonamy, Marthe and Bousquet, Nicolas and Heinrich, Marc and Ito, Takehiro and Kobayashi, Yusuke and Mary, Arnaud and M\"{u}hlenthaler, Moritz and Wasa, Kunihiro},
title = {{The Perfect Matching Reconfiguration Problem}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {80:1--80:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.80},
URN = {urn:nbn:de:0030-drops-110248},
doi = {10.4230/LIPIcs.MFCS.2019.80},
annote = {Keywords: Combinatorial Reconfiguration, Graph Algorithms, Perfect Matching}
}
@InProceedings{carlson_et_al:LIPIcs.MFCS.2019.81,
author = {Carlson, Charles and Chandrasekaran, Karthekeyan and Chang, Hsien-Chih and Kakimura, Naonori and Kolla, Alexandra},
title = {{Spectral Aspects of Symmetric Matrix Signings}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {81:1--81:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.81},
URN = {urn:nbn:de:0030-drops-110258},
doi = {10.4230/LIPIcs.MFCS.2019.81},
annote = {Keywords: Spectral Graph Theory, Matrix Signing, Matchings}
}
@InProceedings{kiefer_et_al:LIPIcs.MFCS.2019.82,
author = {Kiefer, Stefan and Widdershoven, Cas},
title = {{Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {82:1--82:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.82},
URN = {urn:nbn:de:0030-drops-110269},
doi = {10.4230/LIPIcs.MFCS.2019.82},
annote = {Keywords: Algorithms, Automata, Markov Chains, Matrix Semigroups}
}
@InProceedings{bell_et_al:LIPIcs.MFCS.2019.83,
author = {Bell, Paul C. and Potapov, Igor and Semukhin, Pavel},
title = {{On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {83:1--83:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.83},
URN = {urn:nbn:de:0030-drops-110279},
doi = {10.4230/LIPIcs.MFCS.2019.83},
annote = {Keywords: Linear recurrence sequences, Skolem’s problem, mortality problem, matrix equations, primary decomposition theorem, Baker’s theorem}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing