Abschlüsse 1979 bis 1982

 

 

Name Titel Jahr Lehrstuhl Typ
Becker, Dieter Direkte Differenzenmethoden zur Lösung der Poisson'schen Differentialgleichung in einem Dreieck 1979 Natterer Dipl
Beierle, Hans Entwurf und Realisierung eines einfachen SPOOLing-Betriebssystems für einen Mikrocomputer 1979 Scheidig Dipl
Bubeck, Wolfgang Lösung von L2-Approximationsaufgaben mit Methoden der Optimierung 1979 Dipl
Dörner, Erich Ein Galton-Watson Prozess mit oberer deterministischer Absorbtionsschranke 1979 Schmidt Dipl
Estenfeld, Klaus Über den Zusammenhang von Pushdowntransduktionen von Bäumen und Funktorpaaren 1979 Hotz Diss
Görgen, Harald Beliebige Gewichtsveränderungenin dynamischen Bäumen; eine Implementierung 1979 Mehlhorn Dipl
Groß, Karlheinz Pagenierung höhenbalancierter Bäume 1979 Mehlhorn Dipl
Groß, Karlheinz Pagenierung höhenbalancierter Bäume 1979 Dipl
Groß, Stefan Lösung inkorrekt gestellter Aufgaben durch Optimierung 1979 Natterer Dipl
Halasz, Vera M. Der Zusammenhang zwischen der kontextfreien Analyse und der Multipliktion in Polynom- bzw. Matrizenringen 1979 Hotz Dipl
Hambuch, Peter Hinreichende Bedingungen für das Überleben von Verzweigungsprozessen 1979 Schmidt Dipl
Hans, Konrad Die Multiplikation Boolscher Matrizen 1979 Dipl
Harig, Dieter Ein allgemeines Engpaß-Optimierungsproblem 1979 Natterer Dipl
Holbach, Manfred Die Realisierung des LCF-Kommandos SIMPL durch Baumtransformatoren 1979 Wilhelm Dipl
Hubig, Roland Analyse von GTDPL-Sprachen (Teil II) 1979 Kemp Dipl
Käfer, Karl-Heinz Analyse von GTDPL-Sprachen (Teil II) 1979 Kemp Dipl
Koscielny, Eva Zur numerischen Lösung des eindimensionalen Wärmeleitungskontrollproblems mit Hilfe des bedingten Gradientenverfahrens 1979 Dörr Dipl
Krause, Alwin Untersuchungen von relationalen und assoziativen Datenstrukturen 1979 Kandzia Dipl
Lang, Norbert SAFORM - Erstellung eines Formatumwandlers für bibliotheks- und/oder dokumentationsspezifisch formatierten Daten 1979 Scheidig Dipl
Lehmann, Steffi Alphard: Experiences with a new programming language 1979 Loeckx Dipl
Mühlmeyer, Agnes Dateneingabe und Datenbankbeschreibung für das Forschungsprojekt: Das Saarbrücker Dokumentations- und Informationssystem der rechtsphilosophischen Bibliothek 1979 Scheidig Dipl
Pesch, Wilfried Stochastische Modelle bei Staudämmen mit endlicher und unendlicher Kapazität 1979 Schmidt Dipl
Pocsay, Alexander Spezielle Untersuchungen zur Regularisierung von nichtlinearen Optimierungsproblemen 1979 Dörr Dipl
Pohl, Reinhard Analysierbare Sprachen eines LR(0)-Automaten 1979 Kemp Dipl
Rauber, Rudolf Die Formeln von Engset und Erlang 1979 Schmidt Dipl
Schmidt, Diana Well-partial orderings and their maximal order types 1979 Dipl
Schmidt, Joachim Bildrekonstruktion durch quadratische Optimierung 1979 Natterer Dipl
Schminke, Dietmar Maximaler Fluss in engen Netzen: Betrachtung der Algorithmen von Ford, und Fulkerson, Steckhan, Edmonds und Karp, Dinic und Karzanow 1979 Melhorn Dipl
Schmitt, Alwine Die Umgebung zu SL 1979 Scheidig Dipl
Schülein, Peter Mathematische Ausführungen zu einem regelungstechnischen stochastischen Optimierungsproblem aus der Lagerhaltung 1979 Schmidt Dipl
Werner, Armin Ein Warteschlangenprozess mit allgemeinem Ankunftsprozess und konstanten Bedienungszeiten 1979 Schmidt Dipl
Altenhofen, Hermann-Josef Eine Analyse der impliziten Blockelimination und ihrer Anwendung bei F-E-Systemen 1980 Dipl
Barth, Walter Komplexitäts- und Strukturbetrachtung an monotonen Schaltkreisen 1980 Mehlhorn Dipl
Bellem, Herbert Suchen in mehrdimensionalen Daten 1980 Mehlhorn Dipl
Bolz, Stefan Zur Theorie der additiven Funktionale bei mehrdimensionaler Brownscher Bewegung 1980 Brosamler Diss
Breder, Michael Sortieren in Magnetblasenspeichern 1980 Hotz Diss
Brück, Arno Pascal-Testsystem: Ablaufsteuerung 1980 Wilhelm Dipl
Dorr, Hans-Jürgen Pascal Testsystem: Symbolische Ausführung 1980 Wilhelm Dipl
Dorschel, Erhard Aussagen über das Bang - Bang - Prinzip bei elliptischen und parabolischen Kontrollproblemen 1980 Dörr Dipl
Ehlers, Renate Optimales Stoppen von Makrovprozessen mit diskreter Zeit 1980 Brosamler Dipl
Färber, Bernd Eine Datenstruktur zur geräte- und anwendungsunabhängigen Repräsentierung graphischer Daten 1980 Scheidig Dipl
Gärtner, Alois Beliebige Gewichtsverminderung in D-Bäumen - eine Implementierung 1980 Mehlhorn Dipl
Hoffmann, Luitwin Schnelle Matrizenmultiplikation 1980 Hotz Dipl
Hubig, Wolfgang Stochastische Vorgänge bei der Szintigrafie 1980 Schmidt Dipl
Karst, Michael Implementierung einer Normalformtransformation 1980 Hotz Dipl
Kirbs, Karl Korrektheitsbeweise in CLU 1980 Loeckx Dipl
Kolber, Nico Ein Programmsystem zur formalen Manipulation von kontextfreien Grammatiken 1980 Hotz Dipl
Laurentius, Walter Ein Dateiverwaltungssystem auf dem Prozessrechner AEG 80-20 1980 Scheidig Dipl
Lörscher, Josef Ein LR-Scanner-Generator 1980 Wilhelm Dipl
Mencher, Günther Codeerzeugung für die COMSKEE-Zwischensprache CIL 1980 Hotz Dipl
Messerschmidt, Jan Zusammenhang zwischen Netzsprachen und Makrosprachen 1980 Hotz Diss
Pink, Axel Der Datentyp NETZ 1980 Hotz Diss
Räuchle, Thomas Automatische Implementierung von monotonen Rahmen für Datenflussprobleme 1980 Wilhelm Dipl
Ries, Manfred Implementierung und Speicherverwaltung des COMSKEE-Datentyps SET 1980 Hotz Dipl
Schütz, Jörg Der Datentyp Baum 1980 Hotz Dipl
Speicher, Roland Lokale Fehlererkennung und -verbesserung 1980 Hotz Dipl
Tsakalidis, Athanasios Sortieren, Vorsortieren, Folgen 1980 Mehlhorn Dipl
Weustenfels, Joachim Sequentielle Ersetzung mit Methoden der Erneuerungstheorie und der dynamischen Optimierung 1980 Dipl
Blum, Norbert Eine untere Schranke für die monotone Schaltkreiskomplexität von n-te Grad Convolution 1981 Mehlhorn Diss
Brück, Erich Mehrdimensionale Datenstrukturen für Partial-Match Retrieval 1981 Mehlhorn Dipl
Dietz, Lothar Fehlerschranken bei der Lösung Linearer Gleichungssyteme 1981 Natterer Dipl
Eisenbarth, Bernhard Allgemeine Randbaumanalyse und ihre Anwendung zur Untersuchnung der Overflowtechnik bei B-Bäumen 1981 Mehlhorn Dipl
Fugmann, Michael Vergleich von Optimierungsverfahren angewandt auf primale und duale Probleme 1981 Dörr Dipl
Gehres, Karl Schnelle Lösung linearer Block-Töplitz Gleichungssysteme 1981 Dipl
Hocke, Michael Marius Ein Probeprozessor für Problemorientierte Sprachen - der Wandler-FORTRAN IV - PL/I 1981 Dipl
Honecker, Stefan Das Verfahren der konjugierten Gradienten für schlecht konditionierte Matrizen 1981 Natterer Dipl
Ludwig, Oswald Rundungsfehler bei der LR-Zerlegung dünn besetzter Matrizen in fl2-Arithmetik 1981 Natterer Dipl
Morawietz, Hubert Einbettung von Linien und binären Bäumen in binäre Bäume 1981 Mehlhorn Dipl
Schmidt, Werner Ein Interpreter für Prolog 1981 Loeckx Dipl
Schneider, Detlef Einheitliche Behandlung diskreter, schneller unitärer Transformationen 1981 Natterer Dipl
Schneider, Günther Dynamische Logik und ihre Anwendbarkeit bei Korrektheitsbeweisen von Programmen 1981 Loeckx Dipl
Schneider, Martina Paketorientierte Übertragungsdienste in Verteilten Systemen 1981 Wilhelm Dipl
Schwarz, Horst-Erich DAME - Eine Betrachtung zur künstlichen Intelligenz über das Beispiel des 2-Personen-Nullsummenspiels DAME, Teil 1 1981 Mehlhorn Dipl
Simon, Hans-Ulrich Komplexitätsbetrachtungen rationaler Baum- und Netzmengen 1981 Hotz Diss
Vieh, Klaus-Peter Nachbarschaftsmatrizen von Endlichen Multidigraphen und Multigraphen 1981 Andre Dipl
Backes, Christine (2,4)-Bäume 1982 Mehlhorn Dipl
Becker, Bernd Über die kreuzungsfreie, rechtwinklige Einbettung von gewichteten Graphen in die Ebene 1982 Hotz Diss
Bistrich, Walburga Die Transformation von statischen Datenstrukturen in dynamische 1982 Mehlhorn Dipl
Darsch, Stefan VLSI: Addition und Multiplikation von Binärzahlen 1982 Mehlhorn Dipl
Dewald, Bruno Ein Transferprogramm, das Programme geschrieben in einer Teilmenge der Sprache ALPHARD in äquivalente PASCAL-Programme überführt 1982 Loeckx Dipl
Dithmar, Wolfram Implementierung eines Compiler-erzeugenden-Systems auf einem Mikrorechner: der Attributierungsgenerator 1982 Wilhelm Dipl
Essig, Gerhard Simulation konventioneller Programmkonstrukte in Prolog 1982 Loeckx Dipl
Fissgus, Ursula Brigitte Darstellungssätze für Chomsky-0 und Chomsky-1 Sprachen 1982 Hotz Dipl
Frick, Helmut MEDUSA Der Mehrrechner-Durchschalte-Satellitenrechner des Rechenzentrums der Universität des Saarlandes 1982 Scheidig Diss
Gerhard, Wolfgang Dietrich Zur Perkolation im eingeschränkten Zahlengitter 1982 Brosamler Dipl
Güttler, Reiner Die Erzeugung optimalen Codes für series-parallel-graphs in polynomieller Zeit 1982 Mehlhorn Diss
Hoferichter, Wolfgang Anwendbarkeit und Vergleich verschiedener Methoden für partielle Korrektheitsbeweise in Bezeichnungssemantik 1982 Loeckx Dipl
Jakobs, Franz-Josef Implementierung eines Compiler-Generators auf einem Mikro-Rechner: Intraktives Lernprogramm 1982 Wilhelm Dipl
Jung, Alfons Anfangs-Randregularität bei semilinearen parabolischen Differentialgleichungen 1982 Tomi Dipl
Kasper, Udo ADA-Editor, Teil I, Grundlagen 1982 Wilhelm Dipl
Klein, Adrian Ort der Regularisierung bei schlechtgestellten Problemen 1982 Natterer Dipl
Kolla, Reiner Untere Schranken für VLSI 1982 Hotz Dipl
Licher, Veronika Pascal Testsystem Simplifier 1982 Wilhelm Dipl
Molitor, Paul Louis Kolmogorov Komplexität 1982 Hotz Dipl
Oberhauser, Hans-Georg Ein LALR(1)-Parsergenerator 1982 Wilhelm Dipl
Orchowski, Rudolf Die Übersetzung regulärer Ausdrücke in integrierte Schaltkreise 1982 Mehlhorn Dipl
Pesch, Antonius Die Maximum-Likelhood-Schätzung bei einparametrigen Exponentialfamilie 1982 Schmidt Dipl
Pfahler, Peter Ein LR-Scanner-Generator 1982 Wilhelm Dipl
Plank, Lothar Lösung schlecht gestellter Probleme durch Regularisierung :Bestimmung des optimalen Regularisierungsparameters durch Cross-Validation 1982 Natterer Dipl
Sahl, Marika Beta - Datenmanipulationssprache zu einer relationalen Datenbank 1982 Mehlhorn Dipl
Schauch, Claudia LexikographischeAnordnung von Klassen geordneter Bäume 1982 Kemp Dipl
Schmauch, Claudia Lexikographische Anordnung von Klassen geordneter Bäume 1982 Dipl
Spies, Gaby Wortidentifikation mit Fehlererkennung 1982 Mehlhorn Dipl
Spurk, Reinhard Modularisierung von SRL(1)-Analysetabellen und deren Optimierung 1982 Scheidig Dipl
Strothmann, Rolf Aspekte der Kommunikation in Systemen mit sehr vielen Prozessen 1982 Hotz Diss
Freunde der Saarbrücker Informatik