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
Freunde der Saarbrücker Informatik