Startseite Aktuell Vereinsportrait Vorstand Guenter-Hotz-Medaille Bachelor-Preis Infobrief Veranstaltungen Mitglied werden Jobs Service Alumni Netzwerk

Abschlüsse 1986 und 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

Created and designed by FdSI Impressum