@Proceedings{leroux_et_al:LIPIcs.MFCS.2023,
title = {{LIPIcs, Volume 272, MFCS 2023, Complete Volume}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {1--1302},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023},
URN = {urn:nbn:de:0030-drops-185332},
doi = {10.4230/LIPIcs.MFCS.2023},
annote = {Keywords: LIPIcs, Volume 272, MFCS 2023, Complete Volume}
}
@InProceedings{leroux_et_al:LIPIcs.MFCS.2023.0,
author = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {0:i--0:xviii},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.0},
URN = {urn:nbn:de:0030-drops-185349},
doi = {10.4230/LIPIcs.MFCS.2023.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{bonamy:LIPIcs.MFCS.2023.1,
author = {Bonamy, Marthe},
title = {{Exploring the Space of Colourings with Kempe Changes}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {1:1--1:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.1},
URN = {urn:nbn:de:0030-drops-185350},
doi = {10.4230/LIPIcs.MFCS.2023.1},
annote = {Keywords: Graph theory, graph coloring, reconfiguration}
}
@InProceedings{boyar:LIPIcs.MFCS.2023.2,
author = {Boyar, Joan},
title = {{Online Algorithms with Predictions}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {2:1--2:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.2},
URN = {urn:nbn:de:0030-drops-185368},
doi = {10.4230/LIPIcs.MFCS.2023.2},
annote = {Keywords: Online algorithms with predictions, online algorithms with advice, random order analysis}
}
@InProceedings{czumaj:LIPIcs.MFCS.2023.3,
author = {Czumaj, Artur},
title = {{Modern Parallel Algorithms}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {3:1--3:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.3},
URN = {urn:nbn:de:0030-drops-185378},
doi = {10.4230/LIPIcs.MFCS.2023.3},
annote = {Keywords: Distributed computing, parallel computing}
}
@InProceedings{kovacs:LIPIcs.MFCS.2023.4,
author = {Kov\'{a}cs, Laura},
title = {{Algebraic Reasoning for (Un)Solvable Loops}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {4:1--4:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.4},
URN = {urn:nbn:de:0030-drops-185385},
doi = {10.4230/LIPIcs.MFCS.2023.4},
annote = {Keywords: Symbolic Computation, Formal Methods, Loop Analysis, Polynomial Invariants}
}
@InProceedings{klobas_et_al:LIPIcs.MFCS.2023.5,
author = {Klobas, Nina and Mertzios, George B. and Spirakis, Paul G.},
title = {{Sliding into the Future: Investigating Sliding Windows in Temporal Graphs}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {5:1--5:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.5},
URN = {urn:nbn:de:0030-drops-185397},
doi = {10.4230/LIPIcs.MFCS.2023.5},
annote = {Keywords: Temporal Graphs, Sliding Time Windows}
}
@InProceedings{abukhzam_et_al:LIPIcs.MFCS.2023.6,
author = {Abu-Khzam, Faisal N. and Fernau, Henning and Mann, Kevin},
title = {{Roman Census: Enumerating and Counting Roman Dominating Functions on Graph Classes}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {6:1--6:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.6},
URN = {urn:nbn:de:0030-drops-185400},
doi = {10.4230/LIPIcs.MFCS.2023.6},
annote = {Keywords: special graph classes, counting problems, enumeration problems, domination problems, Roman domination}
}
@InProceedings{achilleos_et_al:LIPIcs.MFCS.2023.7,
author = {Achilleos, Antonis and Chalki, Aggeliki},
title = {{Counting Computations with Formulae: Logical Characterisations of Counting Complexity Classes}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {7:1--7:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.7},
URN = {urn:nbn:de:0030-drops-185412},
doi = {10.4230/LIPIcs.MFCS.2023.7},
annote = {Keywords: descriptive complexity, quantitative logics, counting problems, #P}
}
@InProceedings{agaoglucagirici_et_al:LIPIcs.MFCS.2023.8,
author = {A\u{g}ao\u{g}lu \c{C}a\u{g}{\i}r{\i}c{\i}, Deniz and \c{C}a\u{g}{\i}r{\i}c{\i}, Onur and Derbisz, Jan and Hartmann, Tim A. and Hlin\v{e}n\'{y}, Petr and Kratochv{\'\i}l, Jan and Krawczyk, Tomasz and Zeman, Peter},
title = {{Recognizing H-Graphs - Beyond Circular-Arc Graphs}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {8:1--8:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.8},
URN = {urn:nbn:de:0030-drops-185420},
doi = {10.4230/LIPIcs.MFCS.2023.8},
annote = {Keywords: H-graphs, Intersection Graphs, Helly Property}
}
@InProceedings{ahvonen_et_al:LIPIcs.MFCS.2023.9,
author = {Ahvonen, Veeti and Heiman, Damian and Hella, Lauri and Kuusisto, Antti},
title = {{Descriptive Complexity for Distributed Computing with Circuits}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {9:1--9:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.9},
URN = {urn:nbn:de:0030-drops-185433},
doi = {10.4230/LIPIcs.MFCS.2023.9},
annote = {Keywords: Descriptive complexity, distributed computing, logic, graph coloring}
}
@InProceedings{akian_et_al:LIPIcs.MFCS.2023.10,
author = {Akian, Marianne and Gaubert, St\'{e}phane and Naepels, Ulysse and Terver, Basile},
title = {{Solving Irreducible Stochastic Mean-Payoff Games and Entropy Games by Relative Krasnoselskii-Mann Iteration}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {10:1--10:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.10},
URN = {urn:nbn:de:0030-drops-185448},
doi = {10.4230/LIPIcs.MFCS.2023.10},
annote = {Keywords: Stochastic mean-payoff games, concurrent games, entropy games, relative value iteration, Krasnoselskii-Mann fixed point algorithm, Hilbert projective metric}
}
@InProceedings{almagor_et_al:LIPIcs.MFCS.2023.11,
author = {Almagor, Shaull and Ghosh, Arka and Leys, Tim and P\'{e}rez, Guillermo A.},
title = {{The Geometry of Reachability in Continuous Vector Addition Systems with States}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {11:1--11:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.11},
URN = {urn:nbn:de:0030-drops-185457},
doi = {10.4230/LIPIcs.MFCS.2023.11},
annote = {Keywords: Vector addition system with states, reachability, continuous approximation}
}
@InProceedings{angelopoulos:LIPIcs.MFCS.2023.12,
author = {Angelopoulos, Spyros},
title = {{Competitive Search in the Line and the Star with Predictions}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {12:1--12:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.12},
URN = {urn:nbn:de:0030-drops-185464},
doi = {10.4230/LIPIcs.MFCS.2023.12},
annote = {Keywords: Search problems, line and star search, competitive ratio, predictions, consistency and robustness}
}
@InProceedings{angelopoulos_et_al:LIPIcs.MFCS.2023.13,
author = {Angelopoulos, Spyros and Kamali, Shahin},
title = {{R\'{e}nyi-Ulam Games and Online Computation with Imperfect Advice}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {13:1--13:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.13},
URN = {urn:nbn:de:0030-drops-185474},
doi = {10.4230/LIPIcs.MFCS.2023.13},
annote = {Keywords: Online computation, R\'{e}nyi-Ulam games, query models, beyond worst-case analysis}
}
@InProceedings{arvind_et_al:LIPIcs.MFCS.2023.14,
author = {Arvind, Vikraman and Joglekar, Pushkar S.},
title = {{Multivariate to Bivariate Reduction for Noncommutative Polynomial Factorization}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {14:1--14:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.14},
URN = {urn:nbn:de:0030-drops-185480},
doi = {10.4230/LIPIcs.MFCS.2023.14},
annote = {Keywords: Arithmetic circuits, algebraic branching programs, polynomial factorization, automata, noncommutative polynomial ring}
}
@InProceedings{baier_et_al:LIPIcs.MFCS.2023.15,
author = {Baier, Christel and Chatterjee, Krishnendu and Meggendorfer, Tobias and Piribauer, Jakob},
title = {{Entropic Risk for Turn-Based Stochastic Games}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {15:1--15:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.15},
URN = {urn:nbn:de:0030-drops-185491},
doi = {10.4230/LIPIcs.MFCS.2023.15},
annote = {Keywords: Stochastic games, risk-aware verification}
}
@InProceedings{balun_et_al:LIPIcs.MFCS.2023.16,
author = {Balun, Ji\v{r}{\'\i} and Masopust, Tom\'{a}\v{s} and Osi\v{c}ka, Petr},
title = {{Speed Me up If You Can: Conditional Lower Bounds on Opacity Verification}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {16:1--16:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.16},
URN = {urn:nbn:de:0030-drops-185504},
doi = {10.4230/LIPIcs.MFCS.2023.16},
annote = {Keywords: Finite automata, opacity, fine-grained complexity}
}
@InProceedings{barcelo_et_al:LIPIcs.MFCS.2023.17,
author = {Barcel\'{o}, Pablo and Figueira, Diego and Morvan, R\'{e}mi},
title = {{Separating Automatic Relations}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {17:1--17:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.17},
URN = {urn:nbn:de:0030-drops-185514},
doi = {10.4230/LIPIcs.MFCS.2023.17},
annote = {Keywords: Automatic relations, recognizable relations, separability, finite colorability}
}
@InProceedings{binucci_et_al:LIPIcs.MFCS.2023.18,
author = {Binucci, Carla and Liotta, Giuseppe and Montecchiani, Fabrizio and Ortali, Giacomo and Piselli, Tommaso},
title = {{On the Parameterized Complexity of Computing st-Orientations with Few Transitive Edges}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {18:1--18:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.18},
URN = {urn:nbn:de:0030-drops-185524},
doi = {10.4230/LIPIcs.MFCS.2023.18},
annote = {Keywords: st-orientations, parameterized complexity, graph drawing}
}
@InProceedings{biton_et_al:LIPIcs.MFCS.2023.19,
author = {Biton, Noy and Levi, Reut and Medina, Moti},
title = {{Distributed CONGEST Algorithm for Finding Hamiltonian Paths in Dirac Graphs and Generalizations}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {19:1--19:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.19},
URN = {urn:nbn:de:0030-drops-185534},
doi = {10.4230/LIPIcs.MFCS.2023.19},
annote = {Keywords: the CONGEST model, Hamiltonian Path, Hamiltonian Cycle, Dirac graphs, Ore graphs, graph-algorithms}
}
@InProceedings{biziere_et_al:LIPIcs.MFCS.2023.20,
author = {Bizi\`{e}re, Clotilde and Gr\"{a}del, Erich and Naaf, Matthias},
title = {{Locality Theorems in Semiring Semantics}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {20:1--20:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.20},
URN = {urn:nbn:de:0030-drops-185546},
doi = {10.4230/LIPIcs.MFCS.2023.20},
annote = {Keywords: Semiring semantics, Locality, First-order logic}
}
@InProceedings{blanc_et_al:LIPIcs.MFCS.2023.21,
author = {Blanc, Manon and Bournez, Olivier},
title = {{A Characterisation of Functions Computable in Polynomial Time and Space over the Reals with Discrete Ordinary Differential Equations: Simulation of Turing Machines with Analytic Discrete ODEs}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {21:1--21:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.21},
URN = {urn:nbn:de:0030-drops-185554},
doi = {10.4230/LIPIcs.MFCS.2023.21},
annote = {Keywords: Discrete ordinary differential equations, Finite Differences, Implicit complexity, Recursion scheme, Ordinary differential equations, Models of computation, Analog Computations}
}
@InProceedings{bliznets_et_al:LIPIcs.MFCS.2023.22,
author = {Bliznets, Ivan and Epifanov, Vladislav},
title = {{MaxCut Above Guarantee}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {22:1--22:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.22},
URN = {urn:nbn:de:0030-drops-185560},
doi = {10.4230/LIPIcs.MFCS.2023.22},
annote = {Keywords: Tripartite, 3-colorable, chordal, maximum cut, FPT-algorithm, linear kernel}
}
@InProceedings{bouillaguet_et_al:LIPIcs.MFCS.2023.23,
author = {Bouillaguet, Charles and Martinez, Florette and Vergnaud, Damien},
title = {{Cryptanalysis of a Generalized Subset-Sum Pseudorandom Generator}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {23:1--23:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.23},
URN = {urn:nbn:de:0030-drops-185579},
doi = {10.4230/LIPIcs.MFCS.2023.23},
annote = {Keywords: Cryptography, pseudo-random generator, subset-sum problem, 3SUM problem, cryptanalysis}
}
@InProceedings{braithwaite_et_al:LIPIcs.MFCS.2023.24,
author = {Braithwaite, Dylan and Hedges, Jules and St Clere Smithe, Toby},
title = {{The Compositional Structure of Bayesian Inference}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {24:1--24:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.24},
URN = {urn:nbn:de:0030-drops-185584},
doi = {10.4230/LIPIcs.MFCS.2023.24},
annote = {Keywords: monoidal categories, probabilistic programming, Bayesian inference}
}
@InProceedings{brand_et_al:LIPIcs.MFCS.2023.25,
author = {Brand, Cornelius and Korchemna, Viktoriia and Skotnica, Michael},
title = {{Deterministic Constrained Multilinear Detection}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {25:1--25:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.25},
URN = {urn:nbn:de:0030-drops-185595},
doi = {10.4230/LIPIcs.MFCS.2023.25},
annote = {Keywords: Fixed-parameter algorithms, Algebraic algorithms, Motif discovery, Matroid intersection}
}
@InProceedings{brice_et_al:LIPIcs.MFCS.2023.26,
author = {Brice, L\'{e}onard and Raskin, Jean-Fran\c{c}ois and van den Bogaard, Marie},
title = {{Rational Verification for Nash and Subgame-Perfect Equilibria in Graph Games}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {26:1--26:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.26},
URN = {urn:nbn:de:0030-drops-185608},
doi = {10.4230/LIPIcs.MFCS.2023.26},
annote = {Keywords: Games on graphs, Nash equilibria, subgame-perfect equilibria}
}
@InProceedings{bshouty:LIPIcs.MFCS.2023.27,
author = {Bshouty, Nader H.},
title = {{On Property Testing of the Binary Rank}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {27:1--27:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.27},
URN = {urn:nbn:de:0030-drops-185616},
doi = {10.4230/LIPIcs.MFCS.2023.27},
annote = {Keywords: Property testing, binary rank, Boolean rank}
}
@InProceedings{bulin_et_al:LIPIcs.MFCS.2023.28,
author = {Bul{\'\i}n, Jakub and Kompatscher, Michael},
title = {{Short Definitions in Constraint Languages}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {28:1--28:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.28},
URN = {urn:nbn:de:0030-drops-185629},
doi = {10.4230/LIPIcs.MFCS.2023.28},
annote = {Keywords: constraint satisfaction, primitive positive definability, few subpowers, polynomially expressive, relational clone, subpower membership}
}
@InProceedings{burjons_et_al:LIPIcs.MFCS.2023.29,
author = {Burjons, Elisabet and Gehnen, Matthias and Lotze, Henri and Mock, Daniel and Rossmanith, Peter},
title = {{The Online Simple Knapsack Problem with Reservation and Removability}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {29:1--29:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.29},
URN = {urn:nbn:de:0030-drops-185635},
doi = {10.4230/LIPIcs.MFCS.2023.29},
annote = {Keywords: online algorithm, knapsack, competitive ratio, reservation, preemption}
}
@InProceedings{cadilhac_et_al:LIPIcs.MFCS.2023.30,
author = {Cadilhac, Micha\"{e}l and Ghosh, Arka and P\'{e}rez, Guillermo A. and Raha, Ritam},
title = {{Parikh One-Counter Automata}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {30:1--30:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.30},
URN = {urn:nbn:de:0030-drops-185645},
doi = {10.4230/LIPIcs.MFCS.2023.30},
annote = {Keywords: Parikh automata, Context-free languages, One-counter automata}
}
@InProceedings{cao_et_al:LIPIcs.MFCS.2023.31,
author = {Cao, Yixin and Yuan, Hanchun and Wang, Jianxin},
title = {{Modification Problems Toward Proper (Helly) Circular-Arc Graphs}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {31:1--31:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.31},
URN = {urn:nbn:de:0030-drops-185652},
doi = {10.4230/LIPIcs.MFCS.2023.31},
annote = {Keywords: proper (Helly) circular-arc graph, graph modification problem}
}
@InProceedings{chakraborty_et_al:LIPIcs.MFCS.2023.32,
author = {Chakraborty, Dibyayan and Chalopin, J\'{e}r\'{e}mie and Foucaud, Florent and Vax\`{e}s, Yann},
title = {{Isometric Path Complexity of Graphs}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {32:1--32:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.32},
URN = {urn:nbn:de:0030-drops-185666},
doi = {10.4230/LIPIcs.MFCS.2023.32},
annote = {Keywords: Shortest paths, Isometric path complexity, Hyperbolic graphs, Truemper Configurations, Outerstring graphs, Isometric Path Cover}
}
@InProceedings{chakraborty_et_al:LIPIcs.MFCS.2023.33,
author = {Chakraborty, Diptarka and Kumar, Gunjan and Meel, Kuldeep S.},
title = {{Support Size Estimation: The Power of Conditioning}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {33:1--33:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.33},
URN = {urn:nbn:de:0030-drops-185675},
doi = {10.4230/LIPIcs.MFCS.2023.33},
annote = {Keywords: Support-size estimation, Distribution testing, Conditional sampling, Lower bound}
}
@InProceedings{chattopadhyay_et_al:LIPIcs.MFCS.2023.34,
author = {Chattopadhyay, Arkadev and Dahiya, Yogesh and Mahajan, Meena},
title = {{Query Complexity of Search Problems}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {34:1--34:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.34},
URN = {urn:nbn:de:0030-drops-185689},
doi = {10.4230/LIPIcs.MFCS.2023.34},
annote = {Keywords: Decision trees, Search problems, Pseudo-determinism, Randomness}
}
@InProceedings{chekan_et_al:LIPIcs.MFCS.2023.35,
author = {Chekan, Vera and Kratsch, Stefan},
title = {{Tight Algorithmic Applications of Clique-Width Generalizations}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {35:1--35:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.35},
URN = {urn:nbn:de:0030-drops-185699},
doi = {10.4230/LIPIcs.MFCS.2023.35},
annote = {Keywords: Parameterized complexity, connectivity problems, clique-width}
}
@InProceedings{clement_et_al:LIPIcs.MFCS.2023.36,
author = {Cl\'{e}ment, Julien and Genitrini, Antoine},
title = {{An Iterative Approach for Counting Reduced Ordered Binary Decision Diagrams}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {36:1--36:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.36},
URN = {urn:nbn:de:0030-drops-185702},
doi = {10.4230/LIPIcs.MFCS.2023.36},
annote = {Keywords: Boolean Function, Reduced Ordered Binary Decision Diagram (\{robdd\}), Enumerative Combinatorics, Directed Acyclic Graph}
}
@InProceedings{cohen_et_al:LIPIcs.MFCS.2023.37,
author = {Cohen, Liron and da Rocha Paiva, Bruno and Rahli, Vincent and Tosun, Ayberk},
title = {{Inductive Continuity via Brouwer Trees}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {37:1--37:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.37},
URN = {urn:nbn:de:0030-drops-185718},
doi = {10.4230/LIPIcs.MFCS.2023.37},
annote = {Keywords: Continuity, Dialogue trees, Stateful computations, Intuitionistic Logic, Extensional Type Theory, Constructive Type Theory, Realizability, Theorem proving, Agda}
}
@InProceedings{dantam_et_al:LIPIcs.MFCS.2023.38,
author = {Dantam, Mohan and Mayr, Richard},
title = {{Approximating the Value of Energy-Parity Objectives in Simple Stochastic Games}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {38:1--38:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.38},
URN = {urn:nbn:de:0030-drops-185724},
doi = {10.4230/LIPIcs.MFCS.2023.38},
annote = {Keywords: Energy-Parity Games, Simple Stochastic Games, Parity, Energy}
}
@InProceedings{datta_et_al:LIPIcs.MFCS.2023.39,
author = {Datta, Samir and Khan, Asif and Mukherjee, Anish},
title = {{Dynamic Planar Embedding Is in DynFO}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {39:1--39:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.39},
URN = {urn:nbn:de:0030-drops-185736},
doi = {10.4230/LIPIcs.MFCS.2023.39},
annote = {Keywords: Dynamic Complexity, Planar graphs, Planar embedding}
}
@InProceedings{daviaud_et_al:LIPIcs.MFCS.2023.40,
author = {Daviaud, Laure and Ryzhikov, Andrew},
title = {{Universality and Forall-Exactness of Cost Register Automata with Few Registers}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {40:1--40:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.40},
URN = {urn:nbn:de:0030-drops-185744},
doi = {10.4230/LIPIcs.MFCS.2023.40},
annote = {Keywords: cost register automata, universality, forall-exact problem, decidability}
}
@InProceedings{demeulemeester_et_al:LIPIcs.MFCS.2023.41,
author = {Demeulemeester, Tom and Peters, Jannik},
title = {{Relaxed Core Stability for Hedonic Games with Size-Dependent Utilities}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {41:1--41:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.41},
URN = {urn:nbn:de:0030-drops-185759},
doi = {10.4230/LIPIcs.MFCS.2023.41},
annote = {Keywords: hedonic games, core stability, algorithmic game theory, computational social choice}
}
@InProceedings{dissaux_et_al:LIPIcs.MFCS.2023.42,
author = {Dissaux, Thomas and Fioravantes, Foivos and Gahlawat, Harmender and Nisse, Nicolas},
title = {{Recontamination Helps a Lot to Hunt a Rabbit}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {42:1--42:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.42},
URN = {urn:nbn:de:0030-drops-185763},
doi = {10.4230/LIPIcs.MFCS.2023.42},
annote = {Keywords: Hunter and Rabbit, Monotonicity, Graph Searching}
}
@InProceedings{earnshaw_et_al:LIPIcs.MFCS.2023.43,
author = {Earnshaw, Matthew and Soboci\'{n}ski, Pawe{\l}},
title = {{String Diagrammatic Trace Theory}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {43:1--43:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.43},
URN = {urn:nbn:de:0030-drops-185770},
doi = {10.4230/LIPIcs.MFCS.2023.43},
annote = {Keywords: symmetric monoidal categories, Mazurkiewicz traces, asynchronous automata}
}
@InProceedings{egidy_et_al:LIPIcs.MFCS.2023.44,
author = {Egidy, Fabian and Gla{\ss}er, Christian and Herold, Martin},
title = {{Upward Translation of Optimal and P-Optimal Proof Systems in the Boolean Hierarchy over NP}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {44:1--44:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.44},
URN = {urn:nbn:de:0030-drops-185784},
doi = {10.4230/LIPIcs.MFCS.2023.44},
annote = {Keywords: Computational Complexity, Boolean Hierarchy, Proof Complexity, Proof Systems, Oracle Construction}
}
@InProceedings{eiben_et_al:LIPIcs.MFCS.2023.45,
author = {Eiben, Eduard and Majumdar, Diptapriyo and Ramanujan, M. S.},
title = {{Finding a Highly Connected Steiner Subgraph and its Applications}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {45:1--45:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.45},
URN = {urn:nbn:de:0030-drops-185793},
doi = {10.4230/LIPIcs.MFCS.2023.45},
annote = {Keywords: Parameterized Complexity, Steiner Subgraph Extension, p-edge-connected graphs, Matroids, Representative Families}
}
@InProceedings{fomin_et_al:LIPIcs.MFCS.2023.46,
author = {Fomin, Fedor V. and Golovach, Petr A. and Inamdar, Tanmay and Koana, Tomohiro},
title = {{FPT Approximation and Subexponential Algorithms for Covering Few or Many Edges}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {46:1--46:8},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.46},
URN = {urn:nbn:de:0030-drops-185806},
doi = {10.4230/LIPIcs.MFCS.2023.46},
annote = {Keywords: Partial Vertex Cover, Approximation Algorithms, Max Cut}
}
@InProceedings{fotakis_et_al:LIPIcs.MFCS.2023.47,
author = {Fotakis, Dimitris and Gergatsouli, Evangelia and Pipis, Charilaos and Stouras, Miltiadis and Tzamos, Christos},
title = {{Graph Connectivity with Noisy Queries}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {47:1--47:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.47},
URN = {urn:nbn:de:0030-drops-185810},
doi = {10.4230/LIPIcs.MFCS.2023.47},
annote = {Keywords: algorithms under uncertainty, graph connectivity, spanning tree, noisy queries, online algorithms, stochastic optimization}
}
@InProceedings{frank_et_al:LIPIcs.MFCS.2023.48,
author = {Frank, Florian and Milius, Stefan and Urbat, Henning},
title = {{Positive Data Languages}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {48:1--48:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.48},
URN = {urn:nbn:de:0030-drops-185828},
doi = {10.4230/LIPIcs.MFCS.2023.48},
annote = {Keywords: Data Languages, Register Automata, MSO, Nominal Sets, Presheaves}
}
@InProceedings{gahlawat_et_al:LIPIcs.MFCS.2023.49,
author = {Gahlawat, Harmender and Zehavi, Meirav},
title = {{Parameterized Analysis of the Cops and Robber Game}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {49:1--49:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.49},
URN = {urn:nbn:de:0030-drops-185837},
doi = {10.4230/LIPIcs.MFCS.2023.49},
annote = {Keywords: Cops and Robber, Kernelization, Graph Searching, Fixed parameter tractability}
}
@InProceedings{gargano_et_al:LIPIcs.MFCS.2023.50,
author = {Gargano, Luisa and Rescigno, Adele A.},
title = {{An FPT Algorithm for Spanning Trees with Few Branch Vertices Parameterized by Modular-Width}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {50:1--50:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.50},
URN = {urn:nbn:de:0030-drops-185843},
doi = {10.4230/LIPIcs.MFCS.2023.50},
annote = {Keywords: Spanning Trees, Branch vertices, Fixed-parameter tractable algorithms, Modular-width}
}
@InProceedings{goos_et_al:LIPIcs.MFCS.2023.51,
author = {G\"{o}\"{o}s, Mika and Guan, Ziyi and Mosnoi, Tiberiu},
title = {{Depth-3 Circuits for Inner Product}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {51:1--51:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.51},
URN = {urn:nbn:de:0030-drops-185856},
doi = {10.4230/LIPIcs.MFCS.2023.51},
annote = {Keywords: Circuit complexity, inner product}
}
@InProceedings{haase_et_al:LIPIcs.MFCS.2023.52,
author = {Haase, Christoph and Mansutti, Alessio and Pouly, Amaury},
title = {{On Polynomial-Time Decidability of k-Negations Fragments of FO Theories (Extended Abstract)}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {52:1--52:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.52},
URN = {urn:nbn:de:0030-drops-185869},
doi = {10.4230/LIPIcs.MFCS.2023.52},
annote = {Keywords: first-order theories, arithmetic theories, fixed-parameter tractability}
}
@InProceedings{hahn_et_al:LIPIcs.MFCS.2023.53,
author = {Hahn, Niklas and Xefteris, Michalis},
title = {{The Covering Canadian Traveller Problem Revisited}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {53:1--53:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.53},
URN = {urn:nbn:de:0030-drops-185876},
doi = {10.4230/LIPIcs.MFCS.2023.53},
annote = {Keywords: Online Algorithm, Canadian Traveller Problem, Travelling Salesperson Problem, Graph Exploration}
}
@InProceedings{holznigenkemper_et_al:LIPIcs.MFCS.2023.54,
author = {Holznigenkemper, Jana and Komusiewicz, Christian and Morawietz, Nils and Seeger, Bernhard},
title = {{On the Complexity of Computing Time Series Medians Under the Move-Split-Merge Metric}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {54:1--54:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.54},
URN = {urn:nbn:de:0030-drops-185889},
doi = {10.4230/LIPIcs.MFCS.2023.54},
annote = {Keywords: Parameterized Complexity, Median String, Time Series, ETH}
}
@InProceedings{inamdar_et_al:LIPIcs.MFCS.2023.55,
author = {Inamdar, Tanmay and Kanesh, Lawqueen and Kundu, Madhumita and Purohit, Nidhi and Saurabh, Saket},
title = {{Fixed-Parameter Algorithms for Fair Hitting Set Problems}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {55:1--55:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.55},
URN = {urn:nbn:de:0030-drops-185897},
doi = {10.4230/LIPIcs.MFCS.2023.55},
annote = {Keywords: Fairness, Parameterized Algorithms, Hitting Set}
}
@InProceedings{jana_et_al:LIPIcs.MFCS.2023.56,
author = {Jana, Satyabrata and Lokshtanov, Daniel and Mandal, Soumen and Rai, Ashutosh and Saurabh, Saket},
title = {{Parameterized Approximation Scheme for Feedback Vertex Set}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {56:1--56:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.56},
URN = {urn:nbn:de:0030-drops-185902},
doi = {10.4230/LIPIcs.MFCS.2023.56},
annote = {Keywords: Feedback Vertex Set, Parameterized Approximation}
}
@InProceedings{johnson_et_al:LIPIcs.MFCS.2023.57,
author = {Johnson, Matthew and Martin, Barnaby and Pandey, Sukanya and Paulusma, Dani\"{e}l and Smith, Siani and van Leeuwen, Erik Jan},
title = {{Complexity Framework for Forbidden Subgraphs III: When Problems Are Tractable on Subcubic Graphs}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {57:1--57:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.57},
URN = {urn:nbn:de:0030-drops-185914},
doi = {10.4230/LIPIcs.MFCS.2023.57},
annote = {Keywords: forbidden subgraphs, independent feedback vertex set, treewidth}
}
@InProceedings{kobayashi_et_al:LIPIcs.MFCS.2023.58,
author = {Kobayashi, Yasuaki and Kurita, Kazuhiro and Wasa, Kunihiro},
title = {{Polynomial-Delay Enumeration of Large Maximal Common Independent Sets in Two Matroids}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {58:1--58:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.58},
URN = {urn:nbn:de:0030-drops-185921},
doi = {10.4230/LIPIcs.MFCS.2023.58},
annote = {Keywords: Polynomial-delay enumeration, Ranked Enumeration, Matroid intersection, Reverse search}
}
@InProceedings{konecny_et_al:LIPIcs.MFCS.2023.59,
author = {Kone\v{c}n\'{y}, Michal and Park, Sewon and Thies, Holger},
title = {{Formalizing Hyperspaces for Extracting Efficient Exact Real Computation}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {59:1--59:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.59},
URN = {urn:nbn:de:0030-drops-185935},
doi = {10.4230/LIPIcs.MFCS.2023.59},
annote = {Keywords: Computable analysis, type theory, program extraction}
}
@InProceedings{kontinen_et_al:LIPIcs.MFCS.2023.60,
author = {Kontinen, Juha and Sandstr\"{o}m, Max and Virtema, Jonni},
title = {{Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {60:1--60:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.60},
URN = {urn:nbn:de:0030-drops-185949},
doi = {10.4230/LIPIcs.MFCS.2023.60},
annote = {Keywords: Hyperproperties, Linear Temporal Logic, Team Semantics}
}
@InProceedings{lafond_et_al:LIPIcs.MFCS.2023.61,
author = {Lafond, Manuel and Luo, Weidong},
title = {{Parameterized Complexity of Domination Problems Using Restricted Modular Partitions}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {61:1--61:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.61},
URN = {urn:nbn:de:0030-drops-185958},
doi = {10.4230/LIPIcs.MFCS.2023.61},
annote = {Keywords: modular-width, parameterized algorithms, W-hardness, 𝒢-modular cardinality}
}
@InProceedings{lampis_et_al:LIPIcs.MFCS.2023.62,
author = {Lampis, Michael and Melissinos, Nikolaos and Vasilakis, Manolis},
title = {{Parameterized Max Min Feedback Vertex Set}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {62:1--62:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.62},
URN = {urn:nbn:de:0030-drops-185965},
doi = {10.4230/LIPIcs.MFCS.2023.62},
annote = {Keywords: ETH, Feedback vertex set, Parameterized algorithms, Treewidth}
}
@InProceedings{legall_et_al:LIPIcs.MFCS.2023.63,
author = {Le Gall, Fran\c{c}ois and Miyamoto, Masayuki and Nishimura, Harumichi},
title = {{Distributed Merlin-Arthur Synthesis of Quantum States and Its Applications}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {63:1--63:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.63},
URN = {urn:nbn:de:0030-drops-185975},
doi = {10.4230/LIPIcs.MFCS.2023.63},
annote = {Keywords: distributed quantum Merlin-Arthur, distributed verification, quantum computation}
}
@InProceedings{lucke_et_al:LIPIcs.MFCS.2023.64,
author = {Lucke, Felicia and Paulusma, Dani\"{e}l and Ries, Bernard},
title = {{Dichotomies for Maximum Matching Cut: H-Freeness, Bounded Diameter, Bounded Radius}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {64:1--64:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.64},
URN = {urn:nbn:de:0030-drops-185981},
doi = {10.4230/LIPIcs.MFCS.2023.64},
annote = {Keywords: matching cut, perfect matching, H-free graph, diameter, radius, dichotomy}
}
@InProceedings{lutz_et_al:LIPIcs.MFCS.2023.65,
author = {Lutz, Jack H. and Nandakumar, Satyadev and Pulari, Subin},
title = {{A Weyl Criterion for Finite-State Dimension and Applications}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {65:1--65:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.65},
URN = {urn:nbn:de:0030-drops-185997},
doi = {10.4230/LIPIcs.MFCS.2023.65},
annote = {Keywords: Finite-state dimension, Finite-state compression, Weyl’s criterion, Exponential sums, Normal numbers}
}
@InProceedings{mayr:LIPIcs.MFCS.2023.66,
author = {Mayr, Peter},
title = {{On the Complexity Dichotomy for the Satisfiability of Systems of Term Equations over Finite Algebras}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {66:1--66:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.66},
URN = {urn:nbn:de:0030-drops-186007},
doi = {10.4230/LIPIcs.MFCS.2023.66},
annote = {Keywords: systems of equations, general algebras, constraint satisfaction}
}
@InProceedings{mikhelson_et_al:LIPIcs.MFCS.2023.67,
author = {Mikhelson, Margarita and Okhotin, Alexander},
title = {{Parallel Enumeration of Parse Trees}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {67:1--67:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.67},
URN = {urn:nbn:de:0030-drops-186016},
doi = {10.4230/LIPIcs.MFCS.2023.67},
annote = {Keywords: Context-free grammars, weighted grammars, parsing, parallel algorithms, matrix multiplication}
}
@InProceedings{misra_et_al:LIPIcs.MFCS.2023.68,
author = {Misra, Neeldhara and Nanoti, Saraswati Girish},
title = {{Spartan Bipartite Graphs Are Essentially Elementary}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {68:1--68:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.68},
URN = {urn:nbn:de:0030-drops-186025},
doi = {10.4230/LIPIcs.MFCS.2023.68},
annote = {Keywords: Bipartite Graphs, Eternal Vertex Cover, Perfect Matchings, Elementary, Spartan}
}
@InProceedings{nakamura:LIPIcs.MFCS.2023.69,
author = {Nakamura, Yoshiki},
title = {{On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {69:1--69:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.69},
URN = {urn:nbn:de:0030-drops-186030},
doi = {10.4230/LIPIcs.MFCS.2023.69},
annote = {Keywords: Relation algebra, First-order logic, Decidable fragment, Monoid}
}
@InProceedings{nandakumar_et_al:LIPIcs.MFCS.2023.70,
author = {Nandakumar, Satyadev and S, Akhil and Vishnoi, Prateek},
title = {{Effective Continued Fraction Dimension Versus Effective Hausdorff Dimension of Reals}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {70:1--70:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.70},
URN = {urn:nbn:de:0030-drops-186041},
doi = {10.4230/LIPIcs.MFCS.2023.70},
annote = {Keywords: Algorithmic information theory, Kolmogorov complexity, Continued fractions, Effective Hausdorff dimension}
}
@InProceedings{nogami_et_al:LIPIcs.MFCS.2023.71,
author = {Nogami, Taisei and Terauchi, Tachio},
title = {{On the Expressive Power of Regular Expressions with Backreferences}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {71:1--71:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.71},
URN = {urn:nbn:de:0030-drops-186055},
doi = {10.4230/LIPIcs.MFCS.2023.71},
annote = {Keywords: Regular expressions, Backreferences, Expressive power}
}
@InProceedings{ovcharov:LIPIcs.MFCS.2023.72,
author = {Ovcharov, Sergei},
title = {{OBDD(Join) Proofs Cannot Be Balanced}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {72:1--72:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.72},
URN = {urn:nbn:de:0030-drops-186065},
doi = {10.4230/LIPIcs.MFCS.2023.72},
annote = {Keywords: Proof complexity, OBDD, lower bounds, depth of proofs}
}
@InProceedings{pago:LIPIcs.MFCS.2023.73,
author = {Pago, Benedikt},
title = {{Lower Bounds for Choiceless Polynomial Time via Symmetric XOR-Circuits}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {73:1--73:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.73},
URN = {urn:nbn:de:0030-drops-186077},
doi = {10.4230/LIPIcs.MFCS.2023.73},
annote = {Keywords: logic in computer science, finite model theory, descriptive complexity, symmetric computation, symmetric circuits, graph isomorphism}
}
@InProceedings{papamakarios:LIPIcs.MFCS.2023.74,
author = {Papamakarios, Theodoros},
title = {{A Super-Polynomial Separation Between Resolution and Cut-Free Sequent Calculus}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {74:1--74:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.74},
URN = {urn:nbn:de:0030-drops-186085},
doi = {10.4230/LIPIcs.MFCS.2023.74},
annote = {Keywords: Proof Complexity, Resolution, Cut-free LK}
}
@InProceedings{pavietsalomon_et_al:LIPIcs.MFCS.2023.75,
author = {Paviet Salomon, L\'{e}o and Vanier, Pascal},
title = {{Realizing Finitely Presented Groups as Projective Fundamental Groups of SFTs}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {75:1--75:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.75},
URN = {urn:nbn:de:0030-drops-186098},
doi = {10.4230/LIPIcs.MFCS.2023.75},
annote = {Keywords: Subshifts, Wang tiles, Dynamical Systems, Computability, Subshift of Finite Type, Fundamental Group}
}
@InProceedings{ratschan:LIPIcs.MFCS.2023.76,
author = {Ratschan, Stefan},
title = {{Deciding Predicate Logical Theories Of Real-Valued Functions}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {76:1--76:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.76},
URN = {urn:nbn:de:0030-drops-186101},
doi = {10.4230/LIPIcs.MFCS.2023.76},
annote = {Keywords: decision procedures, first-order predicate logical theories, real numbers, real-valued functions}
}
@InProceedings{rong_et_al:LIPIcs.MFCS.2023.77,
author = {Rong, Guozhen and Yang, Yongjie and Li, Wenjun},
title = {{A Polynomial-Time Algorithm for MCS Partial Search Order on Chordal Graphs}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {77:1--77:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.77},
URN = {urn:nbn:de:0030-drops-186118},
doi = {10.4230/LIPIcs.MFCS.2023.77},
annote = {Keywords: partial search order, maximum cardinality search, chordal graphs, clique graphs, dynamic programming}
}
@InProceedings{rose_et_al:LIPIcs.MFCS.2023.78,
author = {Rose, Alex and Okhotin, Alexander},
title = {{Probabilistic Input-Driven Pushdown Automata}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {78:1--78:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.78},
URN = {urn:nbn:de:0030-drops-186120},
doi = {10.4230/LIPIcs.MFCS.2023.78},
annote = {Keywords: Finite automata, probabilistic automata, input-driven automata, visibly pushdown automata, state complexity}
}
@InProceedings{scheidt_et_al:LIPIcs.MFCS.2023.79,
author = {Scheidt, Benjamin and Schweikardt, Nicole},
title = {{Counting Homomorphisms from Hypergraphs of Bounded Generalised Hypertree Width: A Logical Characterisation}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {79:1--79:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.79},
URN = {urn:nbn:de:0030-drops-186131},
doi = {10.4230/LIPIcs.MFCS.2023.79},
annote = {Keywords: counting logics, guarded logics, homomorphism counting, hypertree decompositions, hypergraphs, incidence graphs, quantum graphs}
}
@InProceedings{schmidt_et_al:LIPIcs.MFCS.2023.80,
author = {Schmidt, Jonas and Schwentick, Thomas},
title = {{Dynamic Constant Time Parallel Graph Algorithms with Sub-Linear Work}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {80:1--80:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.80},
URN = {urn:nbn:de:0030-drops-186140},
doi = {10.4230/LIPIcs.MFCS.2023.80},
annote = {Keywords: Dynamic parallel algorithms, Undirected connectivity, Bipartiteness}
}
@InProceedings{schmidt_et_al:LIPIcs.MFCS.2023.81,
author = {Schmidt, Jonas and Schwentick, Thomas and Todtenhoefer, Jennifer},
title = {{On the Work of Dynamic Constant-Time Parallel Algorithms for Regular Tree Languages and Context-Free Languages}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {81:1--81:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.81},
URN = {urn:nbn:de:0030-drops-186152},
doi = {10.4230/LIPIcs.MFCS.2023.81},
annote = {Keywords: Dynamic complexity, work, parallel constant time}
}
@InProceedings{seppelt:LIPIcs.MFCS.2023.82,
author = {Seppelt, Tim},
title = {{Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {82:1--82:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.82},
URN = {urn:nbn:de:0030-drops-186161},
doi = {10.4230/LIPIcs.MFCS.2023.82},
annote = {Keywords: homomorphism indistinguishability, graph minor, logic}
}
@InProceedings{spenner:LIPIcs.MFCS.2023.83,
author = {Spenner, Daniel Alexander},
title = {{Decomposing Finite Languages}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {83:1--83:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.83},
URN = {urn:nbn:de:0030-drops-186173},
doi = {10.4230/LIPIcs.MFCS.2023.83},
annote = {Keywords: Deterministic finite automaton (DFA), Regular languages, Finite languages, Decomposition, Primality, Minimality}
}
@InProceedings{tsai_et_al:LIPIcs.MFCS.2023.84,
author = {Tsai, Meng-Tsung and Tsai, Shi-Chun and Wu, Tsung-Ta},
title = {{Dependent k-Set Packing on Polynomoids}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {84:1--84:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.84},
URN = {urn:nbn:de:0030-drops-186180},
doi = {10.4230/LIPIcs.MFCS.2023.84},
annote = {Keywords: Hereditary Systems, Hypergraph Matchings, Compleixty Trichotomy}
}
@InProceedings{uchizawa_et_al:LIPIcs.MFCS.2023.85,
author = {Uchizawa, Kei and Abe, Haruki},
title = {{Exponential Lower Bounds for Threshold Circuits of Sub-Linear Depth and Energy}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {85:1--85:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.85},
URN = {urn:nbn:de:0030-drops-186192},
doi = {10.4230/LIPIcs.MFCS.2023.85},
annote = {Keywords: Circuit complexity, disjointness function, equality function, neural networks, threshold circuits, ReLU cicuits, sigmoid circuits, sparse activity}
}
@InProceedings{vanee_et_al:LIPIcs.MFCS.2023.86,
author = {van Ee, Martijn and Oosterwijk, Tim and Sitters, Ren\'{e} and Wiese, Andreas},
title = {{Exact and Approximation Algorithms for Routing a Convoy Through a Graph}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {86:1--86:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.86},
URN = {urn:nbn:de:0030-drops-186205},
doi = {10.4230/LIPIcs.MFCS.2023.86},
annote = {Keywords: approximation algorithms, convoy routing, shortest path problem, traveling salesperson problem}
}
@InProceedings{vialard:LIPIcs.MFCS.2023.87,
author = {Vialard, Isa},
title = {{Ordinal Measures of the Set of Finite Multisets}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {87:1--87:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.87},
URN = {urn:nbn:de:0030-drops-186210},
doi = {10.4230/LIPIcs.MFCS.2023.87},
annote = {Keywords: Well-partial order, finite multisets, termination, program verification}
}
@InProceedings{waldburger:LIPIcs.MFCS.2023.88,
author = {Waldburger, Nicolas},
title = {{Checking Presence Reachability Properties on Parameterized Shared-Memory Systems}},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
pages = {88:1--88:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-292-1},
ISSN = {1868-8969},
year = {2023},
volume = {272},
editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.88},
URN = {urn:nbn:de:0030-drops-186225},
doi = {10.4230/LIPIcs.MFCS.2023.88},
annote = {Keywords: Verification, Parameterized models, Distributed algorithms}
}
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