Published in: LIPIcs, Volume 364, 43rd International Symposium on Theoretical Aspects of Computer Science (STACS 2026)
Flora Angileri, Andrea Clementi, Emanuele Natale, Michele Salvi, and Isabella Ziccardi. Threshold-Driven Streaming Graph: Expansion and Rumor Spreading. In 43rd International Symposium on Theoretical Aspects of Computer Science (STACS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 364, pp. 6:1-6:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{angileri_et_al:LIPIcs.STACS.2026.6,
author = {Angileri, Flora and Clementi, Andrea and Natale, Emanuele and Salvi, Michele and Ziccardi, Isabella},
title = {{Threshold-Driven Streaming Graph: Expansion and Rumor Spreading}},
booktitle = {43rd International Symposium on Theoretical Aspects of Computer Science (STACS 2026)},
pages = {6:1--6:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-412-3},
ISSN = {1868-8969},
year = {2026},
volume = {364},
editor = {Mahajan, Meena and Manea, Florin and McIver, Annabelle 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.2026.6},
URN = {urn:nbn:de:0030-drops-254957},
doi = {10.4230/LIPIcs.STACS.2026.6},
annote = {Keywords: Distributed Algorithms, Randomized Algorithms, Dynamic Random Graphs, Graph Expansion, Rumor Spreading}
}
Published in: LIPIcs, Volume 364, 43rd International Symposium on Theoretical Aspects of Computer Science (STACS 2026)
Artem Kaznatcheev and Sofia Vazquez Alferez. When Is Local Search Both Effective and Efficient?. In 43rd International Symposium on Theoretical Aspects of Computer Science (STACS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 364, pp. 59:1-59:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{kaznatcheev_et_al:LIPIcs.STACS.2026.59,
author = {Kaznatcheev, Artem and Vazquez Alferez, Sofia},
title = {{When Is Local Search Both Effective and Efficient?}},
booktitle = {43rd International Symposium on Theoretical Aspects of Computer Science (STACS 2026)},
pages = {59:1--59:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-412-3},
ISSN = {1868-8969},
year = {2026},
volume = {364},
editor = {Mahajan, Meena and Manea, Florin and McIver, Annabelle 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.2026.59},
URN = {urn:nbn:de:0030-drops-255480},
doi = {10.4230/LIPIcs.STACS.2026.59},
annote = {Keywords: valued constraint satisfaction problem, local search, algorithm analysis, constraint graphs, pseudo-Boolean functions, parameterized complexity}
}
Published in: LIPIcs, Volume 356, 39th International Symposium on Distributed Computing (DISC 2025)
Emilio Cruciani, Sebastian Forster, and Tijn de Vos. Towards Constant Time Multi-Call Rumor Spreading on Small-Set Expanders. In 39th International Symposium on Distributed Computing (DISC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 356, pp. 26:1-26:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{cruciani_et_al:LIPIcs.DISC.2025.26,
author = {Cruciani, Emilio and Forster, Sebastian and de Vos, Tijn},
title = {{Towards Constant Time Multi-Call Rumor Spreading on Small-Set Expanders}},
booktitle = {39th International Symposium on Distributed Computing (DISC 2025)},
pages = {26:1--26:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-402-4},
ISSN = {1868-8969},
year = {2025},
volume = {356},
editor = {Kowalski, Dariusz R.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2025.26},
URN = {urn:nbn:de:0030-drops-248434},
doi = {10.4230/LIPIcs.DISC.2025.26},
annote = {Keywords: small set expansion, vertex expansion, rumor spreading, multi-call rumor spreading, push\&pull protocol}
}
Published in: LIPIcs, Volume 354, 7th Conference on Advances in Financial Technologies (AFT 2025)
Chen-Da Liu-Zhang, Christian Matt, and Søren Eller Thomsen. Optimistic Message Dissemination. In 7th Conference on Advances in Financial Technologies (AFT 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 354, pp. 14:1-14:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{liuzhang_et_al:LIPIcs.AFT.2025.14,
author = {Liu-Zhang, Chen-Da and Matt, Christian and Thomsen, S{\o}ren Eller},
title = {{Optimistic Message Dissemination}},
booktitle = {7th Conference on Advances in Financial Technologies (AFT 2025)},
pages = {14:1--14:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-400-0},
ISSN = {1868-8969},
year = {2025},
volume = {354},
editor = {Avarikioti, Zeta and Christin, Nicolas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.AFT.2025.14},
URN = {urn:nbn:de:0030-drops-247332},
doi = {10.4230/LIPIcs.AFT.2025.14},
annote = {Keywords: flooding, message dissemination, optimistic}
}
Published in: LIPIcs, Volume 353, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2025)
Zongchen Chen, Dan Mikulincer, Daniel Reichman, and Alexander S. Wein. Time Lower Bounds for the Metropolis Process and Simulated Annealing. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 353, pp. 47:1-47:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{chen_et_al:LIPIcs.APPROX/RANDOM.2025.47,
author = {Chen, Zongchen and Mikulincer, Dan and Reichman, Daniel and Wein, Alexander S.},
title = {{Time Lower Bounds for the Metropolis Process and Simulated Annealing}},
booktitle = {Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2025)},
pages = {47:1--47:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-397-3},
ISSN = {1868-8969},
year = {2025},
volume = {353},
editor = {Ene, Alina and Chattopadhyay, Eshan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.APPROX/RANDOM.2025.47},
URN = {urn:nbn:de:0030-drops-244138},
doi = {10.4230/LIPIcs.APPROX/RANDOM.2025.47},
annote = {Keywords: Metropolis Process, Simulated Annealing, Independent Set}
}
Peter Heringer, Daniel Doerr. sqz (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@misc{dagstuhl-artifact-24320,
title = {{sqz}},
author = {Heringer, Peter and Doerr, Daniel},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:d7c4cb1cc536abc10166918dda34b0b373987c7b}{\texttt{swh:1:dir:d7c4cb1cc536abc10166918dda34b0b373987c7b}} (visited on 2025-08-15)},
url = {https://github.com/codialab/sqz},
doi = {10.4230/artifacts.24320},
}
Published in: LIPIcs, Volume 344, 25th International Conference on Algorithms for Bioinformatics (WABI 2025)
Ben Langmead. We Are What We Index; a Primer for the Wheeler Graph Era (Invited Talk). In 25th International Conference on Algorithms for Bioinformatics (WABI 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 344, pp. 2:1-2:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{langmead:LIPIcs.WABI.2025.2,
author = {Langmead, Ben},
title = {{We Are What We Index; a Primer for the Wheeler Graph Era}},
booktitle = {25th International Conference on Algorithms for Bioinformatics (WABI 2025)},
pages = {2:1--2:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-386-7},
ISSN = {1868-8969},
year = {2025},
volume = {344},
editor = {Brejov\'{a}, Bro\v{n}a and Patro, Rob},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.WABI.2025.2},
URN = {urn:nbn:de:0030-drops-239288},
doi = {10.4230/LIPIcs.WABI.2025.2},
annote = {Keywords: Indexing, Burrows-Wheeler Transform}
}
Published in: LIPIcs, Volume 344, 25th International Conference on Algorithms for Bioinformatics (WABI 2025)
Ali Ghaffaari, Alexander Schönhuth, and Tobias Marschall. DiVerG: Scalable Distance Index for Validation of Paired-End Alignments in Sequence Graphs. In 25th International Conference on Algorithms for Bioinformatics (WABI 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 344, pp. 10:1-10:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{ghaffaari_et_al:LIPIcs.WABI.2025.10,
author = {Ghaffaari, Ali and Sch\"{o}nhuth, Alexander and Marschall, Tobias},
title = {{DiVerG: Scalable Distance Index for Validation of Paired-End Alignments in Sequence Graphs}},
booktitle = {25th International Conference on Algorithms for Bioinformatics (WABI 2025)},
pages = {10:1--10:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-386-7},
ISSN = {1868-8969},
year = {2025},
volume = {344},
editor = {Brejov\'{a}, Bro\v{n}a and Patro, Rob},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.WABI.2025.10},
URN = {urn:nbn:de:0030-drops-239369},
doi = {10.4230/LIPIcs.WABI.2025.10},
annote = {Keywords: Sequence graph, distance index, read mapping, sparse matrix}
}
Published in: LIPIcs, Volume 344, 25th International Conference on Algorithms for Bioinformatics (WABI 2025)
Peter Heringer and Daniel Doerr. Human Readable Compression of GFA Paths Using Grammar-Based Code. In 25th International Conference on Algorithms for Bioinformatics (WABI 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 344, pp. 14:1-14:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{heringer_et_al:LIPIcs.WABI.2025.14,
author = {Heringer, Peter and Doerr, Daniel},
title = {{Human Readable Compression of GFA Paths Using Grammar-Based Code}},
booktitle = {25th International Conference on Algorithms for Bioinformatics (WABI 2025)},
pages = {14:1--14:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-386-7},
ISSN = {1868-8969},
year = {2025},
volume = {344},
editor = {Brejov\'{a}, Bro\v{n}a and Patro, Rob},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.WABI.2025.14},
URN = {urn:nbn:de:0030-drops-239395},
doi = {10.4230/LIPIcs.WABI.2025.14},
annote = {Keywords: pangenomics, pangenome graphs, compression, grammar-based code, byte pair encoding}
}
Published in: LIPIcs, Volume 344, 25th International Conference on Algorithms for Bioinformatics (WABI 2025)
Ahsan Sanaullah, Degui Zhi, and Shaojie Zhang. An Efficient Data Structure and Algorithm for Long-Match Query in Run-Length Compressed BWT. In 25th International Conference on Algorithms for Bioinformatics (WABI 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 344, pp. 17:1-17:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{sanaullah_et_al:LIPIcs.WABI.2025.17,
author = {Sanaullah, Ahsan and Zhi, Degui and Zhang, Shaojie},
title = {{An Efficient Data Structure and Algorithm for Long-Match Query in Run-Length Compressed BWT}},
booktitle = {25th International Conference on Algorithms for Bioinformatics (WABI 2025)},
pages = {17:1--17:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-386-7},
ISSN = {1868-8969},
year = {2025},
volume = {344},
editor = {Brejov\'{a}, Bro\v{n}a and Patro, Rob},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.WABI.2025.17},
URN = {urn:nbn:de:0030-drops-239433},
doi = {10.4230/LIPIcs.WABI.2025.17},
annote = {Keywords: BWT, LEM, Long LEM, MEM, Run Length Compressed BWT, Move Data Structure, Pangenome}
}
Published in: LIPIcs, Volume 344, 25th International Conference on Algorithms for Bioinformatics (WABI 2025)
Vikram S. Shivakumar and Ben Langmead. Partitioned Multi-MUM Finding for Scalable Pangenomics (Extended Abstract). In 25th International Conference on Algorithms for Bioinformatics (WABI 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 344, pp. 23:1-23:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{shivakumar_et_al:LIPIcs.WABI.2025.23,
author = {Shivakumar, Vikram S. and Langmead, Ben},
title = {{Partitioned Multi-MUM Finding for Scalable Pangenomics}},
booktitle = {25th International Conference on Algorithms for Bioinformatics (WABI 2025)},
pages = {23:1--23:4},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-386-7},
ISSN = {1868-8969},
year = {2025},
volume = {344},
editor = {Brejov\'{a}, Bro\v{n}a and Patro, Rob},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.WABI.2025.23},
URN = {urn:nbn:de:0030-drops-239490},
doi = {10.4230/LIPIcs.WABI.2025.23},
annote = {Keywords: Pangenomics, Comparative genomics, Compressed indexing}
}
Published in: LIPIcs, Volume 338, 23rd International Symposium on Experimental Algorithms (SEA 2025)
Davide Cozzi, Brian Riccardi, Luca Denti, Simone Ciccolella, Kunihiko Sadakane, and Paola Bonizzoni. Pangenome Graph Indexing via the Multidollar-BWT. In 23rd International Symposium on Experimental Algorithms (SEA 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 338, pp. 13:1-13:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{cozzi_et_al:LIPIcs.SEA.2025.13,
author = {Cozzi, Davide and Riccardi, Brian and Denti, Luca and Ciccolella, Simone and Sadakane, Kunihiko and Bonizzoni, Paola},
title = {{Pangenome Graph Indexing via the Multidollar-BWT}},
booktitle = {23rd International Symposium on Experimental Algorithms (SEA 2025)},
pages = {13:1--13:17},
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.13},
URN = {urn:nbn:de:0030-drops-232515},
doi = {10.4230/LIPIcs.SEA.2025.13},
annote = {Keywords: Multidollar-BWT, Graph Index, Graph Pattern Matching, Pangenome Graph}
}
Published in: LIPIcs, Volume 273, 23rd International Workshop on Algorithms in Bioinformatics (WABI 2023)
Leonard Bohnenkämper. Bridging Disparate Views on the DCJ-Indel Model for a Capping-Free Solution to the Natural Distance Problem. In 23rd International Workshop on Algorithms in Bioinformatics (WABI 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 273, pp. 22:1-22:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{bohnenkamper:LIPIcs.WABI.2023.22,
author = {Bohnenk\"{a}mper, Leonard},
title = {{Bridging Disparate Views on the DCJ-Indel Model for a Capping-Free Solution to the Natural Distance Problem}},
booktitle = {23rd International Workshop on Algorithms in Bioinformatics (WABI 2023)},
pages = {22:1--22:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-294-5},
ISSN = {1868-8969},
year = {2023},
volume = {273},
editor = {Belazzougui, Djamal and Ouangraoua, A\"{i}da},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.WABI.2023.22},
URN = {urn:nbn:de:0030-drops-186484},
doi = {10.4230/LIPIcs.WABI.2023.22},
annote = {Keywords: Comparative Genomics, Genome Rearrangement, Double-Cut-And-Join, Indels, Integer Linear Programming, Capping}
}
Published in: LIPIcs, Volume 242, 22nd International Workshop on Algorithms in Bioinformatics (WABI 2022)
Konstantinn Bonnet, Tobias Marschall, and Daniel Doerr¹. Constructing Founder Sets Under Allelic and Non-Allelic Homologous Recombination. In 22nd International Workshop on Algorithms in Bioinformatics (WABI 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 242, pp. 6:1-6:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{bonnet_et_al:LIPIcs.WABI.2022.6,
author = {Bonnet, Konstantinn and Marschall, Tobias and Doerr¹, Daniel},
title = {{Constructing Founder Sets Under Allelic and Non-Allelic Homologous Recombination}},
booktitle = {22nd International Workshop on Algorithms in Bioinformatics (WABI 2022)},
pages = {6:1--6:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-243-3},
ISSN = {1868-8969},
year = {2022},
volume = {242},
editor = {Boucher, Christina and Rahmann, Sven},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.WABI.2022.6},
URN = {urn:nbn:de:0030-drops-170403},
doi = {10.4230/LIPIcs.WABI.2022.6},
annote = {Keywords: founder set reconstruction, variation graph, pangenomics, NAHR, homologous recombination}
}
Published in: LIPIcs, Volume 242, 22nd International Workshop on Algorithms in Bioinformatics (WABI 2022)
Marília D. V. Braga, Leonie R. Brockmann, Katharina Klerx, and Jens Stoye. A Linear Time Algorithm for an Extended Version of the Breakpoint Double Distance. In 22nd International Workshop on Algorithms in Bioinformatics (WABI 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 242, pp. 13:1-13:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{braga_et_al:LIPIcs.WABI.2022.13,
author = {Braga, Mar{\'\i}lia D. V. and Brockmann, Leonie R. and Klerx, Katharina and Stoye, Jens},
title = {{A Linear Time Algorithm for an Extended Version of the Breakpoint Double Distance}},
booktitle = {22nd International Workshop on Algorithms in Bioinformatics (WABI 2022)},
pages = {13:1--13:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-243-3},
ISSN = {1868-8969},
year = {2022},
volume = {242},
editor = {Boucher, Christina and Rahmann, Sven},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.WABI.2022.13},
URN = {urn:nbn:de:0030-drops-170472},
doi = {10.4230/LIPIcs.WABI.2022.13},
annote = {Keywords: Comparative genomics, genome rearrangement, breakpoint distance, double-cut-and-join (DCJ) distance, double distance}
}