Professur Theoretische Informatik

Diplomanden und Promovenden der Professur

Promovenden

2008

Lanka, A.: Spektrale Algorithmen: Mit Eigenwerten schwierige Probleme lösen
(zurzeit selbstständig)

2004

Schädlich, F.: Effizientes Verifizieren co-NP-vollständiger Probleme am Beispiel zufälliger 4-SAT-Formeln und uniformer Hypergraphen
(zurzeit bei: ASG Software Solutions)



Diplomanden

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
(zurzeit bei: ETAS)

2007

Fischer, F.: Effizientes Finden kleiner unabhängiger Mengen in zufälligen Graphen mit gegebener erwarteter Gradsequenz
(zurzeit bei: TU Chemnitz, Fakultät Mathematik)

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
(zurzeit bei: Interactive Data Managed Solutions AG)

2003

Berger, A.: k-erfüllbare aussagenlogische Formeln

2002

Lanka, A.: Effiziente Erkennung zufälliger, nicht-dreifärbbarer Graphen (.ps.gz)