| Name | Titel der Habilitationsschrift | Jahr |
| Weichert, Frank | Explikation und ubiquitäre Durchdringung Kontext-sensitiver adaptiver Sensoreinheiten in kollaborativen und semantisch divergenten Szenarien | 2019 |
| Krysta, Piotr | Approximation Techniques in Game Theory and Optimization | 2006 |
| Bollig, Beate | Complexity Theoretical Results for Restricted Branching Programs | 2003 |
| Sauerhoff, Martin | On the Resources Nondeterminism and Randomness for Branching Programs | 2003 |
| Müller-Olm, Markus | Variations on Constants | 2003 |
| Sieling, Detlef | On the Complexity of Manipulation and Representing Boolean Functions by Restricted Branching Programs or Binary Decision Diagrams | 2000 |
| Hofmeister, Thomas | Some Efficient Algorithms for Computing Combinatorial Objects | 1999 |
| Beyer, Hans-Georg | Zur Analyse der Evolutionsstrategie | 1997 |
| Herrmann, Jürgen | Maschinelles Lernen zur Unterstützung der verschiedenen Phasen des Lebenszyklus einer Wissensbasis | 1996 |
| Buchholz, Peter | A Framework for the Hierarchical Analysis of Discrete Event Dynamic Systems | 1996 |
| Brück, Rainer | Der fertigungsnahe Entwurf von Mikrosystemen | 1996 |
| Fischer, Paul | Algorithmisches Lernen | 1995 |
| Krause, Matthias | Zur Berechnung Boolescher Funktionen durch Branching Programme und Schaltkreise kleiner Tiefe - Die Veröffentlichungen 1986 - 1992 | 1993 |
| Goedicke, Michael | On the structure of Software Description Languages | 1993 |
| Ultsch, Alfred | Konnektionistische Modelle und ihre Integration mit wissensbasierten Systemen | 1991 |
| Szwillus, Gerd | Spezification of Graphical Structure editors: The Graphical Editor Generator System GEGS | 1990 |
| Eder, Elmar | Relative Complexities of First Order Calculi | 1990 |
| Ambos-Spies, Klaus | On the Structure of the Polynomial Time Degrees of Recursive Sets | 1985 |
| Kriegel, Hans-Peter | Dynamic Free-based Index-Structures for Associative Retrieval in Database System | 1982 |
| Priese, Lutz | Asynchrone, modulare Netze: Petri-Netze, Normierte Netze, APA-Netze | 1979 |
| Merzenich, Wolfgang | Allgemeine Operatornetze als Fixpunktgleichungen | 1979 |
| Dittrich, Gisbert | Diskrete Dynamische Systeme in der Informatik - Spezielle Graphmorphismen als Beschreibung von Maschinen und deren Verhalten | 1979 |