Christian Fischer (23.07.1986) ,,Ereignisfluß-Modelle für die effiziente Si"-mulation``
Wolfgang Böhm (17.12.1986) ,,Darstellungstheorie positiv angeordneter Halbgruppen``
Rüdiger Schuster (16.06.1987) ,,Graphgrammatiken und Grapheinbettungen: Algorithmen und Komplexität``
Thomas Pinegger (17.07.1987) ,,From Equationally Defined Functions for Parallel Processes``
Friederike Nickl (04.05.1988) ,,Algebraic Specification of Semantic Domain Constructions``
Thomas Belzner (13.07.1988) ,,Cartan-Matrizen Artinscher Ringe``
Rolf Hennicker (20.07.1988) ,,Beobachtungsorientierte Spezifikationen``
Thomas Streicher (02.02.1989) ,,Correctness and Completeness of a Categorical Semantics of the Calculus of Constructions``
Heinrich Hußmann (03.02.1989) ,,Nichtdeterministische algebraische Spezifikationen``
Ralf Felter (26.07.1989) ,,Decision Support Assistant``
Christhard Flothow (28.02.1990) ,,Verbände stetiger Funktionen - Entscheidbarkeit und Definierbarkeit``
Bernhard von Stengel (11.07.1990) ,,Eine Dekompositionstheorie für mehrstellige Funktionen mit Anwendungen in der Systemtheorie und dem Operations Research``
Thomas Grünler (23.07.1990) ,,Spezifikationen höherer Ordnung``
Michael Woitass (31.07.1990) ,,Ein Modell für die Koordination von strukturierten Konversationen und seine Anwendung im Bereich CSCW``
Alfons Geser (16.11.1990) ,,Relative Termination``
Heinz Schannath (27.02.1991) ,,Polynome und streng polynomiale Algorithmen für Netzwerkfluß-Probleme``
Ruth Breu (07.06.1991) ,,Algebraic Specification Techniques in Object Oriented Programming Environments``
Thomas Rose (26.10.1991) ,,Entscheidungsorientierte Versionen- und Konfigurationenverwaltung``
Manfred Jeusfeld (24.06.1992) ,,Änderungskontrolle in deduktiven Objektbanken``
Gerhard Steinke (24.07.1992) ,,Task Based Security for Knowledge Base Systems``
Dieter Greipl (27.07.1992) ,,Passus endlicher Punktmengen mit nicht-parametri"-sierten Kurven und Oberflächen``
Heinz Kredel (12.11.1992) ,,Solvable Polynomial Rings``
Josef Scheichenzuber (17.12.1992) ,,Register-Transfer-Synthese auf der Grundlage eines einheitlichen Modells für Verhaltens- und Strukturrepräsentationen``
Hans-Joachim Röder (11.12.1992) ,,Parallele BNLC-Graphgrammatiken``
Matthias Mutz (29.07.1993) ,,Formale Beschreibung und automatische Verifikation von sequentiellen Hardwareverhalten auf der Basis von Logik höherer Ordnung``
Michael Himsolt (19.02.1993) ,,Konzeption um Implementierung von Graphen"-editoren``
Andreas Hagerer (22.02.1993) ,,Ein Schrittsteuerungsverfahren für die änderungsdatengetriebene Auswertung einer Klasse netzförmig beschriebener Berechnungsschemata``