Abschlüsse 1986 bis 1987

 

 

Name Titel Jahr Lehrstuhl Typ
Badt, Peter OPTRAN - Ein System zur Generierung von Baumtransformatoren 1986 Dipl
Baltes, Harald GABI - Ein wissensbasiertes Geldanlageberatungsprogramm 1986 Wahlster Dipl
Baston, Michael Semantische Analyse für eine funktionale Porgrammiersprache mit polymorphem Typsystem 1986 Wilhelm Dipl
Bergmann, Peter Abschätzung des Kommunikationsaufwands bei Scheduling 1986 Hotz Dipl
Bertrand, Jean-Paul Schichtzuweisung unter dem Aspekt der Kontaktminimierung 1986 Hotz Dipl
Bick, Hans Walter Zur Theorie zweiseitiger nichtparametrischer Tests 1986 Schmidt Dipl
Bock, Hans-Georg Die Interndarstellung einer integrierten Programmierumgebung dargestellt als abstrakter Datentyp 1986 Loeckx Dipl
Bock, Richard BUDA - Ein System zur Beantwortung unterspezifizierter Datenbankanfragen 1986 Wahlster Dipl
Brühl, Herbert Untere Schranken für geometrische Probleme 1986 Dipl
Bühler, Roland Sortieren von Zahlen grosser Länge auf parallelen Maschinen 1986 Mehlhorn Dipl
David, Herwig Entwurf und Implementierung eines Literaturinformationssyestems als Beispiel der funktionalen Datenbankprogrammierung mit Hilfe der getypten funktionalen Sprache HOPE 1986 Wilhelm Dipl
Degenhardt, Wolfgang Eine Modulbibliothek für Pascal-m 1986 Wilhelm Dipl
Demmer, Alexander Konzept eines Generierungssystems für Codeerzeugung: Die Übertragung des p-Codes auf wechselnde Zielmaschinen 1986 Wilhelm Dipl
Deutsch, Martina IWEK - Eine Interaktive WissensErwerbsKomponente für das Expertensystem MED1 1986 Wahlster Dipl
Dewes, Wolfgang Parallele Berechnung einer speziellen Rekursionsgleichung auf verschiedenen Rechnernetzen 1986 Hotz Dipl
Doan, Quang Danh Umsetzung geometrischer Eingaben in Prozeduren 1986 Hotz Dipl
Donate, Wolfgang Ein interaktives System zur Spezifikation abstrakter Datentypen 1986 Loeckx Dipl
Dressler, Stefan Eine Methode zum Entwurf interaktiver Beweissysteme: Formale Beschreibung solcher Systeme illustriert am klassischen Hoare-Kalkül 1986 Loeckx Dipl
Fendler, Mario SYCON - Symbolische Constraint-Propagierung auf Netzwerken: Entwurf und Implementierung, Teil 2 1986 Wahlster Dipl
Halstenberg, Bernd Zweiprozessor-Kommunikationskomplexität 1986 Dipl
Hans, Mario Ein System zur Darstellung achsenparalleler Quader in COMSKEE 1986 Dipl
Hickel, Georg Eine interaktive Programmierumgebung für die funktionale Programmiersprache X 1986 Wilhelm Dipl
Höchst-Hallmann, Jutta Ein Bedienungssystem mit zustandsgeregelter Anzahl von Schaltern 1986 Schmidt Dipl
Jungfleisch, Jürgen Das Konzept der Entropie bei verschiedenen Anwendungen 1986 Dipl
Jungfleisch, Norbert Effiziente Implementierung von Kellern 1986 Mehlhorn Dipl
Klein, Thomas Denotationelle Semantik rekursiv definierter paralleler Prozesse 1986 Loeckx Dipl
Kolla, Reiner Spezifikation und Expansion logisch-topologischer Netze 1986 Hotz Diss
Kruppe, Jürgen Die Erstellung einer Back-up-Verwaltung von Mikrocomputersoftware in einem Rechnernetz 1986 Scheidig Dipl
Lang, Mathias Die algebraische Mehrgittermethode und der schnelle iterative Löser AMGO1 1986 Hotz Dipl
Lipps, Peter Komplexe Attribute; Mechanismen zur Verwaltung und Berechnung in einem baumtransformierenden System 1986 Wilhelm Dipl
Luxemburger, Reimund Eine Methode zum Entwurf interaktiver Bweissysteme; Generatoransatz und Beschreibung eines solchen Systems 1986 Loeckx Dipl
Molitor, Paul Louis Über die Bikategorie der logisch-topologischen Netze und ihre Semantik 1986 Hotz Diss
Müller, Daniela Implementation eines an der ISO-Norm orientierten Transportprotokolls für CANTUS auf VAX-11/780 unter UNIX 1986 Scheidig Dipl
Nowak, Manfred Aspekte der Kompilation und Optimierung beim HILL-System 1986 Lengauer Dipl
Olk, Matthias Gernerierung eines effizienten Attributschedulers für ein baumtransformierendes System 1986 Wilhelm Dipl
Philippi, Joachim Eine Verstärkung des Cookschen Vollstandigkeitsresultats 1986 Loeckx Dipl
Portscheller, Reiner AIDA - An Ingres with Deductive Access 1986 Wahlster Dipl
Porzberg, Michael VLSI-Implementierung eines schnellen Sortieralgorithmus basierend auf einem Netzwerk von Orthogonalen Bäumen 1986 Lengauer Dipl
Raber, Peter Listenkonstrukte und ihre Attributierung in einem System zur Generierung von Baumtransformatoren 1986 Wilhelm Dipl
Rauber, Thomas Registerverteilung und Codeselektion für wechselnde Zielmaschinen 1986 Wilhelm Dipl
Schäfer, Thomas Ein Alogorithmus zur Entscheidung der Surjektivität spezieller Grammatikhomomorphismen 1986 Hotz Dipl
Schley, Peter Vollständige Transfereinheiten vom Typ 1 1986 Wilhelm Dipl
Schweitzer, Jean Verkehrstheoretische Modelle zur Flussregelung auf der Basis lastabhängigen Gebühren 1986 Schmidt Diss
Simon, Klaus Effiziente Algorithmen für transitive Hülle, transitive Reduktion und minimale Flussprobleme 1986 Mehlhorn Diss
Soukup, Holger Untersuchungen von CMOS-spezifischen Unterbrechungsfehlern am Beispiel eines schnellen Multiplexers 1986 Hotz Dipl
Sparmann, Uwe Entwurf und Test eines Schaltkreises für das Pattern Matching 1986 Hotz Dipl
Tittelbach, Heiner Effiziente Attributspeicherwaltung für ein baumtransformierendes System 1986 Wilhelm Dipl
Treinen, Ralf Ein Kalkül für Algorithmische Spezifikationen 1986 Loeckx Dipl
Weber, Birgit Eine Methode zum Entwurf interaktiver Beweissysteme: Anwendung der Methide auf einen Hoare-Kalkül für Prozeduren 1986 Loeckx Dipl
Wichlacz, Rainer SYCON - Symbolische Constraint-Propagierung auf Netzwerken: Entwurf und Implementierung, Teil 1 1986 Wahlster Dipl
Woll, Werner WILIE - ein wissensbasiertes System zur Vereinfachung der interaktiven Literaturerfassung, Teil B 1986 Wahlster Dipl
Zell, Peter Integration der Kanaleinheit mit HILL und VENUS 1986 Mehlhorn Dipl
Barthen, Ulrike Ansatz eines Analysators von COBOL-Programmen für die Qualitätseigenschaft prüfungsgerecht 1987 Wilhelm Dipl
Bellmann, Bernd Implementierung eines Verfahrens zur Striktheitsanalyse funktionaler Programme 1987 Wilhelm Dipl
Blau, Rainer Probleme in der Definition von OCCAM 1987 Scheidig Dipl
Blum, Ernst Josef ROSY Menü-basiertes Parsing natürlicher Sprache unter besonderer Berücksichtigung des Deutschen 1987 Wahlster Dipl
Blum, Ernst Josef ROSY Menue-basiertes Parsing natürlicher Sprache unter besonderer Berücksichtigung des Deutschen 1987 Wahlster Dipl
Bollinger, Friedrich Wilhelm Fallstudie eines Systementwicklungsprozeses am Beispiel der Spezifikation eines menügestützten Dialogsystems als Benutzeroberfläche für ein Mittfahrgelegenheitenvermittlungssystem 1987 Wilhelm Dipl
Börstler, Jürgen Komprimierung statischer Tabellen für ein baumtransformierendes System 1987 Wilhelm Dipl
Bühler, Herta Korrektheitsbeweise von rekursiv beschriebenen logisch-topologischen Netzen 1987 Hotz Dipl
Fleischer, Rudolf Hans Kommunikationskomplexität von Mehrprozessorsystemen 1987 Mehlhorn Dipl
Funk, Markus Auswahl und Implementierung betriebswirtschaftlicher Ausbildungsprogramme für Mikrocomputer 1987 Scheidig Dipl
Hartmann, Joachim Ein C-Test für einen schnellen Multiplexer 1987 Hotz Dipl
Heitkamp, Michael Ein intelligenter Graphik-Editor für Stickdiagramme 1987 Mehlhorn Dipl
Hemker, Josef Durchlaufzeiten in geschlossenen Netzwerken von Warteschlangen 1987 Dipl
Heringer, Gerhard PLANAIR Wissensbasierte Anflugplanung für Verkehrsflughäfen am Beispiel des Flughafens Frankfurt am Main 1987 Wahlster Dipl
Heß, Helge Perturbierung bei geometrichen Algorithmen am Beispiel des Schnitts eines konvexen mit einem beliebigen Polyeder 1987 Mehlhorn Dipl
Jung, Bernd Wissensrepräsentation für ein intelligentes Hilfesystem 1987 Wahlster Dipl
Kaufmann, Michael Über Lokales Verdrahten von Zwei-Punkt-Netzen 1987 Mehlhorn Diss
Kirchhoff, Rainer Kontrastverstärkung und Grauwertreduktion eine experimentelle Untersuchung 1987 Hotz Dipl
Klein, Bernd Zwei Erweiterungen von OBSCURE 1987 Loeckx Dipl
König, Peter Über gemischte Finite-Elemente-Methoden zur Lösung des Plattenproblems 1987 Rannacher Dipl
Kopp, Thomas Möglichkeiten der Datenreduktion bei digitalisierten Graubildern 1987 Hotz Dipl
Kraß, Jürgen Layout Design eines verteilten Systems in Cube Connected Cycles Architektur 1987 Scheidig Dipl
Kretschmer, Thomas Grammatikalgebren 1987 Hotz Diss
Kuhn, Brigitte Entwicklung eines Previewers zur interaktiven Arbeit mit TEX 1987 Wilhelm Dipl
Lucks-Baus, Anette Implementierung funktionaler Programmiersprachen durch Kombinatoren und Berechnung von Striktheitsinformation 1987 Wilhelm Dipl
Lux, Andreas PLANAIR, Entwurf und Realisierung eines wissensbasierten Anflugplannungssystems als Alternative zu einem Branch & Bound - Verfahren 1987 Wahlster Dipl
Maurer, D. Relevanzanalyse, eine Kombination von Striktheits- und Datenflussanalyse zur effizienten Auswertung funktionaler Programme 1987 Wilhelm Diss
Metzger, Jürgen Eine Untersuchung geeigneter Netzwerke und Arbeitsverteilungsstrategien für die parallele reduktion von Kombinatorcode 1987 Wilhelm Dipl
Monz, Andrea Prettyprinter für Programmierumgebungen und ihre Generierung 1987 Loeckx Dipl
Müller, Norbert Ein Algorithmus zur Bestimmung einer Globalen Verdrahtung 1987 Mehlhorn Dipl
Näher, Stefan Dynamic Fractional Cascading oder die Verwaltung vieler linearer Listen 1987 Mehlhorn Diss
Nessen, Erich Benutzermodellierung in einem intelligenten Hilfesystem 1987 Wahlster Dipl
Sauer, Renate Generierung statischer semantischer Analyse für syntaxgesteuerte, integrierte Programmierumgebung 1987 Loeckx Dipl
Schirra, Martina Grenzwertsätze für den Markoffschen Verzweigungsprozeß mit stetiger Zeit 1987 Schmidt Dipl
Schneider, Günther WIT - Ein wissensbasiertes Textverarbeitungssystem zur Unterstützung des Textformulierens auf der Basis semantischer Netze 1987 Wahlster Dipl
Stadtmüller, Peter Untersuchungen zu Laufzeitverhalten bei balancierten Kommunikationsschemata 1987 Mehlhorn Dipl
Uhrig, Stephan Die formale Verifikation eines einfachen Übersetzers 1987 Loeckx Dipl
Voltz, Werner Brownsche Bewegung mit zwei Geschwindigkeiten 1987 Brosamler Dipl
Zhao, Feng An O(N) algorithms for three-dimensional N-body simulations 1987 Dipl
Freunde der Saarbrücker Informatik