Abschlüsse 1992 bis 1993

 

 

Name Titel Jahr Lehrstuhl Typ
Basenach, Dirk Scanline-Algorithmen zur Layout-Verifikation 1992 Mehlhorn Dipl
Bloß, Martina Die parabolische Hamilton-Jacobi-Bellman Gleichung und ihre numerische Lösung durch Mehrgitter-Verfahren 1992 Louis Diss
Dausend, Beate Zum Verschlüsselungsverfahren von T. ElGamal 1992 Buchmann Dipl
Dedorath, Jürgen Parallele Berechnung von Fluessen in Netzwerken 1992 Mehlhorn Dipl
Diagne, Abdel Kader HyperSN. Eine hypermedia-orientierte Wissensrepräsentationswerkbank für die Entwicklung von Tutorensystemen. Dargestellt an einem Beispiel aus dem deutschen Gesellschaftsrecht 1992 Wahlster - Herberger Dipl
Engelmann, Curd Simulation von PRAM's 1992 Paul Dipl
Formella, Arno Leistung und Güte numerischer Vektorrechnerarchitekturen 1992 Paul Diss
Fouotsop-Meli, Henri Eine Anwendung des Backpropagation-Algorithmus zur Steuerung eines Roboterarmes 1992 Paul Dipl
Füllen, Georg Sichere Pseudo-Zufalls-Generatoren 1992 Dipl
Gill, Christian Implementierung von parallelem Ray-Tracing auf Datis-P-32 1992 Paul Dipl
Grande, Bernd Verfahren zur hierarchischen Schichtzuweisung und ihre Implementierung in CADIC 1992 Hotz Dipl
Greim, Michael PHOENICS - Eine interaktive, inkrementelle Programmierumgebung für Pascal 1992 Wilhelm Dipl
Groß, Bettina Algorithmen zum Linienschnitt-Problem 1992 Wilhelm Dipl
Guan, Yonggang Klammergrammatiken, Netzgrammatiken und Interpretation von Netzen 1992 Hotz Diss
Hartmann, Joachim Analyse und Verbesserung der probalistischen Testbarkeit kombinatorischer Schaltungen 1992 Hotz Diss
Hauck, Christian Zur Lösung linearer Gleichungssysteme in endlichen Körpern mit Hilfe der strukturierten Gaußelimination 1992 Buchmann Dipl
Heck, Matthias Karl Diffusion auf dem Sierpinski gasket, die unter lokalen Isometrien invariant sind 1992 Brosamler Dipl
Hecking, Matthias Eine logische Behandlung der verteilten und mehrstufigen Planerkennung 1992 Wahlster Diss
Hector, Günter SIGER. Schema-basierte Generierung von Dialogbeiträgen in einem intelligenten Hilfesystem 1992 Wahlster Dipl
Heimig, Ingo Übersicht über den momentanen Stand der High-Level Synthese 1992 Hotz Dipl
Hontoy, Francoise Arrangements von Hyperebenen mit Anwendungen 1992 Mehlhorn Dipl
Hundehege, Johannes-Bernhard Effiziente Compilation funktionaler Module einer algebraischen Spezifikationssprache 1992 Cryer Diss
Käppner, Karin Analysen zur Übersetzung von FORK -Teil 1- 1992 Wilhelm Dipl
Kaufmann, Michael Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1992 Mehlhorn Habil
Keller, Jörg Zur Realisierbarkeit des PRAM Modelles 1992 Paul Diss
Keller, Paul Spezifikation und Implementierung eines Ada-Font-Ends mittels übersetzer-erzeugender Systeme. Teil 1: Deklarationen, Nameclass-Analyse und Transformationen 1992 Wilhelm Dipl
Kronz, Andreas Die Parallelisierung und Implementierung der APL-Funktionen Grade Up/Grade Down und Indexing auf dem Multiorzessorsystem Datis-P 1992 Paul Dipl
Kyriakos, Ikonomidis Konstruktion von Voronoi-Diagramm durch Sweepline-Technik 1992 Mehlhorn Dipl
Landwehr, Erik KREDIT-BERATER Ein wissensbasiertes System zur Beurteilung von Nichtigkeitsaspekten eines Verbraucherkreditvertrages 1992 Dipl
Lassen, Renate Generische Datenabhängigkeitsanalyse für imperative Programmiersprachen 1992 Paul Dipl
Leitges, Thomas Die Definition von Modulen und Moduloperationen in der Programmiersprache Hoppla 1992 Loeckx Dipl
Maaß, Wolfgang Constraint-basierte Plazierung in multimodalen Dokumenten am Beispiel des Layout-Managers in WIP 1992 Wahlster Dipl
Martial, Frank von Coordinating Plans of Autonomous Agents 1992 Siekmann Diss
Merscher, Patrick Standards für objektorientiertes Programmieren in der Computeralgebra 1992 Buchmann Dipl
Meyer, Bernd E. Bit-Commitment-Schemes and Zero-Knowledge 1992 Buchmann Dipl
Naumann-Kipper, Petra Interaktive Beweissysteme und Arthur-Merlin-Beweissysteme 1992 Buchmann Dipl
Obe, Alexander Bestimmung von Arbeitslast durch partielles Decompilieren zur Leistungsbewertung von Rechnern 1992 Paul Diss
Oberhausen, Patrick Trace Scheduling 1992 Paul Dipl
Oster, Manfred Ein optimierender Traceschedulingcompiler für den Vektorrechner SPARK 2.0 1992 Paul Dipl
Paul, Margit Implementierung eines Algorithmus um eine Kreisscheibe durch eine Ansammlung von Polygonen zu bewegen 1992 Mehlhorn Dipl
Paulus, Sachar Algorithmen für endliche abelsche Gruppen 1992 Buchmann Dipl
Präcklein, Axel Integration of Rewriting, Narrowing, Compilation, and Heuristics for Equality Reasoning in Resolution-Based Theorem Proving 1992 Siekmann Diss
Roidl, Klaus-Peter Induktionsmethoden durch Konsistenzbeweise 1992 Loeckx Dipl
Roth, Ralf LiPS. Ein System für verteilte Anwendungen 1992 Buchmann Dipl
Samkian, Emik VV-XPS. Ein Expertensystem zur Ermittlung absetzbarer Werbungskosten und Sonderausgaben bei Einkünften aus Vermietung und Verpachtung 1992 Wahlster Dipl
Schäfer, Heike Sichtbarkeitsgraphen von Liniensegmenten und Kreisen 1992 Mehlhorn Dipl
Schirra, Stefan Approximative Bewegungsplanungsverfahren 1992 Mehlhorn Diss
Schmidt, Dietmar Bewertung und Optimierung von CPU-Architekturen für VAX- und IBM/370-Instruktionsansätze 1992 Paul Diss
Schmitt, Arno Semantische Grundlagen der PRAM-Sprache FORK 1992 Paul Diss
Schmitt, Ernst Ein Branch und Bound-Algorithmus für das Traveling Salesman Problem 1992 Mehlhorn Dipl
Schmitt, Reinhold MAIDAI. Ein System zur Begründungsverwaltung von Default-Assertionen 1992 Wahlster Dipl
Schnabel, Jörg Generierung der Stromversorgung in CADIC 1992 Hotz Dipl
Scholl, Christoph Mehrstufige Logiksynthese unter Ausnutzung von Symmetrien und nichtrivialen Zerlegungen 1992 Hotz Dipl
Schöpfer, Volker Partielle Auswertung für die funktionale Programmiersprache Hope 1992 Wilhelm Dipl
Schweizer, Martin Symbolische Kommunikation und verteilte Hypertextarchitekturen 1992 Scheidig Dipl
Simon, Thomas Erweiterung der VLSI-Entwurfsumgebung HILL um nicht-rechteckige Zellstrukturen 1992 Mehlhorn Dipl
Standfuss, Anette Konnektionistische Methoden 1992 Dipl
Steiner, Barbara Visualisierung der abstrakten Maschine MaMa 1992 Wilhelm Dipl
Stella, Sergio Entwurf und Implementierung eines inkremenmtellen Binders basierend auf Comskee 1992 Hotz Dipl
Stella, Sergio Entwurf und Implementierung eines inkrementellen Binders basierend auf Comskee 1992 Hotz Dipl
Thiel, Christian Zur Identität von IP und ZK 1992 Buchmann Dipl
Thiel, Christoph Zur Theorie interaktiver Beweissysteme mit mehreren Provern 1992 Buchmann Dipl
Urban, Karsten Beschränktheitsprinzipien in der Theorie der rationalen Approximation 1992 Dipl
Walle, Thomas Entwurf, Bau und Test eines effizient testbaren Gleitkommaaddierers auf einer kommerziellen Sea-of-Gate Struktur 1992 Paul Dipl
Welter, Markus Analysen und Übersetzung von FORK - Teil 2 - 1992 Wilhelm Dipl
Wenzel, Michael Wörterbücher für ein beschränktes Universum 1992 Mehlhorn Dipl
Wichert, Andreas Konzeption und Implementierung Kaskadierter Kohonen-Netzwerke im MTC-Modell am Beispiel der Spracherkennung 1992 Wahlster Dipl
Wichert, Andreas MTC1. 0-Simulatur. Zusatz zur Diplomarbeit. Inkl. 2 Disketten 1992 Wahlster Dipl
Wolf, Markus Semantische Grundlagen einer Verbindung zwischen algebraischer und algorithmischer Spezifikationsmethode 1992 Loeckx Dipl
Zimmer, Nicole Die Konstruktion abstrakter Voronoidiagramme 1992 Mehlhorn Dipl
Albers, Susanne The Influence of Lookahead in Competative On-Line Algorithms 1993 Mehlhorn Diss
Bamberger, Marc Eine Anwendung eines Kohonennetzwerkes zur Steuerung eines Roboterarmes 1993 Paul Dipl
Bartholomes, Jutta Gitterbasisreduktion im Reellen 1993 Buchmann Dipl
Bast, Holger Fast Parallel Space Allocation, Estimation and Integer Sorting 1993 Mehlhorn Dipl
Berger, Franz-Dieter ECM. Faktorisierung mit elliptischen Kurven 1993 Buchmann Dipl
Biehl, Ingrid Eine Grundlegung der Average-Case Komlexitätstheorie 1993 Buchmann Diss
Birk, Andreas Beschreibung und Implementierung eines lernenden Systems 1993 Paul Dipl
Biwersi, Michael uSiC ein kleiner Silicon Compiler 1993 Hotz Dipl
Blaess, Jochen Implementierung eines hierarchischen Informationsflußsystems 1993 Mehlhorn Dipl
Böschen, Christoph CHRISTMAS. Eine abstrakte Maschine für O'small 1993 keine Angaben Dipl
Braune, Beatrix SiATeX. Eine interaktive Arbeits- und Graphikumgebung für TeX unter dem X11 Window System 1993 Wilhelm Dipl
Brettar, Christoph muSIC - ein kleiner Silicon Compiler: regelbasierte Bausteinanpassung und Schaltkreisoptimierung 1993 Hotz Dipl
Buhmann, Peter Disunifikation in modularen Termalgebren 1993 Loeckx Dipl
Buschauer, Bela Modulare Konzeption einer Werkbank für Tree Adjoining Grammars mit einer inkrementellen Konsistenzprüfung 1993 Wahlster Dipl
Denny, Markus Oswald Monotones Häufen und Token Distribution auf dem Hypercube 1993 Mehlhorn Dipl
Denny, Thomas Friedrich Faktorisieren mit dem Quadratischen Sieb 1993 Buchmann Dipl
Dierstein, Anne Parallelisierung mit automatischer Datenaufteilung für imperative Programmiersprachen. Teil 1: Parallelisierungsstrategie 1993 Wilhelm Dipl
Emde, Katja Alternativer Seitenumbruch für logisch ausgezeichnete Dokumente 1993 Wilhelm Dipl
Emmerich, Martin Netzlistenextraktion aus einem hierarchischen Syntaxgraphen 1993 Hotz Dipl
Feiler, Jürgen Algorithmen zur Bewertung von Optionen 1993 Buchmann Dipl
Fleischer, Rudolf Hans Genaue Analyse einiger kombinatorischer Algorithmen 1993 Mehlhorn Diss
Freitag, Hartmut Methoden zur modellbasierten Diagnose von Systemen mit komplexer Struktur und zeitabhängigem Verhalten 1993 Neumann Diss
Fritz, Markus Kollisionserkennung in der Objektmontage 1993 Hotz Dipl
Gammel, Rainer Algorithmen zur Triangulierung von Polygonen 1993 Mehlhorn Dipl
Gapp, Klaus-Peter Berechnungsverfahren für räumliche Relationen in 3D-Szenen 1993 Wahlster Dipl
Gimmler, Manfred Mehrfach-Punkte der d-dimensionalen Brownschen Bewegung 1993 Brosamler Dipl
Haak, Evelyn Untere Schranken für das Union-Find-Problem 1993 Mehlhorn Dipl
Hagerup, Torben Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1993 Mehlhorn Habil
Hammes, Dominik Visualisierung und Fortschrittskontrolle eines eigenständig lernenden Systems 1993 Paul Dipl
Handl, Ralf Sicherheit kryptographischer Protokolle 1993 Buchmann Diss
Hayer, Roman Parallelisierung mit automatischer Datenaufteilung für imperative Programmiersprachen. Teil 2: Automatische Datenaufteilung 1993 Wilhelm Dipl
Heib, Silvia Semantisch gesteuerte Suchprozesse in hybriden Repräsentationssystemen 1993 Wahlster Dipl
Heinsohn, Jochen Ein hybrider Ansatz zur Modellierung von Unsicherheit in terminologistischen Logiken 1993 Wahlster Diss
Helders, Johannes Die Splitter-Finding-Methode für das Maximum-Weight-Matching-Problem 1993 Mehlhorn Dipl
Jacobs, Stefan Über Negation im logischen Programmieren 1993 Smolka Dipl
Jakobi, Christoph Typüberprüfung in einer Programmiersprache des polymorphen lambda-Kalküls höherer Ordnung: HOPPLA 1993 Loeckx Dipl
Kone, Habibatou INKOPA: Ein INkrementeller KOnnektionistischer PArser für natürliche Sprache 1993 Wahlster Dipl
Korn, Heinfried Lastverteilungsstrategien für die Parallele G-Maschine 1993 Wilhelm Dipl
Kremer, Stephanie Fehlersimulation in sequentiellen Schaltkreisen 1993 Hotz Dipl
Kudenko, Daniel RAT - Repräsentation von Aktionen mit Terminologischen Logiken 1993 Wahlster Dipl
Lajevardi, Behzad Convex Hulls 1993 Mehlhorn Dipl
Lakehsar, Asif Rashid Lokalisierung von Punkten in der Ebene durch persistente Suchbäume 1993 Mehlhorn Dipl
Lenhof, Hans-Peter Distanz- und Suchprobleme in der algorithmischen Geometrie und Anwendungen in der Bioinformatik 1993 Hotz Diss
Lillig, Joachim Ein Compiler für die Programmiersprache FORK 1993 Paul Dipl
Meiser, Stefan Zur Konstruktion abstrakter Voronoiddiagramme 1993 Mehlhorn Diss
Mestmäcker, Frank Kleine Winkel beim Zeichnen planarer Graphen 1993 Kaufmann Dipl
Mohammadzadeh, Parinaz Darstellung eines Graphen mit minimaler Überkreuzung der Kanten in der Ebene 1993 Wilhelm Dipl
Müller, G. Anwendung der Evolutionsstrategie zur Lastverteilung paralleler funktionaler Programme 1993 Wilhelm Dipl
Müller, Michael Entwicklung eines Chips für auslöschungsfreie Summation von Gleitkommazahlen 1993 Mehlhorn Diss
Ohlbach, Hans Jürgen Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1993 Ganzinger Habil
Olinga, Guy Francois Berechnung von Signalwahrscheinlichkeiten in kombinatorischen Schaltkreisen 1993 Hotz Dipl
Papanikolaou, Thomas libF - eine lange Gleitpunktarithmetik 1993 Buchmann Dipl
Pitsch, Gisela Analyse von Klammergrammatiken 1993 Hotz Diss
Poller, Peter Inkrementelles und direktes Parsing von Local Dominance / Tree Linear Precedence - Tree Adjoining Grammars 1993 Wahlster Dipl
Pooladian, Hamid-Reza Design eines zeitoptimalen Baum-Multiplizierers mit Hilfe der HILL-Entwurfsumgebung 1993 Mehlhorn Dipl
Portz, Sascha Darstellung und Implementierung polynomieller und streng polynomieller Algorithmen für das Minimum-Cost-Flow-Problem 1993 Mehlhorn Dipl
Preis, Bettina Ein NP-vollständiges Plazierungsproblem 1993 Mehlhorn Dipl
Quapp, Joachim Ein- und Mehrschreiber-Systeme zur Handschrifterkennung mit Neuronalen Netzen 1993 Hotz Dipl
Raasch, Ingo Negation in Constraint-basierten Grammatikformalismen 1993 Uszkoreit Dipl
Rao, Nageswara S.V.;Kareti, Srikumar;Shi, Weimin;Iyengar, S. Sitharama Robot navigation in unknown terrains 1993 Dipl
Reinert, Knut Deferred Data Structuring 1993 Mehlhorn Dipl
Scheja, Ortwin Resolution in mehrwertigen Logiken höherer Stufe 1993 Siekmann Dipl
Scheuermann, Gerhard Eine Schachproblemdatenbank mit integrierter Problemlösungskomponente 1993 Mehlhorn Dipl
Schneider, Achim Konnektionistische Simulation adaptiver Leistungen des Flugsteuersystems der Wanderheuschrecke 1993 Wahlster Dipl
Schneider, Markus E. Zweidimensionale Objekte in LEDA mit homogenen Koordinaten 1993 Mehlhorn Dipl
Schommer, Christoph PAPADEUS: Ein inkrementeller konnektionistischer Parser mit einer parallelen Disambiguierungskomponente 1993 Wahlster Dipl
Schwarz, Christian Data Structures and Algorithms for the Dynamic Closest Pair Problem 1993 Mehlhorn Diss
Seibel, Steffen Rekonstruktion des Geschwindigkeitsfeldes seismischer Wellen durch Laufzeitmessungen 1993 Louis Dipl
Sinnwell, Markus Simulation von Roboterbewegungen mit On-Line Kollisionserkennung 1993 Hotz Dipl
Soetopo, Dudung Marjono Automatisierung des Text-Layouts beim Design multimodaler Systeme 1993 Wahlster Dipl
Stopp, Eva GEO-ANTLIMA: Konstruktion dreidimensionaler mentaler Bilder aus sprachlichen Szenenbeschreibungen 1993 Wahlster Dipl
Teia, Boris Ein Beitrag zum k-Server-Problem 1993 Mehlhorn Diss
Uhrig, Christian Lower and Upper Bounds for Operations on Sets 1993 Mehlhorn Diss
Ulrich, Benzing Parametrisierter Entwurf eines schnellen 1024Bit-Multiplizierers unter Verwendung des VLSI-Entwurfssystems CADIC 1993 Molitor Dipl
Vogelgesang, Timo Generische Vektorisierung imperativer Programmiersprachen 1993 Wilhelm Dipl
Weber, Damian Ein Algorithmus zur Zerlegung von Primzahlen in Primideale 1993 Buchmann Dipl
Weigele, Martin Mathematisches Informations-Engineering, Daten- und Transaktions-orientierter Softwareentwurf oder Transaktionen in der Wissensrepräsentation 1993 Habel Diss
Weller, Roland Eine Anpassungseinrichtung zur Übertragung von Daten über das öffentliche Fernsprechnetz 1993 Dipl
Westhofen, Dorothea Die Verwendung abstrakter Datentypen, Teammigration und eine potentielle Parallelverarbeitung in BirliX 1993 Scheidig Dipl
Winckler, Jörg PYRAMID Ein Rahmensystem zur verteilten und mehrstufigen Planerkennung 1993 Wahlster Dipl
Ziemer, Jörg Ein Planaritätstest für Graphen 1993 Mehlhorn Dipl
Zimmermann, Detlev AnnA II: Ein wissensbasiertes System zur automatischen Annotation von Graphiken 1993 Wahlster Dipl
Freunde der Saarbrücker Informatik