Wissenschaftliche Enkel über Volker Claus
- Reinhard Zumkeller, 1976
Strukturuntersuchungen an abstrakten Rechenmaschinen
- Hagen Huwig, 1976
Beziehungen zwischen beschränkter syntaktischer und beschränkter
primitiver Rekursion
- Kai Wöhl, 1978
Äquivalenzuntersuchungen an einfachen Programmen
- Axel Poigné, 1979
Zur Konstruktion freier gleichungsdefinierter Algebren in
S-monoidalen Kategorien
- Frank Wankmüller, 1982
Charakterisierung von Graphenklassen durch verbotene Strukturen und
Reduktionen
- Thomas Wilmes, 1983
Funktionale Grammatiken - Ein universelles Spezifikationsmittel
    °     1997 FH Dortmund
- Martha Seif Habashi-Malaty, 1984
Nichtdeterminismus in Programmiersprachen
- Hans Fleischhack, 1985
On diagonalizations over complexity classes
- Gerhard Hensel, 1986
Das Skolem-Problem und verwandte Entscheidungsprobleme
- Jürgen Kämper, 1989 (zusammen mit Prof. Dr. K. Ambos-Spies)
Strukturelle Untersuchungen im Umfeld der Komplexitätsklassen P und NP
unter besonderer Berücksichtigung nichtuniformer, probabilistischer und disjunktiv
selbstreduzierender Algorithmen
- Andreas Schwill, 1990
Shortest Edge-Disjoint Paths in Graphs
        1996 U Potsdam
- Ulrike Lichtblau, 1990
    °     1994 HS Bremerhaven; 2000 HS Bremerhaven
- Gerlinde Schreiber, 1994
Formale Äquivalenz von Petrinetzen
- Henning Reineke, 1995
Struktur und Verhalten von verteilten endlichen Automaten
- Wolfgang Reissenberger, 1998
Logiken für nebenläufige Systeme
Erklärung:
- Name,   Jahr der Promotion  
[Jahr der Habilitation]
        Professur an U     wann wo (Rufe wann wohin)
    °     Professur an FH   wann wo (Rufe wann wohin)
> zur Liste dessen wiss. Kinder