Technical Reports, Doctoral Theses, Student Theses of the Institute

• Postdoctoral Qualifications
• Diploma Theses (archive)
• Student Theses (archive)

• Lohrey, Markus: Computational and logical aspects of infinite monoids, Postdoctoral Qualification, 2003.
• Petersen, Holger: Gegenseitige Simulation von Datenstrukturen, Postdoctoral Qualification, 2003.

• Gocke, Norman: Optimale Partitionierung von markierten Graphen mit Hilfe genetischer Algortihmen, Diploma Thesis No. 2055, 2003.
• Häcker, Claudius: Automatische Korrektheitsprüfung von Formeln und Programmen, Diploma Thesis No. 2065, 2003.

• Kiefer, Stefan: Die Menge der Virtuellen Verbindungen im Spiel Hex ist PSPACE-vollständig, Student Thesis No. 1887, 2003.