Large-scale Randomization and Certification
Description:
The main goals of this subproject are two-fold. The first goal is to support aforementioned subprojects with an algorithm engineering approach by complementing and extending the analytical results on algorithms and dynamics. For example, we will implement network creation models and generate large instances to empirically verify their properties at scale. Similarly, we plan the simulation and experimental evaluation of a variety of population protocols. The second goal is to advance the state of art in theoretical and practical graph algorithms and data structures for massive data sets with a focus on path finding and connectivity problems. We will augment these efforts by studying the existence of compact and easily understandable “certificates” for correct execution of randomized graph algorithms that rely on, e.g., streaming, sampling, and other randomized methods.
Publications:
Ryan O'Connor, Johannes Meintrup, Maximilian Huber, Alexander Leonhardt, Manuel Penschuck, Yosuke Mizutani, Oscar Yeoh and Deepak Ajwani.
The Power of Symmetric Spanning Graphs in Public Transport.
In Bernard Fortz (ed.). Proceedings of the 12th International Network Optimization Conference, INOC 2026, Liège, Belgium, April 22-24, 2026. 2026, 129–134.
URL, DOI BibTeX@inproceedings{DBLP:conf/inoc/OConnorMHLPMYA26, author = "Ryan O'Connor and Johannes Meintrup and Maximilian Huber and Alexander Leonhardt and Manuel Penschuck and Yosuke Mizutani and Oscar Yeoh and Deepak Ajwani", editor = "Bernard Fortz", title = "The Power of Symmetric Spanning Graphs in Public Transport", booktitle = "Proceedings of the 12th International Network Optimization Conference, {INOC} 2026, Li{\`{e}}ge, Belgium, April 22-24, 2026", pages = "129--134", publisher = "OpenProceedings.org", year = 2026, url = "https://doi.org/10.48786/inoc.2026.23", doi = "10.48786/INOC.2026.23", timestamp = "Wed, 05 Aug 2026 15:14:42 +0200", biburl = "https://dblp.org/rec/conf/inoc/OConnorMHLPMYA26.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }Lukas Hintze and Manuel Penschuck.
No Time to Interact: Simulating Population Protocols at Scale.
In Philip Bille, Seth Pettie and Sabine Storandt (eds.). 34th Annual European Symposium on Algorithms, ESA 2026, L'Aquila, Italy, August 31 - September 4, 2026 388. 2026, 19:1–19:22.
URL, DOI BibTeX@inproceedings{DBLP:conf/esa/HintzeP26, author = "Lukas Hintze and Manuel Penschuck", editor = "Philip Bille and Seth Pettie and Sabine Storandt", title = "No Time to Interact: Simulating Population Protocols at Scale", booktitle = "34th Annual European Symposium on Algorithms, {ESA} 2026, L'Aquila, Italy, August 31 - September 4, 2026", series = "LIPIcs", volume = 388, pages = "19:1--19:22", publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = 2026, url = "https://doi.org/10.4230/LIPIcs.ESA.2026.19", doi = "10.4230/LIPICS.ESA.2026.19", timestamp = "Mon, 28 Sep 2026 21:21:09 +0200", biburl = "https://dblp.org/rec/conf/esa/HintzeP26.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }Lukas Geis, Daniel Allendorf, Thomas Bläsius, Alexander Leonhardt, Ulrich Meyer, Manuel Penschuck and Hung Tran.
Efficient Uniform Negative Edge Weights.
In Philip Bille, Seth Pettie and Sabine Storandt (eds.). 34th Annual European Symposium on Algorithms, ESA 2026, L'Aquila, Italy, August 31 - September 4, 2026 388. 2026, 18:1–18:19.
URL, DOI BibTeX@inproceedings{DBLP:conf/esa/GeisABLMPT26, author = {Lukas Geis and Daniel Allendorf and Thomas Bl{\"{a}}sius and Alexander Leonhardt and Ulrich Meyer and Manuel Penschuck and Hung Tran}, editor = "Philip Bille and Seth Pettie and Sabine Storandt", title = "Efficient Uniform Negative Edge Weights", booktitle = "34th Annual European Symposium on Algorithms, {ESA} 2026, L'Aquila, Italy, August 31 - September 4, 2026", series = "LIPIcs", volume = 388, pages = "18:1--18:19", publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = 2026, url = "https://doi.org/10.4230/LIPIcs.ESA.2026.18", doi = "10.4230/LIPICS.ESA.2026.18", timestamp = "Mon, 28 Sep 2026 21:21:09 +0200", biburl = "https://dblp.org/rec/conf/esa/GeisABLMPT26.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }Lukas Geis, Alexander Leonhardt, Johannes Meintrup, Ulrich Meyer, Manuel Penschuck and Lukas Retschmeier.
Revisiting a Successful Reduction Rule for Dominating Set.
In Rezaul Chowdhury, Simon J Puglisi, Bin Ren and Nate Veldt (eds.). Proceedings of the 28th Symposium on Algorithm Engineering and Experiments, ALENEX 2026, Vancouver, BC, Canada, January 11-12, 2026. 2026, 114–126.
URL, DOI BibTeX@inproceedings{DBLP:conf/alenex/GeisLM0PR26, author = "Lukas Geis and Alexander Leonhardt and Johannes Meintrup and Ulrich Meyer and Manuel Penschuck and Lukas Retschmeier", editor = "Rezaul Chowdhury and Simon J. Puglisi and Bin Ren and Nate Veldt", title = "Revisiting a Successful Reduction Rule for Dominating Set", booktitle = "Proceedings of the 28th Symposium on Algorithm Engineering and Experiments, {ALENEX} 2026, Vancouver, BC, Canada, January 11-12, 2026", pages = "114--126", publisher = "{SIAM}", year = 2026, url = "https://doi.org/10.1137/1.9781611978957.9", doi = "10.1137/1.9781611978957.9", timestamp = "Wed, 04 Mar 2026 15:59:35 +0100", biburl = "https://dblp.org/rec/conf/alenex/GeisLM0PR26.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }Lukas Geis, Dennis Hecker, Martin Hoefer, Ulrich Meyer and Marcel H Schulz.
Probing transcription factor subsets in gene regulatory networks.
Algorithms Mol. Biol. 21(1):7, 2026.
URL, DOI BibTeX@article{DBLP:journals/almob/GeisHHMS26, author = "Lukas Geis and Dennis Hecker and Martin Hoefer and Ulrich Meyer and Marcel H. Schulz", title = "Probing transcription factor subsets in gene regulatory networks", journal = "Algorithms Mol. Biol.", volume = 21, number = 1, pages = 7, year = 2026, url = "https://doi.org/10.1186/s13015-026-00297-x", doi = "10.1186/S13015-026-00297-X", timestamp = "Tue, 02 Jun 2026 15:56:22 +0200", biburl = "https://dblp.org/rec/journals/almob/GeisHHMS26.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }Gerth Stølting Brodal, Michael T Goodrich, John Iacono, Jared Lo, Ulrich Meyer, Victor Pagan, Nodari Sitchinava and Rolf Svenning.
External-Memory Priority Queues with Optimal Insertions.
In Anne Benoit, Haim Kaplan, Sebastian Wild and Grzegorz Herman (eds.). 33rd Annual European Symposium on Algorithms, ESA 2025, Warsaw, Poland, September 15-17, 2025 351. 2025, 5:1–5:14.
URL, DOI BibTeX@inproceedings{DBLP:conf/esa/BrodalGIL0PSS25, author = "Gerth St{\o}lting Brodal and Michael T. Goodrich and John Iacono and Jared Lo and Ulrich Meyer and Victor Pagan and Nodari Sitchinava and Rolf Svenning", editor = "Anne Benoit and Haim Kaplan and Sebastian Wild and Grzegorz Herman", title = "External-Memory Priority Queues with Optimal Insertions", booktitle = "33rd Annual European Symposium on Algorithms, {ESA} 2025, Warsaw, Poland, September 15-17, 2025", series = "LIPIcs", volume = 351, pages = "5:1--5:14", publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = 2025, url = "https://doi.org/10.4230/LIPIcs.ESA.2025.5", doi = "10.4230/LIPICS.ESA.2025.5", timestamp = "Thu, 25 Dec 2025 12:47:18 +0100", biburl = "https://dblp.org/rec/conf/esa/BrodalGIL0PSS25.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }Ulrich Meyer, Hung Tran and Konstantinos Tsakalidis.
Certifying Induced Subgraphs in Large Graphs.
J. Graph Algorithms Appl. 28(3):49–68, 2024.
URL, DOI BibTeX@article{DBLP:journals/jgaa/MeyerTT24, author = "Ulrich Meyer and Hung Tran and Konstantinos Tsakalidis", title = "Certifying Induced Subgraphs in Large Graphs", journal = "J. Graph Algorithms Appl.", volume = 28, number = 3, pages = "49--68", year = 2024, url = "https://doi.org/10.7155/jgaa.v28i3.2971", doi = "10.7155/JGAA.V28I3.2971", timestamp = "Tue, 15 Oct 2024 13:53:05 +0200", biburl = "https://dblp.org/rec/journals/jgaa/MeyerTT24.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }Alexander Leonhardt, Ulrich Meyer and Manuel Penschuck.
Insights into (k, \(\rho\))-Shortcutting Algorithms.
In 32nd Annual European Symposium on Algorithms, ESA 2024, September 2-4, 2024, Royal Holloway, London, United Kingdom 308. 2024, 84:1–84:17.
URL, DOI BibTeX@inproceedings{DBLP:conf/esa/Leonhardt0P24, author = "Alexander Leonhardt and Ulrich Meyer and Manuel Penschuck", title = "Insights into (k, {\(\rho\)})-Shortcutting Algorithms", booktitle = "32nd Annual European Symposium on Algorithms, {ESA} 2024, September 2-4, 2024, Royal Holloway, London, United Kingdom", series = "LIPIcs", volume = 308, pages = "84:1--84:17", publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = 2024, url = "https://doi.org/10.4230/LIPIcs.ESA.2024.84", doi = "10.4230/LIPICS.ESA.2024.84", timestamp = "Mon, 14 Oct 2024 16:58:03 +0200", biburl = "https://dblp.org/rec/conf/esa/Leonhardt0P24.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }Daniel Allendorf.
Maintaining Discrete Probability Distributions in Practice.
In Proceedings of the Symposium on Algorithm Engineering and Experiments, ALENEX 2024, Alexandria, VA, USA, January 7-8, 2024. 2024, 182–193.
URL, DOI BibTeX@inproceedings{DBLP:conf/alenex/Allendorf24, author = "Daniel Allendorf", title = "Maintaining Discrete Probability Distributions in Practice", booktitle = "Proceedings of the Symposium on Algorithm Engineering and Experiments, {ALENEX} 2024, Alexandria, VA, USA, January 7-8, 2024", pages = "182--193", publisher = "{SIAM}", year = 2024, url = "https://doi.org/10.1137/1.9781611977929.14", doi = "10.1137/1.9781611977929.14", biburl = "https://dblp.org/rec/conf/alenex/Allendorf24.bib" }Alexander Leonhardt, Holger Dell, Anselm Haak, Frank Kammer, Johannes Meintrup, Ulrich Meyer and Manuel Penschuck.
PACE Solver Description: Exact (GUTHMI) and Heuristic (GUTHM).
In 18th International Symposium on Parameterized and Exact Computation, IPEC 2023, September 6-8, 2023, Amsterdam, The Netherlands 285. 2023, 37:1–37:7.
URL, DOI BibTeX@inproceedings{DBLP:conf/iwpec/LeonhardtDHKM0P23, author = "Alexander Leonhardt and Holger Dell and Anselm Haak and Frank Kammer and Johannes Meintrup and Ulrich Meyer and Manuel Penschuck", title = "{PACE} Solver Description: Exact {(GUTHMI)} and Heuristic {(GUTHM)}", booktitle = "18th International Symposium on Parameterized and Exact Computation, {IPEC} 2023, September 6-8, 2023, Amsterdam, The Netherlands", series = "LIPIcs", volume = 285, pages = "37:1--37:7", year = 2023, url = "https://doi.org/10.4230/LIPIcs.IPEC.2023.37", doi = "10.4230/LIPICS.IPEC.2023.37", timestamp = "Wed, 13 Dec 2023 17:20:21 +0100", biburl = "https://dblp.org/rec/conf/iwpec/LeonhardtDHKM0P23.bib" }Manuel Penschuck.
Engineering Shared-Memory Parallel Shuffling to Generate Random Permutations In-Place.
In 21st International Symposium on Experimental Algorithms, SEA 2023, July 24-26, 2023, Barcelona, Spain 265. 2023, 5:1–5:20.
URL, DOI BibTeX@inproceedings{DBLP:conf/wea/Penschuck23, author = "Manuel Penschuck", title = "Engineering Shared-Memory Parallel Shuffling to Generate Random Permutations In-Place", booktitle = "21st International Symposium on Experimental Algorithms, {SEA} 2023, July 24-26, 2023, Barcelona, Spain", series = "LIPIcs", volume = 265, pages = "5:1--5:20", year = 2023, url = "https://doi.org/10.4230/LIPIcs.SEA.2023.5", doi = "10.4230/LIPICS.SEA.2023.5", timestamp = "Thu, 20 Jul 2023 16:45:52 +0200", biburl = "https://dblp.org/rec/conf/wea/Penschuck23.bib" }Daniel Allendorf, Ulrich Meyer, Manuel Penschuck and Hung Tran.
Parallel global edge switching for the uniform sampling of simple graphs with prescribed degrees.
Journal of Parallel and Distributed Computing 174:118-129, 2023.
URL, DOI BibTeX@article{ALLENDORF2023118, title = "Parallel global edge switching for the uniform sampling of simple graphs with prescribed degrees", journal = "Journal of Parallel and Distributed Computing", volume = 174, pages = "118-129", year = 2023, issn = "0743-7315", doi = "https://doi.org/10.1016/j.jpdc.2022.12.010", url = "https://www.sciencedirect.com/science/article/pii/S0743731522002623", author = "Daniel Allendorf and Ulrich Meyer and Manuel Penschuck and Hung Tran" }Ulrich Meyer, Hung Tran and Konstantinos Tsakalidis.
Certifying Induced Subgraphs in Large Graphs.
In WALCOM: Algorithms and Computation - 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22-24, 2023, Proceedings 13973. 2023, 229–241.
URL, DOI BibTeX@inproceedings{DBLP:conf/walcom/MeyerTT23, author = "Ulrich Meyer and Hung Tran and Konstantinos Tsakalidis", title = "Certifying Induced Subgraphs in Large Graphs", booktitle = "{WALCOM:} Algorithms and Computation - 17th International Conference and Workshops, {WALCOM} 2023, Hsinchu, Taiwan, March 22-24, 2023, Proceedings", series = "Lecture Notes in Computer Science", volume = 13973, pages = "229--241", year = 2023, url = "https://doi.org/10.1007/978-3-031-27051-2\_20", doi = "10.1007/978-3-031-27051-2\_20", timestamp = "Fri, 17 Mar 2023 15:41:43 +0100", biburl = "https://dblp.org/rec/conf/walcom/MeyerTT23.bib" }Thomas Bläsius, Tobias Friedrich, Maximilian Katzmann, Ulrich Meyer, Manuel Penschuck and Christopher Weyand.
Efficiently generating geometric inhomogeneous and hyperbolic random graphs.
Netw. Sci. 10(4):361–380, 2022.
URL, DOI BibTeX@article{DBLP:journals/netsci/BlasiusFKMPW22, author = {Thomas Bl{\"{a}}sius and Tobias Friedrich and Maximilian Katzmann and Ulrich Meyer and Manuel Penschuck and Christopher Weyand}, title = "Efficiently generating geometric inhomogeneous and hyperbolic random graphs", journal = "Netw. Sci.", volume = 10, number = 4, pages = "361--380", year = 2022, url = "https://doi.org/10.1017/nws.2022.32", doi = "10.1017/nws.2022.32", timestamp = "Mon, 13 Feb 2023 21:53:13 +0100", biburl = "https://dblp.org/rec/journals/netsci/BlasiusFKMPW22.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }Manuel Penschuck, Ulrik Brandes, Michael Hamann, Sebastian Lamm, Ulrich Meyer, Ilya Safro, Peter Sanders and Christian Schulz.
Recent Advances in Scalable Network Generation.
In David A Bader (ed.). Massive Graph Analytics. CRC Press, 2022, pages 333–376.
BibTeX@incollection{PBHLMSSS22, editor = "David A. Bader", author = "Manuel Penschuck and Ulrik Brandes and Michael Hamann and Sebastian Lamm and Ulrich Meyer and Ilya Safro and Peter Sanders and Christian Schulz", title = "Recent Advances in Scalable Network Generation", booktitle = "Massive Graph Analytics", pages = "333--376", year = 2022, publisher = "CRC Press" }Daniel Allendorf, Ulrich Meyer, Manuel Penschuck, Hung Tran and Nick Wormald.
Engineering Uniform Sampling of Graphs with a Prescribed Power-law Degree Sequence.
In Proceedings of the Symposium on Algorithm Engineering and Experiments, ALENEX 2022, Alexandria, VA, USA, January 9-10, 2022. 2022, 27–40.
URL, DOI BibTeX@inproceedings{DBLP:conf/alenex/Allendorf0PTW22, author = "Daniel Allendorf and Ulrich Meyer and Manuel Penschuck and Hung Tran and Nick Wormald", title = "Engineering Uniform Sampling of Graphs with a Prescribed Power-law Degree Sequence", booktitle = "Proceedings of the Symposium on Algorithm Engineering and Experiments, {ALENEX} 2022, Alexandria, VA, USA, January 9-10, 2022", pages = "27--40", publisher = "{SIAM}", year = 2022, url = "https://doi.org/10.1137/1.9781611977042.3", doi = "10.1137/1.9781611977042.3", timestamp = "Mon, 11 Apr 2022 13:26:42 +0200", biburl = "https://dblp.org/rec/conf/alenex/Allendorf0PTW22.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }Daniel Allendorf, Ulrich Meyer, Manuel Penschuck and Hung Tran.
Parallel Global Edge Switching for the Uniform Sampling of Simple Graphs with Prescribed Degrees.
In 2022 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2022, Lyon, France, May 30 - June 3, 2022. 2022, 269–279.
URL, DOI BibTeX@inproceedings{DBLP:conf/ipps/Allendorf0PT22, author = "Daniel Allendorf and Ulrich Meyer and Manuel Penschuck and Hung Tran", title = "Parallel Global Edge Switching for the Uniform Sampling of Simple Graphs with Prescribed Degrees", booktitle = "2022 {IEEE} International Parallel and Distributed Processing Symposium, {IPDPS} 2022, Lyon, France, May 30 - June 3, 2022", pages = "269--279", publisher = "{IEEE}", year = 2022, url = "https://doi.org/10.1109/IPDPS53621.2022.00034", doi = "10.1109/IPDPS53621.2022.00034", timestamp = "Fri, 22 Jul 2022 11:43:23 +0200", biburl = "https://dblp.org/rec/conf/ipps/Allendorf0PT22.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }Oliver Gebhard, Max Hahn-Klimroth, Olaf Parczyk, Manuel Penschuck, Maurice Rolvien, Jonathan Scarlett and Nelvin Tan.
Near-Optimal Sparsity-Constrained Group Testing: Improved Bounds and Algorithms.
IEEE Trans. Inf. Theory 68(5):3253–3280, 2022.
URL, DOI BibTeX@article{DBLP:journals/tit/GebhardHPPRST22, author = "Oliver Gebhard and Max Hahn{-}Klimroth and Olaf Parczyk and Manuel Penschuck and Maurice Rolvien and Jonathan Scarlett and Nelvin Tan", title = "Near-Optimal Sparsity-Constrained Group Testing: Improved Bounds and Algorithms", journal = "{IEEE} Trans. Inf. Theory", volume = 68, number = 5, pages = "3253--3280", year = 2022, url = "https://doi.org/10.1109/TIT.2022.3141244", doi = "10.1109/TIT.2022.3141244", timestamp = "Wed, 18 May 2022 10:21:10 +0200", biburl = "https://dblp.org/rec/journals/tit/GebhardHPPRST22.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }Amin Coja-Oghlan, Max Hahn-Klimroth, Philipp Loick and Manuel Penschuck.
Efficient and Accurate Group Testing via Belief Propagation: An Empirical Study.
In 20th International Symposium on Experimental Algorithms, SEA 2022, July 25-27, 2022, Heidelberg, Germany 233. 2022, 8:1–8:18.
URL, DOI BibTeX@inproceedings{DBLP:conf/wea/Coja-OghlanHLP22, author = "Amin Coja{-}Oghlan and Max Hahn{-}Klimroth and Philipp Loick and Manuel Penschuck", title = "Efficient and Accurate Group Testing via Belief Propagation: An Empirical Study", booktitle = "20th International Symposium on Experimental Algorithms, {SEA} 2022, July 25-27, 2022, Heidelberg, Germany", series = "LIPIcs", volume = 233, pages = "8:1--8:18", publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = 2022, url = "https://doi.org/10.4230/LIPIcs.SEA.2022.8", doi = "10.4230/LIPIcs.SEA.2022.8", timestamp = "Mon, 11 Jul 2022 15:33:19 +0200", biburl = "https://dblp.org/rec/conf/wea/Coja-OghlanHLP22.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }Manuel Penschuck.
Scalable generation of random graphs.
Doctoral Thesis, Universitätsbibliothek Johann Christian Senckenberg, 2021.
URL, DOI BibTeX@phdthesis{Penschuck2021, author = "Manuel Penschuck", title = "Scalable generation of random graphs", type = "Doctoral Thesis", pages = 298, school = {Universit{\"a}tsbibliothek Johann Christian Senckenberg}, url = "https://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/61035", doi = "10.21248/gups.61035", year = 2021 }Gerth Stølting Brodal, Rolf Fagerberg, David Hammer, Ulrich Meyer, Manuel Penschuck and Hung Tran.
An Experimental Study of External Memory Algorithms for Connected Components.
In 19th International Symposium on Experimental Algorithms, SEA 2021, June 7-9, 2021, Nice, France 190. 2021, 23:1–23:23.
URL, DOI BibTeX@inproceedings{DBLP:conf/wea/BrodalFH0PT21, author = "Gerth St{\o}lting Brodal and Rolf Fagerberg and David Hammer and Ulrich Meyer and Manuel Penschuck and Hung Tran", title = "An Experimental Study of External Memory Algorithms for Connected Components", booktitle = "19th International Symposium on Experimental Algorithms, {SEA} 2021, June 7-9, 2021, Nice, France", series = "LIPIcs", volume = 190, pages = "23:1--23:23", publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = 2021, url = "https://doi.org/10.4230/LIPIcs.SEA.2021.23", doi = "10.4230/LIPIcs.SEA.2021.23", timestamp = "Mon, 03 Jan 2022 22:20:17 +0100", biburl = "https://dblp.org/rec/conf/wea/BrodalFH0PT21.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }Dimitris Achlioptas, Amin Coja-Oghlan, Max Hahn-Klimroth, Joon Lee, Noëla Müller, Manuel Penschuck and Guangyan Zhou.
The number of satisfying assignments of random 2-SAT formulas.
Random Struct. Algorithms 58(4):609–647, 2021.
URL, DOI BibTeX@article{DBLP:journals/rsa/AchlioptasCHLMP21, author = {Dimitris Achlioptas and Amin Coja{-}Oghlan and Max Hahn{-}Klimroth and Joon Lee and No{\"{e}}la M{\"{u}}ller and Manuel Penschuck and Guangyan Zhou}, title = "The number of satisfying assignments of random 2-SAT formulas", journal = "Random Struct. Algorithms", volume = 58, number = 4, pages = "609--647", year = 2021, url = "https://doi.org/10.1002/rsa.20993", doi = "10.1002/rsa.20993", timestamp = "Thu, 14 Oct 2021 08:50:41 +0200", biburl = "https://dblp.org/rec/journals/rsa/AchlioptasCHLMP21.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }Petra Berenbrink, David Hammer, Dominik Kaaser, Ulrich Meyer, Manuel Penschuck and Hung Tran.
Simulating Population Protocols in Sub-Constant Time per Interaction.
In 28th Annual European Symposium on Algorithms, ESA 2020, September 7-9, 2020, Pisa, Italy (Virtual Conference) 173. 2020, 16:1–16:22.
URL, DOI BibTeX@inproceedings{DBLP:conf/esa/BerenbrinkHK0PT20, author = "Petra Berenbrink and David Hammer and Dominik Kaaser and Ulrich Meyer and Manuel Penschuck and Hung Tran", title = "Simulating Population Protocols in Sub-Constant Time per Interaction", booktitle = "28th Annual European Symposium on Algorithms, {ESA} 2020, September 7-9, 2020, Pisa, Italy (Virtual Conference)", series = "LIPIcs", volume = 173, pages = "16:1--16:22", publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = 2020, url = "https://doi.org/10.4230/LIPIcs.ESA.2020.16", doi = "10.4230/LIPIcs.ESA.2020.16", timestamp = "Thu, 16 Sep 2021 18:07:51 +0200", biburl = "https://dblp.org/rec/conf/esa/BerenbrinkHK0PT20.bib", bibsource = "dblp computer science bibliography, https://dblp.org" }Daniel Allendorf, Ulrich Meyer, Manuel Penschuck and Hung Tran.
Parallel and I/O-Efficient Algorithms for Non-Linear Preferential Attachment.
In 2023 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX). 65-76.
URL, DOI BibTeX@inproceedings{doi:10.1137/1.9781611977561.ch6, author = "Daniel Allendorf and Ulrich Meyer and Manuel Penschuck and Hung Tran", title = "Parallel and I/O-Efficient Algorithms for Non-Linear Preferential Attachment", booktitle = "2023 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX)", chapter = "", pages = "65-76", doi = "10.1137/1.9781611977561.ch6", url = "https://epubs.siam.org/doi/abs/10.1137/1.9781611977561.ch6" }
