Technische Berichte, Dissertationen, Studentische Arbeiten des Instituts

• Habilitationen
• Diplomarbeiten (Archiv)
• Studienarbeiten (Archiv)

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

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

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