Abschlüsse 1998

 

 

Name Titel Jahr Lehrstuhl Typ
Adamy, Udo Very fast Planar Point Location? 1998 Seidel Dipl
Backes, Werner Berechnung kürzester Gittervektoren 1998 Mehlhorn Dipl
Baumeister, Hubert Relations between Abstract Datatypes modeled as Abstract Datatypes 1998 Ganzinger Diss
Birkenhauer, Christoph Das Dialoggedächtnis des Übersetzungssystems Verbmobil 1998 Wahlster Dipl
Bohnenberger, Thorsten DKBI - Eine Deduktive Wissensbasis für die Agentenarchitektur INTERRAP 1998 Siekmann Dipl
Brune, Carsten Interaktives Werkzeug zur Integration des Java Abstract Windowing-Toolkits in ein User-Interface-Management-System 1998 Scheidig Dipl
Comes, Jochen Implementierung von Perturbationen für geometrische Algorithmen 1998 Seidel Dipl
Dell, Peter Analyse der Auswirkung von Mechanismen zur Out-of-Order Execution auf die Leistung moderner RISC Architecturen 1998 Paul Dipl
Eckstein, Jens Echtzeitfähige Kollisionserkennung für Virtual Reality Anwendungen 1998 Hotz Diss
Feld, Thomas Analyse und Implementierung von Algorithmen zum Minimum Cost Circulation Problem 1998 Mehlhorn Dipl
Fischer, Jörg Entwurf und Realisierung der Netzwerkplatinen der SB-PRAM 1998 Paul Dipl
Follert, Frank Geometrische Optimierungsalgorithmen mit Anwendungen in der Planung stereotaktischer Operationen 1998 Hotz Diss
Fox, Alexander Entwurf und Implementierung eines Video-On-Demand-Servers 1998 Paul Dipl
Friedrich, Stefan Integration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment 1998 Ganzinger Dipl
Fritsch, Lothar Secure Anonymous Communication in Electronic Markets: Design and Implementation for SEMPER 1998 Pfitzmann Dipl
Fuhrmann, Arthur Approximation konvexer Polyeder in der Hausdorff-Metrik 1998 Hotz Dipl
Gerteis, Nikolaus D. Die Auswirkung von Mechanismen für die präzise Interruptbehandlung auf den Cyclecount von RISC-Prozessoren 1998 Paul Dipl
Groß, Wolfgang Hash-basierte Verfahren für Tape-Disk-Joins in relationalen Datenbanksystemen 1998 Weikum Dipl
Hoffmann, Jochen Charakterisierung ferromagnetisch dünner Schichten mittels elektromagnetischer Prüfverfahren 1998 Dipl
Hoffmann, Ulrich Mentor at the Web 1998 Weikum Dipl
Iven, Jan Tertiärspeicher in multimedialen Informationssystemen am Beispiel eines News-On-Demand-Servers 1998 Weikum Dipl
Jäckels, Markus Zur Dualität der Warteschlangen M^x/G^y/1 und G^x/M^y/1 1998 Dipl
Jakob, Markus Ein Relationales Datenbanksystem für die SB-PRAM, Erstellung von Anfrageplänen für den Benchmark TPC-D 1998 Paul Dipl
Jantke, Anja Stochastische Performance-Analyse einer Bedienstrategie in einem Multimedia-Informationssystem 1998 Weikum Dipl
Jordan, Dierk Auswirkungen einer Fanout-Beschränkung auf Kosten und Verzögerung der gepipelinten DLX-Architektur 1998 Paul Dipl
Kasper, Thomas A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming 1998 Paul Diss
Kettner, Björn Eine Implementation von k-Server Algorithmen 1998 Mehlhorn Dipl
Kläser, Andreas Konzeption und Implementierung eines Workflow-Log-Managers und eines Workflow-History-Managers - Teil 1 1998 Weikum Dipl
König, Arndt Christian Speicherverwaltung in verteilten Datanbanksystemen unter Berücksichtigung von klassesnorientierten Performancezielen 1998 Weikum Dipl
Kray, Christian Resourcenadaptierende Verfahren zur Präzisionsbewertung von Lokalisationsausdrücken und zur Generierung von linguistischen Hecken 1998 Wahlster Dipl
Kursawe, Klaus Exploration von geometrischen Umgebungen mit Hindernissen 1998 Mehlhorn Dipl
Kwappik, Carsten Exact linear programming 1998 Dipl
Lauer, Thosten Design und Implementierung eines Testmanagers für LiDIA 1998 Mehlhorn Dipl
Leven, Peter Integrating Clausal Decision Procedures in a Tactic Based Theorem Prover 1998 Ganzinger Dipl
Lorenz, Benjamin Ein Debugger für Oz 1998 Smolka Dipl
Martini, Christian Ein Verfahren zur Verschlüsselung von Nachrichten durch Ausnutzung der dynamischen Balancierung von Bäumen 1998 Hotz Dipl
Miller, Tobias Implementation and Experimental Evaluation of Dynamic Transitive Closure Algorithms 1998 Mehlhorn Dipl
Müller, M. Set Based Failure Diagnosis for Concurrent Constraint Programming 1998 Smolka Diss
Müller, Silvia Melitta Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1998 Paul Habil
Ndiaye, Alassane Rollenübernahme als Benutzermodellierungsmethode: Globale Antizipation in einem transmutierbaren Dialogsystem 1998 Wahlster Diss
Nest, Martin Johannes Vergleich von praxisnahen seriellen und parallelisierten Verfahren zur Bestimmung der Schnittpunkte von Liniensegmenten in der Ebene 1998 Dipl
Nissen, Marco Graph Iterators: Decoupling Graph Structures from Algorithms, Master Thesis 1998 Mehlhorn Dipl
Oelgart, Thorsten Echtzeitfähige Realisierung von Datenreduktionsalgorithmen für ein Radarsignalaufzeichnungssystem 1998 Hotz Dipl
Oster, Frank Design und Implementierung der Diskscheduling-Komponente eines multimedialen Informationssystems - Teil 1: Das Makroscheduling 1998 Weikum Dipl
Placzek, Andreas Entwurfsmuster in verteilten Anwendungen am Beispiel des Projekts Televerwaltung Saar 1998 Wilhelm Dipl
Reinstädtler, Martin Verlustfreie Datenkompression mit selbstorganisierenden Listen 1998 Mehlhorn Dipl
Riedewald, Mirek Replikationsstrategien für verteilte Systeme mit vorgegebnen Verfügbarkeitszielen 1998 Weikum Dipl
Röhrig, Hein Tree Decomposition: A Feasibility Study 1998 Mehlhorn Dipl
Said, Bare Konzeption und Implementierung eines Mixed-Workload Multimedia Informationssystems - Die Disk Scheduling Komponente 1998 Weikum Dipl
Schlosser, Roland Datenbankbasiertes System zur Meßdatenerfassung, Bearbeitung, Berechnung und Präsentation bei statischen Seilversuchen 1998 Wilhelm Dipl
Schmidt, Jan Holger Spezielle Aspekte münzartiger elektronischer Zahlungssysteme 1998 Pfitzmann Dipl
Schneider, Jörn Statische Pipeline-Analyse für Echtzeitsysteme 1998 Wilhelm Dipl
Schröder, Bianca Upper and Lower Bounds for Basic Scheduling Problems 1998 Mehlhorn Dipl
Sinnwell, Markus Adaptives Caching in verteilten Informationssystemen 1998 Weikum Diss
Sohler, Christian Kompression von geometrischen Objekten 1998 Seidel Dipl
Son, Jung-Bae Berechnung konvexer Hüllen in erwarteter Linearzeit 1998 Hotz Dipl
Stichter, Katja Konzeption und Implementierung eines Workflow-Log-Managers und eines Workflow-History-Managers - Teil 2 1998 Weikum Dipl
Strempel, Frank EVA - Entwicklung eines Expertensystems zur Verteilung von Arbeitsvorgängen an Maschinen 1998 Wahlster Dipl
Struth, Georg Canonical Transformations in Algebra, Universal Algebra and Logic 1998 Ganzinger Diss
Struwe, Martin Implementierung eines verteilten HTTP-Servers 1998 Weikum Dipl
Theiling, Henrik Über die Verwendung ganzzahliger linearer Programmierung zur Suche nach längsten Programmpfaden 1998 Wilhelm Dipl
Waldmann, Uwe Cancellative Abelian Monoids in Refutational Theorem Proving 1998 Ganzinger Diss
Walser, Joachim Paul Domain-Independant Local Search for Linear Integer Optimization 1998 Smolka Diss
Wetzel, Gudrun Susanne Lattice Basis Reduction Algorithms and their Applications 1998 Diss
Weyrath, Thomas Erkennung von Arbeitsgedächtnisbelastung und Zeitdruck in Dialogen - Empirie und Modellierung mit Bayesschen Netzen 1998 Wahlster Dipl
Wissen, Michael Automatisiertes Zeichnen von Zustandsdiagrammen 1998 Mehlhorn Dipl
Würtz, Jörg Lösen kombinatorischer Probleme mit Constraintprogrammierung in Oz 1998 Smolka Diss
Zimmermann, Detlev Ein hierarchischer Ansatz zur intentionsbasierten Musikkomposition auf der Basis musiktheoretischer Regel- und Constraintsysteme 1998 Diss
Freunde der Saarbrücker Informatik