Abschlüsse 2000

 

 

Name Titel Jahr Lehrstuhl Typ
Bach, Peter Schnelle Fertigungsfehlersuche am Beispiel der Prozessorplatine CPULIGHT 2000 Paul Diss
Bast, Hannah Provably Optimal Scheduling of Similar Tasks 2000 Mehlhorn Diss
Beckert, Axel Kompilierung von Anytime-Algorithmen: Konzeption, Implementation und Analyse 2000 Wahlster Dipl
Beier, René Eine Heuristik für das Gossiping-Problem 2000 Mehlhorn Dipl
Bengeloune, Idriss Test-sets und Termersetzungen für die Generierung rekursiv definierter Algorithmen aus Existenzaussagen 2000 Loeckx Diss
Beyer, Sven Entwurf einer PCI-Karte als Schnittstelle zwischen SB-PRAM und PC 2000 Paul Dipl
Blocher, Anselm Ressourcenadaptierende Raumbeschreibung: Ein beschränkt-optimaler Lokalisierungsagent 2000 Wahlster Diss
Brandherm, Boris Rollup-Verfahren für komplexe dynamische Bayessche Netze 2000 Wahlster Dipl
Braun, Sebastian Entwicklung und Test von für statische Graphen optimierten Datentypen 2000 Mehlhorn Dipl
Brinker, Christof Geometrisches Schließen mit SPASS 2000 Ganzinger Dipl
Brunklaus, Thorsten Der Oz Inspector - Browsen: Interaktiver, einfacher, effizienter 2000 Smolka Dipl
Datky, Uwe Objektorientierter Entwurf und Implementierung einer Bibliothek für Credentials 2000 Pfitzmann Dipl
Diedrich, Doris Anonyme Kommunikation mit SSL-basierten Mixen 2000 Pfitzmann Dipl
Dreher, Andreas Robert Sicherheit im Internet 2000 Frick Dipl
Eisenbrand, Friedrich Gomory-Chv'atal Cutting Planes and the Elementary Closure of Polyhedra 2000 Bockmayr Diss
Fassev, Peter SmartFlows. Konzept, Design und Implementierung eines webbasierten Task-Automatisierungssystems zur Unterstützung Virtueller Teams 2000 Wahlster Dipl
Feddern, Christian WWW Traffic Analyse 2000 Frick Dipl
Fries, Markus Implementation of a Dynamic Convex Hull Algorithm in Arbitrary Dimension 2000 Mehlhorn Dipl
Fritsch, Martin Koordinations-Middleware auf Basis von strukturierter Konversation 2000 Scheidig Dipl
Gärtner, Tobias Recursive Analytic Functions of one Complex Variable 2000 Hotz Dipl
Gerber, Christian Self-Adaptation and Scalability in Multi-Agent Societies 2000 Siekmann Diss
Gergov, Jordan Algorithms for Interval Coloring, Geometric Packing and Memory Optimization 2000 Mehlhorn Diss
Groß, Stephan Commitments. Objektorientierter Entwurf und Implementierung 2000 Pfitzmann Dipl
Haase, Jens Bitmap Information Tool. Erstellung eines Werkzeugs zur automatischen Klassifikation pixelbasierter Grafiken 2000 Wahlster Dipl
Hansper, Jochen Auswertungssysteme für Haftung und Vertrauen in Infrastrukturen für öffentliche Schlüssel 2000 Pfitzmann Dipl
Hillebrand, Mark A. Design and Evaluation of a Superscalar RISC Processor 2000 Paul Dipl
Holz, Dirk Methodik zur standardisierten konkurrenten verteilten Installation von NT-Clients unter Verwendung minimaler Netz-Ressourcen 2000 Frick Dipl
Horn, Christian Entwurf und Entwicklung eines Coordination Service Environment unter CORBA 2000 Scheidig Dipl
Janocha, Stefan Die PCIPro-Karte. Entwurf und Realisierung eines Systems zur schnellen Datenmanipulation 2000 Paul Dipl
Kästner, Daniel Retargetable Postpass Optimisation by Integer Linear Programming 2000 Wilhelm Diss
Keen, Enno Prefetching-Techniken für WWW-Server mit Tertiärspeicher 2000 Weikum Dipl
Keller, Jörg Implementierung von VRML mit Constraints 2000 Wilhelm Dipl
Klajic, Tatjana CLUVIS - Methoden zum Clustern und Visualisieren von Dokumentmengen 2000 Uszkoreit Dipl
Klein, Karsten Flußbasierte orthogonale Zeichenverfahren für Graphen mit variablen Knotengrößen 2000 Mehlhorn Dipl
Kleinbauer, Thomas Ein constraint-basierter Ansatz zur automatischen Generierung von zeitlich und räumlich synchronisierten Multimedia-Präsentationen 2000 Wahlster Dipl
Kleineidam, Bastian Verteilte Protokolle zur effizienten Simulation von Mehrkörpersystemen 2000 Hotz Dipl
Konrad, Karsten Model Generation for Natural Language Interpretation and Analysis 2000 Siekmann Diss
Kröner, Alexander Adaptive Layout of Dynamic Web Pages 2000 Wahlster Diss
Kunze, Jochen Infobroker - Ein System zur Anfrageplanung und Informationsbeschaffung aus dem Internet 2000 Wahlster Dipl
Lambert, Georg Ein Parametric Search Toolkit 2000 Mehlhorn Dipl
Lambert, Oliver Parallele und externe Implementierung eines Zusammenhangskomponentenalgorithmus 2000 Mehlhorn Dipl
Lennerz, Christian Impulsbasierte Dynamiksimulation starrer Körper unter Verwendung von Hüllkörperhierarchien 2000 Hotz Dipl
Lichtenau, C. Entwurf und Realisierung des Aufbaus und der Testumgebung der SB-PRAM 2000 Paul Diss
Löckelt, Markus Liliput. Ein parametrisierbarer Constraint-Solver für endliche Wertebereiche und sein Einsatz in der Generierung natürlicher Sprache 2000 Wahlster Dipl
Löw, Hans-Dieter Datenbankgestütztes Information Retrieval auf XML-Dokumenten 2000 Weikum Dipl
Lütke-Hüttmann, Dirk Knickminimales Zeichnen 4-planarer Clustergraphen 2000 Mehlhorn Dipl
Meier, Lennart Special Aspects of Escrow-based E-Cash Systems 2000 Pfitzmann Dipl
Mindermann, Ralf Benchmarking von Workflow-Management-Systemen 2000 Weikum Dipl
Mohr, Thorsten Geheimniszerlegung - Objektorientierter Entwurf und Implementierung 2000 Pfitzmann Dipl
Mukhopadhyay, Supratik A Uniform Constraint-based Framework for the Verification of Infinite State Systems 2000 Podelski Diss
Müller, Jochen Persona: Ein anthropomorpher Präsentationsagent für Internet-Anwendungen 2000 Wahlster Diss
Ohlmann, Michael Kooperative Lernsoftware 2000 Wilhelm Dipl
Pabst, Oliver Angela! Ein modularer Grapheneditor zum interaktiven Zeichnen 2000 Mehlhorn Dipl
Plaehn, Oliver Probabilistic Parsing with Discontinuous Phrase Structure Grammar 2000 Uszkoreit Dipl
Priesnitz, Tim Entailment von nicht-strukturellen Teiltyp-Constraints 2000 Smolka Dipl
Recktenwald, Martin Vermittlung von ISDN-Diensten über signalisierte ATM-Verbindungen 2000 Paul Dipl
Röcker, Volker Verarbeitung mehrerer Beispiele für die Wrappergenerierung in TrIAs 2000 Wahlster Dipl
Rumpf, Michael Weiterentwicklung einer Ausführungsplattform für WWW-Applikationen 2000 Scheidig Dipl
Schäfer, Guido Weighted Matchings in General Graphs 2000 Mehlhorn Dipl
Schilz, Thomas Effiziente Algorithmen für das verteilte Rechnen auf Workstation-Clustern 2000 Mehlhorn Diss
Schlegel, Diethelm Zuverlässige Übertragung großer Datenmengen über Breitband-ISDN 2000 Paul Diss
Schneider, Gerhard ML mit Typklassen 2000 Smolka Dipl
Schömer, Elmar Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 2000 Hotz Habil
Schulte, Christian Programming Constraint Services 2000 Smolka Diss
Schunter, Matthias Optimistic Fair Exchange 2000 Pfitzmann Diss
Schürger, Thomas Konzeption und Realisierung eines Arbeitsplatz-Buchungs-Systems 2000 Paul Dipl
Schütz, Wilken Problemlösen mit externen Informationsquellen am Beispiel eines webbasierten Reiseagenten 2000 Wahlster Dipl
Semeloglou, Anastasios Kürzeste Wege in planare Graphen. Implementierung eines parallelen Algorithmus mit Hilfe von PAD. 2000 Mehlhorn Dipl
Shegalov, German MENTOR-lite On The Web - XML Edition 2000 Weikum Dipl
Steffen, Jörg Eine objektorientierte Modellierung anaphorischer Phänomene 2000 Uszkoreit Dipl
Stephan, Anne Implementierung eines heuristischen und eines exakten Ansatzes zur Berechnung minimaler Steinerbäume in Netzwerken 2000 Sibeyn Dipl
Stuber, Jürgen Superposition Theorem Proving for Commutative Algebraic Theories 2000 Ganzinger Diss
Theobalt, Christian Navigation on a Mobile Robot 2000 Dipl
Trippen, Gerhard Das Lokalisierungsproblem für mobile Roboter 2000 Mehlhorn Dipl
Ullrich, Carsten Analogie im Beweisplanen 2000 Siekmann Dipl
Vierke, Gero TeleTruck - A Holonic Multi-Agent System for Telematics 2000 Siekmann Diss
Wahl, Michaela Ein Neuer Algorithmus für Online-Scheduling 2000 Fleischer Dipl
Weißenfels, Jeanine Architektur erweiterbarer Workflow-Management-Systeme 2000 Weikum Diss
Werth, Dirk Software Bus System - Integrationsarchitektur zur generischen Koppelung von Anwendungssystemen in heterogenen Umgebungen 2000 Hertel Dipl
Wohlgemuth, Sven Schlüsselverwaltung: Objektorientierter Entwurf und Implementierung 2000 Pfitzmann Dipl
Zimmer, Jürgen Constraintlösen für Beweisplanung 2000 Siekmann Dipl
Freunde der Saarbrücker Informatik