| Nr. | Name | Titel | Annahme der Dissertation |
| 18 | Grund, Nico | Rekonstruktion und Verarbeitung von Objekten und Szenen aus Kamerabildern | 14.01.2013 |
| 17 | Vincon, Markus | Modellierung und Animation von computergenerierten Pflanzen | 18.12.2008 |
| 16 | Meisl, Roman | Ein verteiltes Reputationssystem zur Filterungunerwünschter E-Mails | 29.11.2006 |
| 15 | Deter, Steffen | Plug-and-Participate for Limited Devices in the Field of Industrial Automation | 19.02.2004 |
| 14 | Schröder, Axel | Globale Sichtbarkeitsalgorithmen | 02.07.2003 |
| 13 | Sohr, Karsten | Die Sicherheitsaspekte von mobilem Code | 11.07.2001 |
| 12 | Dippel, Oliver | Quantitative Untersuchungen im Internet - Optimierungsmethoden für Internet-Protokolle | 16.11.2000 |
| 11 | Vaupel, Jürgen | Modellbildung, Klassifikation und Bewertung von Algorithmen zur Fraktalen Bildkodierung | 09.07.1997 |
| 10 | Kesper, Kurt | Verteilte Verzeichnissysteme und replizierte Datenbanken | 10.06.1996 |
| 9 | Miksa, Markus | Integrierte Zeichenerkennung und Zeichensegmentierung mit Hilfe neuronaler Netze | 19.10.1995 |
| 8 | Endl, Robert | Analyse, Klassifikation und Optimierung von Octree-Strahlgeneratoren in erweiterbaren Ray Tracing Systemen | 15.02.1995 |
| 7 | Koch, Eckhard | Modellbildung, Klassifikation und Bewertung von Algorithmen in der Datenkompression | 21.06.1993 |
| 6 | Gasiorowski, Herbert | Splay: Eine dynamische Baumsuche | 10.08.1990 |
| 5 | Retter, Klaus | Kommunikationsschnittstellen informationsverarbeitender Systeme: Untersuchung einer Spezifiationsmethode | 11.07.1990 |
| 4 | Schmidt, Klaus | Konzepte zur Implementierung paralleler Programmiersprachen in verteilten Systemen | 09.03.1990 |
| 3 | Völksen, Gerd | Eine Spezifikationsmedthode für wissensbasierte Systeme zur Softwareportierung auf parallele Rechnerarchitekturen | 06.09.1989 |
| 2 | Seigis, Anton | Spezifikation und Generierung applikationsgesteuerter und struktuorientierter graphischer Editoren ------ Ein Weg zur Integration von Mensch-Maschine-Schnittstellen und Applikationsprogrammen | 24.04.1989 |
| 1 | Brandes, Thomas | Formale Methoden zur Spezifizierung automatischer Parallelisierung | 09.06.1988 |
