Published in: LIPIcs, Volume 351, 33rd Annual European Symposium on Algorithms (ESA 2025)
Jonathan Dransfeld, Marvin Künnemann, and Mirza Redzic. Fine-Grained Classification of Detecting Dominating Patterns. In 33rd Annual European Symposium on Algorithms (ESA 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 351, pp. 98:1-98:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{dransfeld_et_al:LIPIcs.ESA.2025.98,
author = {Dransfeld, Jonathan and K\"{u}nnemann, Marvin and Redzic, Mirza},
title = {{Fine-Grained Classification of Detecting Dominating Patterns}},
booktitle = {33rd Annual European Symposium on Algorithms (ESA 2025)},
pages = {98:1--98:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-395-9},
ISSN = {1868-8969},
year = {2025},
volume = {351},
editor = {Benoit, Anne and Kaplan, Haim and Wild, Sebastian and Herman, Grzegorz},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2025.98},
URN = {urn:nbn:de:0030-drops-245679},
doi = {10.4230/LIPIcs.ESA.2025.98},
annote = {Keywords: fine-grained complexity theory, domination in graphs, subgraph isomorphism, classification theorem, parameterized algorithms}
}
Published in: LIPIcs, Volume 349, 19th International Symposium on Algorithms and Data Structures (WADS 2025)
Zachary Friggstad, Mohsen Rezapour, Mohammad R. Salavatipour, and Hao Sun. A QPTAS for Facility Location on Unit Disk Graphs. In 19th International Symposium on Algorithms and Data Structures (WADS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 349, pp. 27:1-27:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{friggstad_et_al:LIPIcs.WADS.2025.27,
author = {Friggstad, Zachary and Rezapour, Mohsen and Salavatipour, Mohammad R. and Sun, Hao},
title = {{A QPTAS for Facility Location on Unit Disk Graphs}},
booktitle = {19th International Symposium on Algorithms and Data Structures (WADS 2025)},
pages = {27:1--27:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-398-0},
ISSN = {1868-8969},
year = {2025},
volume = {349},
editor = {Morin, Pat and Oh, Eunjin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.WADS.2025.27},
URN = {urn:nbn:de:0030-drops-242586},
doi = {10.4230/LIPIcs.WADS.2025.27},
annote = {Keywords: Facility Location, Unit Disk Graphs, Approximation Algorithms}
}
Published in: LIPIcs, Volume 345, 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)
Michael Lampis, Valia Mitsou, Edouard Nemery, Yota Otachi, Manolis Vasilakis, and Daniel Vaz. Parameterized Spanning Tree Congestion. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 65:1-65:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{lampis_et_al:LIPIcs.MFCS.2025.65,
author = {Lampis, Michael and Mitsou, Valia and Nemery, Edouard and Otachi, Yota and Vasilakis, Manolis and Vaz, Daniel},
title = {{Parameterized Spanning Tree Congestion}},
booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)},
pages = {65:1--65:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-388-1},
ISSN = {1868-8969},
year = {2025},
volume = {345},
editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.65},
URN = {urn:nbn:de:0030-drops-241724},
doi = {10.4230/LIPIcs.MFCS.2025.65},
annote = {Keywords: Parameterized Complexity, Treewidth, Graph Width Parameters}
}
Published in: LIPIcs, Volume 348, 36th International Conference on Concurrency Theory (CONCUR 2025)
Frits Vaandrager and Ivo Melse. New Fault Domains for Conformance Testing of Finite State Machines. In 36th International Conference on Concurrency Theory (CONCUR 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 348, pp. 34:1-34:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{vaandrager_et_al:LIPIcs.CONCUR.2025.34,
author = {Vaandrager, Frits and Melse, Ivo},
title = {{New Fault Domains for Conformance Testing of Finite State Machines}},
booktitle = {36th International Conference on Concurrency Theory (CONCUR 2025)},
pages = {34:1--34:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-389-8},
ISSN = {1868-8969},
year = {2025},
volume = {348},
editor = {Bouyer, Patricia and van de Pol, Jaco},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2025.34},
URN = {urn:nbn:de:0030-drops-239843},
doi = {10.4230/LIPIcs.CONCUR.2025.34},
annote = {Keywords: conformance testing, finite state machines, Mealy machines, apartness, observation tree, fault domains, k-A-complete test suites}
}
Published in: LIPIcs, Volume 338, 23rd International Symposium on Experimental Algorithms (SEA 2025)
Stefan Funke, Claudius Proissl, and Sabine Storandt. Computing the Exact Radius of Large Graphs. In 23rd International Symposium on Experimental Algorithms (SEA 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 338, pp. 17:1-17:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{funke_et_al:LIPIcs.SEA.2025.17,
author = {Funke, Stefan and Proissl, Claudius and Storandt, Sabine},
title = {{Computing the Exact Radius of Large Graphs}},
booktitle = {23rd International Symposium on Experimental Algorithms (SEA 2025)},
pages = {17:1--17:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-375-1},
ISSN = {1868-8969},
year = {2025},
volume = {338},
editor = {Mutzel, Petra and Prezza, Nicola},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SEA.2025.17},
URN = {urn:nbn:de:0030-drops-232555},
doi = {10.4230/LIPIcs.SEA.2025.17},
annote = {Keywords: Radius, Graph Center, LP-type, Combinatorial Dimension}
}
Published in: LIPIcs, Volume 332, 41st International Symposium on Computational Geometry (SoCG 2025)
James Davies, Agelos Georgakopoulos, Meike Hatzel, and Rose McCarty. Strongly Sublinear Separators and Bounded Asymptotic Dimension for Sphere Intersection Graphs. In 41st International Symposium on Computational Geometry (SoCG 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 332, pp. 36:1-36:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{davies_et_al:LIPIcs.SoCG.2025.36,
author = {Davies, James and Georgakopoulos, Agelos and Hatzel, Meike and McCarty, Rose},
title = {{Strongly Sublinear Separators and Bounded Asymptotic Dimension for Sphere Intersection Graphs}},
booktitle = {41st International Symposium on Computational Geometry (SoCG 2025)},
pages = {36:1--36:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-370-6},
ISSN = {1868-8969},
year = {2025},
volume = {332},
editor = {Aichholzer, Oswin and Wang, Haitao},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2025.36},
URN = {urn:nbn:de:0030-drops-231881},
doi = {10.4230/LIPIcs.SoCG.2025.36},
annote = {Keywords: Intersection graphs, strongly sublinear separators, asymptotic dimension}
}
Published in: LIPIcs, Volume 327, 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)
Rutger Campbell, Bruno Guillon, Mamadou Moustapha Kanté, Eun Jung Kim, and Noleen Köhler. CMSO-Transducing Tree-Like Graph Decompositions. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 22:1-22:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{campbell_et_al:LIPIcs.STACS.2025.22,
author = {Campbell, Rutger and Guillon, Bruno and Kant\'{e}, Mamadou Moustapha and Kim, Eun Jung and K\"{o}hler, Noleen},
title = {{CMSO-Transducing Tree-Like Graph Decompositions}},
booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)},
pages = {22:1--22:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-365-2},
ISSN = {1868-8969},
year = {2025},
volume = {327},
editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.22},
URN = {urn:nbn:de:0030-drops-228474},
doi = {10.4230/LIPIcs.STACS.2025.22},
annote = {Keywords: MSO-transduction, MSO-definability, graph decomposisions}
}
Published in: LIPIcs, Volume 99, 34th International Symposium on Computational Geometry (SoCG 2018)
Jérémie Chalopin, Victor Chepoi, Feodor F. Dragan, Guillaume Ducoffe, Abdulhakeem Mohammed, and Yann Vaxès. Fast Approximation and Exact Computation of Negative Curvature Parameters of Graphs. In 34th International Symposium on Computational Geometry (SoCG 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 99, pp. 22:1-22:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{chalopin_et_al:LIPIcs.SoCG.2018.22,
author = {Chalopin, J\'{e}r\'{e}mie and Chepoi, Victor and Dragan, Feodor F. and Ducoffe, Guillaume and Mohammed, Abdulhakeem and Vax\`{e}s, Yann},
title = {{Fast Approximation and Exact Computation of Negative Curvature Parameters of Graphs}},
booktitle = {34th International Symposium on Computational Geometry (SoCG 2018)},
pages = {22:1--22:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-066-8},
ISSN = {1868-8969},
year = {2018},
volume = {99},
editor = {Speckmann, Bettina and T\'{o}th, Csaba D.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2018.22},
URN = {urn:nbn:de:0030-drops-87356},
doi = {10.4230/LIPIcs.SoCG.2018.22},
annote = {Keywords: Gromov hyperbolicity, Graphs, Geodesic metric spaces, Approximation algorithms}
}