Supervised Bachelor Theses, Master Theses and Diploma Theses

1997

10.
Knublauch, Holger
Objektorientierte Software-Entwicklung am Beispiel des probabilistischen wissensbasierten Systems SPIRIT
Diplomarbeit
Universität Ulm
January 1997

1996

9.
Balser, Michael
Wiederverwendung von Beweisen nach Modifikation
Diplomarbeit
Universität Ulm
December 1996
8.
Schwinn, Thilo
Funktionale Implementierung grafischer Benutzeroberflächen
Diplomarbeit
Universität Ulm
April 1996

1995

7.
Walter, Joachim-Oliver
Entwicklung und Implementierung eines dreidimensionalen analytischen Modells zur Simulation eines Zerspanungsprozesses
Diplomarbeit
Universität Ulm
October 1995
6.
Röscheisen, Heinrich E.
Extraktion von Information aus algebraischen Typen auf der Basis statischer semantischer Analyse
Diplomarbeit
Universität Ulm
October 1995
5.
Ernst, Dietmar
Implementierung eines syntaxgesteuerten Editors für die Sprache NoName
Diplomarbeit
Universität Ulm
October 1995
4.
Houdek, Frank
Implementierung von first-level NoName auf einer Runtime-Stack Maschine
Diplomarbeit
Universität Ulm
September 1995
3.
Müller, Erich
Entwicklung eines Modul-Informationssystems für den NoName-Editor
Diplomarbeit
Universität Ulm
August 1995
2.
Gut, Birgit
Übersetzung funktionaler Spezifikationen in massiv-parallele Programme
Diplomarbeit
Universität Ulm
July 1995
1.
Abdul, Michael
Analyse der Rekursionsstruktur in funktionalen Programmen
Diplomarbeit
Universität Ulm
March 1995