Technische Berichte, Dissertationen, Studentische Arbeiten der Abteilung

• Habilitationen
• Studienarbeiten (Archiv)

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

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