- Bertol, Michael W.: Effiziente Normalform-Algorithmen für Ersetzungssysteme über frei partiell kommutativen Monoiden, Dissertation, 1996.
- Buchholz, Friedhelm: Hierarchische Graphen zur Wegesuche, Dissertation, 2000.
- Gellerich, Wolfgang: Ein datengesteuertes Ausführungsmodell für Programmiersprachen mit mehrfacher Wertzuweisung, Dissertation, 2000.
- Gherman, Valentin: Scalable Deterministic Logic Built-In Self-Test, Dissertation, 2006.
- Koschke, Rainer: Atomic Architectural Component Recovery for Program Understanding and Evolution, Dissertation, 2000.