Abschlüsse 1976 bis 1978

 

 

Name Titel Jahr Lehrstuhl Typ
Alt, Helmut Eine untere Schranke für den Platzbedarf bei der Analyse beschränkter kontextfreier Sprachen 1976 Mehlhorn Diss
Breder, Michael Implementierung und Speicherverwaltung dynamischer Zeichenketten 1976 Hotz Dipl
Dammasch, Ingolf E. Über Komplexitäten von Netzwerken und Turing-Maschinen 1976 Hotz Dipl
Engstler, Lothar Untersuchungen zu Implementierungsmodellen für Algol-ähnliche Sprachen 1976 Kandzia Dipl
Estenfeld, Klaus Ein funktorieller Zusammenhang zwischen einer beliebigen kontextfreien Sprache und der Greibachsprache 1976 Hotz Dipl
Fröder, Manfred EIn Algorithmus zur Äquivalenzprüfung von Algol-68 modes 1976 Mehlhorn Dipl
Fuchs, Heinz Analytische Untersuchungen von Seitenaustauschalgorithmen 1976 Spaniol Dipl
Groß, Gerhard Dualitätssätze mit verallgemeinerten Kuhn-Tucker-Bedingungen 1976 Dörr Dipl
Günther, Eugen LR(k)-Algorithmus von R. Kemp für A-minimale Automaten 1976 Hotz Dipl
Höh, Fred Der LR(k)-Algorithmus von R. Kemp für z-minimale Automaten 1976 Hotz Dipl
Jannasch, Hermann Untersuchungen zu Modellen für Prozedur-Laufzeit-Systeme 1976 Kandzia Dipl
Kayen, Peter Praktische Versuche in der Particle-In-Cell Methode 1976 Natterer Dipl
Klein, Hans-Joachim Einige Untersuchungen über Programme mit schwacher most-recent Eigenschaft 1976 Kandzia Dipl
Köpp, Harald Das Ritz-Galerkin Verfahren für lineare parabolische Kontrollprobleme 1976 Natterer Dipl
Lutz, Michael Untersuchung eines Zeitscheibenmodells mit Hilfe von stochastischen Prozessen 1976 Schmidt Diss
Messerschmidt, Jan Untersuchungen an Klammersprachen 1976 Hotz Dipl
Robert, Jürgen Über Beziehungen zwischen P-Tafeln und charakteristischen Gleichungssystemen linearer endlicher Automaten 1976 Kandzia Dipl
Roos, Hartmut Untersuchung von ALOHA-Netzwerken mit mehreren Benutzerfrequenzen 1976 Spaniol Dipl
Schmidt, Bernd Die mit k linear beschränkten Zählern berechenbaren Funktionen 1976 Hotz Dipl
Schmidt, Hartwig Kantenzüge in Graphen mit Indizierten Kanten 1976 Dipl
Schmidt, Werner Untersuchungen über die Auswirkungen der most-recent-Eigenschaft von Programmen Algol-ähnlicher Sprachen auf Laufzeitsysteme 1976 Langmaack Dipl
Schmitt, Ulrich SAMSAD ein System zur Ablaufsteuerung, Messdatenerfassung und Strukturanalyse der Daten 1976 Hotz Diss
Schneider, Gerd Optimale Klammerung von Matrizenprodukten 1976 Mehlhorn Dipl
Spanier, Walter Strengste verallgemeinerte notwendige Optimalitätskriterien vom Kuhn-Tucker-Typ der nichtlinearen Optimierung 1976 Dörr Dipl
Stadel, Manfred Das Normalisierungsproblem und der Zusammenhang mit der Zeitkomplexität der kontextsensitiven Analyse 1976 Hotz Diss
Theobald, Konrad H. Theorie der Berechenbarkeit von Computerogrammen auf der Grundlage der Topologie 1976 Hotz Dipl
Auler, Peter Eine benutzerorientierte Datenbank für Bio-Messdaten 1977 Hotz Dipl
Battlehner, Hans-Peter Verarbeitung einfacher Programmiersprachen auf einer Grossrechenanlag 1977 Scheidig Dipl
Büch, Erwin Die Simulationssprache CSMP und ihr Einsatz bei der Untersuchung des dynamischen Verhaltens von Regelkreisen 1977 Jaschek Dipl
Conrad, Ursula Zur Semantikdefinition von Algol-ähnlichen Programmen mit Hilfe der sogenannten Ausführungen 1977 Kandzia Dipl
Daewel, Dietrich Notwendige Optimalitätskriterien für verallgemeinerte Optimierungsaufgaben 1977 Dörr Dipl
Engel, Hedi Simulation der SIG50-Leitungsprozedur auf der PDP8/A mit einem Zusatzprogramm zur direkten Übertragung einer PDP-OS-Datei zum TR440 1977 Scheidig Dipl
Gräber, Wolfgang Untersuchungn zur Optimierung des Dialogbetriebes des Rechnesystems TR440/TR86S 1977 Hotz Diss
Grau, Konrad Simulation eines Algorithmus zur Analyse kontextfreier Sprachen 1977 Hotz Dipl
Grün, Helmut Modifizierte Verzweigungsprozesse mit gegenseitiger Beeinflussung 1977 Schmidt Dipl
Güttler, Reiner Binäre Suchbäume 1977 Mehlhorn Dipl
Harine, Jean-Claude Untersuchung über Modularität von Algol-ähnlichen Programmiersprachen 1977 Mehlhorn Dipl
Huynh, Thiet-Dung Funktorieller Zusammenhang zwischen formalen Sprachen 1977 Hotz Dipl
Jeannelle, Michel Erfahrungen und Durchführung von Beweisen in LUCID 1977 Loeckx Dipl
Klein, Harald Zur formalen Definition von Implementierungsmodellen in Meta IV 1977 Kandzia Dipl
Maurer, Roland Finite-Elemente-Methode für parabolische Anfangawertprobleme 1977 Natterer Dipl
Michel, Jeannelle Erfahrungen und Durchführungen von Beweisen in LUCID 1977 Dipl
Müller, Volker Approximation von Spielen über dem Einheitsquadrat 1977 Andre Dipl
Philippi, Wolfgang Die Methode der finiten Elemente 1977 Dipl
Preuß, Birgid Optimalität von totalsingulären Kontrollen 1977 Schmidt Dipl
Quy, Van Mögliche Realisierung von einigen Seitenersetzungsalgorithmen in Einprogrammbetrieb und in Mehrprogrammbetrieb 1977 Spaniol Dipl
Rathjens, Peter Steife Differentialgleichungen 1977 Dipl
Rink, Manfred Die Erstellung eines Compilers für die höhere Systemprogrammiersprache SL: Leseprogramme und dynamische Speicherverwaltung 1977 Scheidig Dipl
Rosar, Peter Das Multiprogramming-System RC 4000 und das Teilnehmer-BetriebssystemBS 3 des Telefunken-Rechners 440: Beschreibung, Vergleich, partielle Simulation 1977 Spaniol Dipl
Schneider, Robert Dirichletsche Reihen bei der Exponentialapproximation 1977 Dörr Dipl
Schneider, Wolfgang Binäre Suchbäume 1977 Mehlhorn Dipl
Schuh, Hans-Joachim Die Erstellung eines Compilers für die höhere Systemprogrammiersprache SL: der Algorithmus von de Remer, die Semantik 1977 Scheidig Dipl
Thome, Klaus Die Erstellung eines Compilers für die höhere Systemprogrammiersprache SL: der Vorlauf, statische Prüfungen 1977 Scheidig Dipl
Vogelgesang, Maria Das CORDIC-Verfahren zur Approximation elementarer Funktionen im Vergleich mit anderen Verfahren 1977 Spaniol Dipl
Weidner, Wolfgang Der topologische und algebraische Abschluss freier x-Kategorien 1977 Diss
Wernet, Norbert Binäre Suchbäume 1977 Mehlhorn Dipl
Altenkamp, Doris Nahezu optimale Peäfixcodes bei beliebigen Codesymbolkosten und beliebiger Wahrscheinlichkeitsverteilung der zu codierenden Symbole 1978 Mehlhorn Dipl
Becker, Bernd Ein Algebraischer Beweis der Hauptsätze der Komplexen Multiplikation 1978 Frey Dipl
Becker, Hans-Jürgen Optimierung von symbolischen Maschinenprogrammen 1978 Hotz Dipl
Berberich, Roland Die Erstellung eines Vermittlungsrechnersystems auf einer AEG 80-20 1978 Scheidig Dipl
Blum, Norbert Bäume beschränkter Balance 1978 Mehlhorn Dipl
Commentz-Walter, Beate Tradeoff zwischen Grösse und Tiefe boolescher Formeln 1978 Mehlhorn Diss
Dilg, Hans-Jürgen Darstellung diskreter, altersabhängiger Verzweigungsprozesse als Markoff'sche Prozesse 1978 Schmidt Dipl
Dupre, Rudolf Ein Verfahren zur Approximation im Komplexen mit Exponentialsummen 1978 Dörr Dipl
Ehrmantraut, Walter Die Bandkomplexität eines erweiterten Pushdown-Automaten zur Reduktion binärer Bäume 1978 Kemp Dipl
Engel, Michael Verallgemeinerte Inverse von Matrizen bei der Lösung linearer Gleichungssysteme.Verfahren zur Berechnung der Moore-Penrose-Inversen. 1978 Dipl
Eulenstein, Michael Die Entwicklung eines Verfahrens zur Aufnahme pathologischer Diagnosen in eine benutzerorientierte Datenbank 1978 Hotz Dipl
Fabro, Alberto del Kompakte dynamische Bäume; eine Implementierung 1978 Mehlhorn Dipl
Fels, Jutta Entwicklung eines intelligenten Arbeitsplatzes auf der Basis des Intel SYS 80/10 1978 Scheidig Dipl
Fickinger, Edgar Die Implementation der Leitungeprozeduren SPKC und HDLC auf einem Prozessrechner AEG 80-20 1978 Scheidig Dipl
Fuchs, Gudrun Herleitung und Anwendung von Grenzwertsätzen im superkritischen allgemeinen altersabhängigen Verzweigungsprozeß 1978 Schmidt Dipl
Glasner, Ingrid Formale Beweise über while-Programme: ein Kalkül und sein Modell 1978 Loeckx Dipl
Groß, Traute Margit Ein Formatgenerator und Datenerfassungssystem implementiert auf dem Intel 8080 1978 Scheidig Dipl
Hagen, Michael Implementierung von Finite-Elemente-Programmen zur Lösung von zwei- und dreidimensionalen Potentialproblemen bei der Risstiefenbestimmung nach dem zerstörungsfreien elektrischen Durchströmungsverfahren 1978 Scheidig Dipl
Hans, Konrad Die Multiplikation boolscher Matrizen (; praktische Auswertung und Zeitkomplexität) 1978 Mehlhorn Dipl
Heidrich, Siegmund Die Lösung des Wortproblemes für kontextfreie Sprachen durch eine LD(E2)(N)-bandbeschränkte off-line Turingmaschine nach Hartmanis. Ein Simulationsprogramm 1978 Kemp Dipl
Huynh, Thiet-Dung Durch Wahrscheinlichkeitsverteilungen induzierte Komplexitätsmasse 1978 Hotz Diss
Joa, Petra Über das Wachstumsverhalten eines speziellen Zustandsabhängigen Verzweigungsprozesses 1978 Schmidt Dipl
Kamps, Thomas Die Semantik von Schemata und ihre Darstellung im Kalkül LCF 1978 Loeckx Dipl
Kunz, Adolf Schleifenoptimierung durch Intervalle 1978 Hotz Dipl
Leinenbach, Hans-Joachim Algorithmen zum Aufbau und zur Manipulation von Warteschlangen 1978 Mehlhorn Dipl
Lex, Roman Spezielle Optimale Steuerungen bei Beschränkungen im Zustandsraum und linear auftretender Steuerfunktion 1978 Dörr Dipl
Luxenburger, Werner Die Bedeutung der Low-Value-Property in der Optimierung und ihr Verhältnis zu wichtigen Constraint Qualifications 1978 Dörr Dipl
Maximini, Alfred Untersuchung eines Warteschlangenmodells mit unterbrochener Bedienung 1978 Schmidt Dipl
Messerig, Ruth Die Invarianz der LL(k) Eigenschaft context-freier Grammatiken unter einigen Normalformtransformationen 1978 Hotz Dipl
Mohr, Rudolf Die Erstellung eines Vermittlungsrechnersystems mit Texthaltungauf Disketten auf dem Kleinrechner OMRON 8025 1978 Scheidig Dipl
Müller, Klaus Gottfried Wartephänomene in einem Bedienungssystem mit zwei Warteräumen und alternierender Bedienung durch ein Bedienungselement 1978 Schmidt Dipl
Musseleck, Karl Entwicklung eines Sichtgerätegruppenanschlusses (SGA) mit dem Mikrocomputersystem INTEL SBC 80/10 1978 Scheidig Dipl
Nauke, Gudela Spezielle Untersuchungen des Tangentenkegels hinsichtlich seiner Bedeutung in den Constraint-Qualifications der nichtlinearen Optimierung 1978 Dörr Dipl
Perlbach, Brigitte Die Entwicklung und Programmierung einer Datendefinitionssprache zu einer relationalen Datenbank 1978 Mehlhorn Dipl
Pokorny, Vera Zur Charakterisierung von Minimallösungen bei der linearen Tschebyscheffapproximation mit Exponentialsummen in der komplexen Ebene 1978 Dörr Dipl
Reinshagen, Horst Dynamische Binärbäume; eine Implementierung 1978 Mehlhorn Dipl
Roscheck, Michael Verfahren zum Entwurf eines Teilnehmer-Rechensystems für die kaufmännischen Berufs- und Fachschulen des Saarlandes 1978 Spaniol Dipl
Sacksen, Jörn Dualitätssätze für im Lösungspunkt nichtreguläre Optimierungsprobleme 1978 Dörr Dipl
Sacksen, Jörn Dualitätssätze für im Lösungspunkt nichtreguläre Optimierungsprobleme 1978 Dörr Dipl
Schmauch, Cosima Übersetzung von Normalformtransformationen mithilfe (sic!) von Push-Down-Transduktoren 1978 Hotz Dipl
Schmitz, Klaus-Dirk Ein Benutzerorientiertes Datenbanksystem nach dem Relationen-Modell zur Aufnahme pathologischer Befunddaten 1978 Hotz Dipl
Sevenig, Joachim Analyse und Modifikation eines Microprozessorgesteuerten Helixdruckers 1978 Scheidig Dipl
Simon, Hans-Ulrich Wortprobleme bei Gruppen und kontextfreie Analyse 1978 Hotz Dipl
Spaniol, Peter SABAV - Entwicklung eines intelligenten Arbeitsplatzes zur Automatisierung der Ausleihe einer Bibliothek 1978 Scheidig Dipl
Speicher, Alfred Ternäre Suchbäume 1978 Mehlhorn Dipl
Stein, Wolfgang Das Optimieren von Markoffschen Erneuerungsprozessen bei randomisierter Aktionswahl 1978 Schmidt Dipl
Tsagarakis, Marcos Korrektheitsbeweis und NLOGN Implementierung des HU Algorithmus 1978 Mehlhorn Dipl
Weber, Reinhard Eindeutigkeitsaussagen bei mehrdimensionalen Kontrollproblemen parabolischer Differentialgleichungen: Suprenum-Norm Probleme 1978 Dörr Dipl
Wendel, Harald Die Transformation für ein zweidimensionales komplexes Datenfeld und ihre maschinelle Bearbeitung 1978 Scheidig Dipl
Wenderoth, Manfred Fehlerschranken vom Jackson-Typ bei der Tschebyscheff-Approximation mit Exponentialsummen über dem unbeschränkten Intervall [0,unendlich) 1978 Dörr Dipl
Wenderoth, Manfred Fehlerschranken vom Jackson-Typ bei der Tschebyscheff-Approximation mit Exponentialsummen über dem unbeschränkten Intervall 0 bis unendlich 1978 Dörr Dipl
Freunde der Saarbrücker Informatik