Absolventen
Promovenden
2023
Dr. Julian Pape-Lange: „Combinatorial Properties of Periodic Patterns in Compressed Strings“
2015
Dr. Lutz Falke: „Schwellwert für die Lösbarkeit von zufälligen Gleichungssystemen über Z3“
2008
Dr. André Lanka: „Spektrale Algorithmen: Mit Eigenwerten schwierige Probleme lösen“
2004
Dr. Frank Schädlich: „Effizientes Verifizieren co-NP-vollständiger Probleme am Beispiel zufälliger 4-SAT-Formeln und uniformer Hypergraphen“
Bacheloranden, Masteranden, Diplomanden
2018
Pathak, K.: „Implementation and Analysis of Selection Algorithms“
Oertel, A: „Burrows-Wheeler-Transformation - Betrachtung und Implementation“
Tietze, L.: „Belief Propagation für das aussagenlogische Erfüllbarkeitsproblem“
2017
Hanel, F.: „Lokale Suche als Lösungsalgorithmus von zufälligen Gleichungssystemen modulo 2“
2016
Bykova, O. und Nestler, B.: „Experimentelle Untersuchung der Lösbarkeitsschwelle zufälliger Gleichungssysteme über endlichen Gruppen“
2014
Nicklisch, R.: „Experimentelle Untersuchungen zum Erfüllbarkeitsproblem des Quantenrechnens (QSAT)“
2012
Anscheit, D.: „Experimentelle und theoretische Analyse von Algorithmen zur Orientierung von Hypergraphen“
2011
Ziegs, T.: „Der Bloom-Filter und seine Analyse“
2010
Tröger, A.: „Erzeugung von Getriebeschemen aus Ergebnissen der Getriebesynthese“
2008
Dietzschkau, M.: „Spektrale Partitionierung bipartiter Graphen“
Riediger, S.: „Schnelle Partitionierung von real-world- und Zufallsgraphen“
2007
Fischer, F.: „Effizientes Finden kleiner unabhängiger Mengen in zufälligen Graphen mit gegebener erwarteter Gradsequenz“
Auerbach, M.: „Schranken an die Approximierbarkeit des Knotenüberdeckungsproblems“
2006
John, M.: „Grenzen von Algorithmen zur Exploration sehr großer Graphen“
2005
Neupert, S.: „Lineare Algebra und Erfüllbarkeitsalgorithmen für zufällige Formeln“
2003
Berger, A.: „k-erfüllbare aussagenlogische Formeln“
2002
Lanka, A.: „Effiziente Erkennung zufälliger, nicht-dreifärbbarer Graphen“