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

Abschlüsse 1983 bis 1985 Name Titel Jahr Lehrstuhl Typ Auler, Peter Mathematische Machinen, Simulationen und parallele Systeme 1983 Hotz Diss Aziz, Magda Task-Konzept in ADA 1983 Wilhelm Dipl Balzer, Manfred Algortihmische Spezifikation abstrakter Datentypen am Beispiel der Strukturen aus Informatik I und II 1983 Loeckx Dipl Burdinsky, Hans-Gerd Ein Kontrollproblem bei Ausstrahlungen und Streuungen 1983 Krabs Dipl Eisel, Helmut Über die optimale Einbettung von Bäumen bezüglich der L1-Metrik 1983 Dipl Engel, Franz-Josef Codeerzeugung für die Programmiersprache C auf der Basis einer abstrakten Maschine 1983 Scheidig Dipl Groh, Ursula Optimale Einbettung von Graphen mit festem Rand 1983 Hotz Dipl Groß, Dieter Modale Logik für Prozeduren (totale Korrektheit) 1983 Loeckx Dipl Guthor, Rainer Praktische Erfahrungen mit der Anwendung von Software-Engineering Metoden unter besonderer Berücksichtigung von Anforderungen der On-line Transaktionsverarbeitung 1983 Wilhelm Dipl Heinrich, Oswin Eine pfadweise Konstruktion der reflektierten Brownschen Bewegung in einem konvexen Gebiet 1983 Brosamler Dipl Heubel, Thomas Spezifikation einer Datenbasis als Teil eines Mitfahrgelegenheitenvermittlungssystems 1983 Wilhelm Dipl Kather, Martin Der Kern eines verteilten Betriebssystems für ein System aus sehr vielen Prozessoren 1983 Scheidig Dipl Kaufmann, Michael Graphenauslegungen in der Ebene (für VLSI) Untersuchungen in der Kantenlänge 1983 Mehlhorn Dipl Kimmel, Christian Techniken zur Unterstützung quellsprachnahen Testens 1983 Wilhelm Dipl Klos, Horst Numerische Stabilität von schnellen Algorithmen zur Matrixinversion, speziell von Strassen 1983 Dipl Kollmann, Reinhold S-Hermitische Rand-Eigenwertprobleme im rechtsdefiniten singulären Fall 1983 Albrecht Dipl Kuske, Harald Praktische Erfahrungen bei der Entwicklung eines Bootstrap-Compilers für die Programmiersprache COMSKEE 1983 Hotz Dipl Lohmann, Dietrich Array-Konstruktoren 1983 Hotz Dipl Melekidis, Ilias Eine neue Datenstruktur zur Repräsentation sortierter Listen (eine Implementierung) 1983 Mehlhorn Dipl Nenno, Rudolf Fourierkonstruktionen mit eingeschränktem Winkelbereich 1983 Natterer Dipl Neubert, Ulrich Reorganisation gewichteter binärer Bäume beim Abstieg 1983 Mehlhorn Dipl Niedner, Michael Ein paralleles Kommunikationsschema für das Rechnernetz eines n-dimensionalen Würfels 1983 Hotz Dipl Osthof, Hans Georg Der minimale Kreis um eine endliche Punktmenge 1983 Hotz Dipl Pink, Editha Attributierung von Netzen, die Syntaxdiagramme von kontextfreien Grammatiken überlagern 1983 Hotz Dipl Raber, Hans Werner Treaps 1983 Mehlhorn Dipl Reding, Helene Anna Kompositazerlegung 1983 Hotz Dipl Schmigalla, Michael Attributierte Transformationsgrammatiken 1983 Wilhelm Dipl Schuhmacher, Franz-Rudolf Ein System zur Verwaltung getrennt übersetzbarer Einheiten der Programmiersprache ADA 1983 Wilhelm Dipl Schumacher, Helmut Über die Orientierung verschiedener Chlorophyll-Formen bei Mesotaenium caldariorum 1983 Wartenberg Diss Sieloff, Bernard ADA-Editor. Teil 2 - Aspekte der Implementierung 1983 Wilhelm Dipl Simon, Klaus Transitive Hüllen auf zufälligen, aszyklischen Diagraphen 1983 Mehlhorn Dipl Sparmann, Lutz Overrunprobleme bei Kanalprozessoren 1983 Hotz Dipl Tsakalidis, Athanasios Einige Resultate für das Wörterbuchproblem 1983 Mehlhorn Diss Utzig, Wolfgang Über die zeitabhängige Lösung des endlichen Staudamms 1983 Schmidt Dipl Weisgerber, Beatrix Attributierte Transformationsgrammatiken: Die Baumanalyse und Untersuchungen zu Transformationsstrategien 1983 Wilhelm Dipl Werle, Josef P-Variation der eindimensionalen Brownschen Bewegung 1983 Brosamler Dipl Barth, Klaus Layout und Verdrahtung von Zwei-Terminal-Netzen 1984 Dipl Becker, Michael Routing auf planaren Graphen 1984 Mehlhorn Dipl Bernhardt, Ina Probleme der physikalischen Migration von Netzwerk-Datenbanksystemen 1984 Scheidig Dipl Bohnert, Klaus Denotationelle Semantik und Hoare-Logik für eine Sprache mit Funktionsprozeduren. (Korrektheit) 1984 Loeckx Dipl Dao, N.-Hai Ein Service- und Informationsmodul für das SPESY-System 1984 Raulefs Dipl Dao, N.-Hai Ein Service- und Informationsmodul für das SPESY-System, Band 2, Programmlistings, Literaturverzeichnis 1984 Raulefs Dipl Doenhardt, Jürgen Kompaktierung Geometrischer Layouts 1984 Mehlhorn Dipl Eulenstein, Michael POCO. Ein portables System zur Generierung portabler Compiler 1984 Wilhelm Diss Gatzweiler, Barbara Arithmetische Vereinfachungen in einem Verifikationssystem 1984 Loeckx Dipl Grohs, Hermann Dynamische Simulation des Gasaustauschs in der menschlichen Lunge 1984 Trendelenburg Diss Hartz, Christoph Entwurf und Implementierung eines Logikmoduls für ein interaktives Beweissystem 1984 Loeckx Dipl Heckmann, Reinhold ELL(k)-Parsing and Efficient ELL(1)-Parser Generation 1984 Dipl Helfrich, Bettina Reduktionsalgorithmen für Gitterbasen 1984 Dipl Hemmen, Manfred Ein Scheduling-Problem auf gerichteten, azyklischen Graphen mit Baumstruktur 1984 Hotz Dipl Hertel, Stefan Sweep-Algorithmen für Polygone und Polyeder 1984 Mehlhorn Diss Kohlbecker, Michael Routing auf planaren Graphen 1984 Dipl Kuhn, Stefan Die Simulation der Kopplung zweier heterogener Netze durch einen Gateway 1984 Scheidig Dipl Lehser, Horst Prozessmodelle und Äquivalenzrelationen für parallele Prozesse 1984 Loeckx Dipl Maue, Beate Fehlerbehandlung in algebraischen Spezifikationen (initiale Semantik) 1984 Loeckx Dipl Näher, Stefan Verzögerungsunabhängige Simulation von MOS-Schaltkreisen auf dem Schalterniveau 1984 Mehlhorn Dipl Neufing, Wolfgang Programmassoziierte Netze 1984 Hotz Dipl Panagiota, Stahtatu Interpretererzeugung von einer denotationellen Semantik 1984 Loeckx Dipl Panyr, Jiri Automatische Klassifikation und Information Retrieval 1984 Diss Pfeiffer, Susanne Der Datentyp Sentence 1984 Hotz Dipl Rohnert, Hans Eine Dynamisierung des 'All Pairs Shortest Path' Problems 1984 Mehlhorn Dipl Scheuermann, Rita Ein O(|V|E5/3*|E|E2/3) Algorithmus zur Lösung des maximalen Flussproblems 1984 Hotz Dipl Schmitt, Franz-Josef Rechtwinklige Verdrathung optimaler Layouts 1984 Hotz Dipl Schramm, Hans-Peter Über das Grenzverhalten von Warteschlangen bei in Serie geschalteten Bedienungselementen 1984 Schmidt Dipl Shaodi, Gao Algorithmen für Channel-Routing 1984 Mehlhorn Dipl Sieber, Kurt Die Modale Logik der Prozeduren 1984 Loeckx Diss Stein, Wolfgang UDSCOM - Eine benutzerfreundliche Schnittstelle für das Universelle Datenbanksystem von Siemens 1984 Scheidig Dipl Wadle, Norbert Denotationalle Semantik und partielle Korrektheit für eine Algol-ähnliche Sprache mit Funktionsprozeduren (Vollständigkeit) 1984 Loeckx Dipl Weber, Paul Strukturelle und dynamische Induktion in einem Beweissystem 1984 Loeckx Dipl Weiler, Ulrike Martina Relationen auf regulären Mengen 1984 Hotz Dipl Baus, Gerd Nichtkommutative Geometrie und Graphen 1985 Hotz Diss Braun, Peter Implementierung der String-, File- und Konvertierungslaufzeitroutinen von COMSKEE auf der VAX 1985 Hotz Dipl El-Mecharrafie, Walid Ein Modell zur Simulation von Rechnernetzen 1985 Scheidig Dipl Fischer, Manfred Ein Bedienungssystem mit variabler Bearbeitungsrate 1985 Schmidt Dipl Folz, Helmut Günther Ein Beschränktheitssatz für die Torsion von 2-defizienten elliptischen Kurven über algebraischen Zahlkörpern 1985 Zimmer Diss Fries, Otfried Zerlegung einer planaren Unterteilung der Ebene und ihre Anwendungen 1985 Mehlhorn Dipl Grasmück, Reimund FERPLAN - ein wissensbasiertes System zur Fertigungsplanung in Stanzereien 1985 Wahlster Dipl Grewenig, Franz-Rudolf Probleme bei der Mehrschichtverdrahtung im Knock-Knee-Modus 1985 Mehlhorn Dipl Groß, Norbert Direkte Generierung von Parsertafeln in Form von p-Code 1985 Dipl Guldner, Andreas FERPLAN - ein wissensbasiertes System zur Fertigungsplanung in Stanzereien 1985 Wahlster Dipl Hoffmann, Kurt Ein linearer Sortieralgorithmus für die Schnittpunkte eines einfachen Polygons mit einer Linie 1985 Mehlhorn Dipl Hornung, Gerd Eine virtuelle Maschine als Basis eines experimentellen POOL-Knotens 1985 Scheidig Dipl Jansen-Winkeln, Roman M. LEGAS - Ein System zum induktiven Lernen grammatikalischer Strukturen 1985 Wahlster Dipl Kaninke, Gerd Verdrahtung im Rechteck 1985 Mehlhorn Dipl Keber, Wolfgang BISAM - ein maschinenunabhängiger Binder für Pascal-m 1985 Wilhelm Dipl Kunzler, Uwe Entwurf und Implementierung eines Remote-Job-Entry-Protokolles auf der Basis des PIX-RJE-Protokolles 1985 Scheidig Dipl Lackes, Richard Friedrich Verfahren zur Generierung LR(k)-Parser-gesteuerter Attributauswerter 1985 Wilhelm Dipl Mansfeld, Roman Direkte Generierung der Attributberechnung in Form von p-Code 1985 Wilhelm Dipl Marzinkewitsch, Reiner Iterative Monoide 1985 Hotz Dipl Mense, Dietmar Über die Komlexität von Permutationen: die Entropie bei konstanter und variabler Blocklänge 1985 Hotz Dipl Moencke, Ulrich Generierung von Systemen zur Transformation attributierter Operatorbäumen, Komponenten des Systems und Komponenten der Generierung 1985 Wilhelm Diss Neusius, Christian HSDL - eine Struktur-Beschreibungs-Sprache für hierarchische Systeme 1985 Scheidig Dipl Pistorius, Stefan Datenflussanalyse von Maschinencode-Programmen; ein generativer Ansatz 1985 Wilhelm Dipl Reinert, Bernhard Felder und name-Parameter im Rahmen der Modalen Logik der Prozeduren 1985 Loeckx Dipl Rüb, Christine Zeit- und Platzbedarf zweier Multiplizierer 1985 Dipl Schliessmeier, G. Die Implementierung des Comskee-Daten-Types Wörterbuch unter Unix 1985 Hotz Dipl Schmidt, Bernd H. Graph-Algorithmen für effiziente Laufzeitkellerimplementierung und kürzeste Wege 1985 Diss Schorr, Arno Ein System zur Einbettung abstrakter Datentypen in Pascal-Programme 1985 Loeckx Dipl Schwarz, Ulrich Eine Verkehrskreuzung als Bedienungssystem 1985 Schmidt Dipl Schwöppe, Doris FASIC 85 - ein Frage- und Antwortsystem mit natürlichsprachlicher Eingabe, implementiert in COMSKEE 1985 Hotz Dipl Schworm, Kornelia Layouts unter Berücksichtigung von Leitungsbreiten 1985 Hotz Dipl Sell, Günter Konstruktion und Regularität von d-dimensionalen Diffusionsdichten 1985 Brosamler Diss Storb, Christoph Minimierung der gewichteten Weglänge eines Graphen 1985 Mehlhorn Dipl Stutz, Harry Konstruktion geradliniger Layouts von planaren Graphen 1985 Hotz Dipl Uhrig, Christian Ein Sortiernetzwerk mit Tiefe O(log n); eine Ausarbeitung des Beweises von Paterson für das Resultat von Ajtai, Komlos und Szemeredi 1985 Mehlhorn Dipl Vogelgesang, Peter Ratio-Checking in VLSI-Schaltkreisen 1985 Lengauer Dipl Winter, Thomas Ein VLSI-Chip für Gleitkomma-Skalarprodukt mit maximaler Genauigkeit 1985 Mehlhorn Dipl Wolff, Gerhard SCCS (Synchronous Calculus of Communicating Processes); ein Kalkül zur Beschreibung der Synchronisation und Kommunikation paralleler Prozesse 1985 Loeckx Dipl

Created and designed by FdSI Impressum