| 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 |
