Abschlüsse 2002

 

 

Name Titel Jahr Lehrstuhl Typ
Algesheimer, Joy Colette Distributed Computing on and with Secrets 2002 Pfitzmann Diss
Backes, Michael Cryptographically Sound Analysis of Security Protocols 2002 Pfitzmann Diss
Baraque, Raef Effiziente Multiplikationsverfahren: Ein numerischer Vergleich 2002 Hotz Dipl,MSc
Bartelmus, Christoph Entwurf und Bau einer Kommunikationsinfrastruktur für ein verteiltes Präsentationssystems auf Basis von Infrarot-Datenübertragung 2002 Wahlster Dipl,MSc
Baus, Jörg Ressourcenadaptierende hybride Personennavigation 2002 Wahlster Diss
Biwer, Stephan Entwurf und Implementierung von Strategien zum Ranked Retrieval auf XML-Daten mit Hilfe von themenorientierten Ontologien 2002 Wahlster Dipl,MSc
Bücheler, Torsten Bestimmung von Extrempunkten in subquadratischer Zeit 2002 Seidel Dipl,MSc
Burkhardt, Stefan Filter Algorithms for Approximate String Matching 2002 Mehlhorn Diss
Decker, Björn Generic reconstruction of control flow for guarded code from assembly 2002 Wilhelm Dipl,MSc
Deßloch, Jörg Implementierung einer agentenbasierten Koordinationsarchitektur für Supply Webs 2002 Siekmann Dipl,MSc
Diehl, Christian DATKO Aufbau von Datentransformationskonnektoren im heterogenen IT-Umfeld 2002 Weikum Dipl,MSc
Diehl, Stephan Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 2002 Wilhelm Habil
Dreger, Holger DNS Usage and Performance - A Packet Level Analysis 2002 Feldmann Dipl,MSc
Erk, Katrin Parallelism Constraints in Underspecified Semantics 2002 Smolka Diss
Fofana, Ba Hawa Von Datenfluss zum Imformationsfluss: Eine neue Ebene f"ur Workflow Management Systeme 2002 Lenhof Dipl,MSc
Fontaine, Frank Secure Application Design given a Secure Environment Practical Security for PGP under PERSEUS 2002 Pfitzmann Dipl,MSc
Hemmer, Michael Reliable computation of planar and spatial arrangements of quadrics 2002 Schömer Dipl,MSc
Hildebrandt, Andreas An algorithm for the efficient and reliable computation of the electrostatic contribution to the free energy of solvation using nonlocal elctrodynamics 2002 Lenhof Dipl,MSc
Homik, Martin Ressourcenoptimierung von Workflow Problemen 2002 Smolka Dipl,MSc
Jacob, Dirk Testing Intra-Domain Routing in a Network Simulator 2002 Feldman Dipl,MSc
Jacobi, Christian Formal Verification of a Fully IEEE Compliant Floating Point Unit 2002 Paul Diss
Kammenhuber, Nils Design and Implementation of a Multi-Agent Based GUI for Timber Production Planning and Trading 2002 Siekmann Dipl,MSc
Kautz, Jan Realistic, Real-Time Shading and Rendering of Objects with Complex Materials 2002 Seidel Diss
Kerren, Andreas Generierung interaktiver Animationen für den Übersetzerbau 2002 Wilhelm Diss
Kröper, Dag Konzeption und Realisierung eines Bibliotheksverwaltungssystem 2002 Smolka Dipl,MSc
Laud, Peeter Computationally Secure Information Flow 2002 Wilhelm Diss
Lehmann, Patrick Konzeption und Implementierung eines Credential Manages 2002 Pfitzmann Dipl,MSc
Leinenbach, Dirk Implementierung eines maschinell verifizierten Prozessors 2002 Paul Dipl,MSc
Maennel, Olaf Generating realistic routing tables in a test lab 2002 Feldmann Dipl,MSc
Meyer, Carsten Entwicklung einer Laufzeitumgebung für den VAMP-Prozessor 2002 Paul Dipl,MSc
Meyer, Ulrich Design and Analysis of Sequential and Parallel Single-Source Shortest-Paths Algorithms 2002 Mehlhorn Diss
Morbach, Volker A Hybrid Machine Learning Approach for Information Extraction 2002 Uszkoreit Dipl,MSc
Ossamy, Rodrigue TSP Cuts Outside The Template Paradigm 2002 Mehlhorn Dipl,MSc
Ost, Daniel Ein kooperativer Mechanismus auf webbasierter Technik 2002 Wahlster Dipl,MSc
Probst, Christian W. A Demand-Driven Solver for Constraint-Based Control Flow Analysis 2002 Wilhelm Diss
Rieden, Thomas In der Sprachen zur Unterstützung von Multimedia-Anwendungen 2002 Paul Dipl,MSc
Rybalchenko, Andrey A Model Checker based on Abstraction Refinement 2002 Podelski Dipl,MSc
Samid, Valeria Personal Notes - Ein Web-basiertes Werkzeug für Dokumentnotation 2002 Wahlster Dipl,MSc
Schenkel, Ralf Transaktionen in föderierten Datenbanksystemen unter eingeschränkten Isolation Levels 2002 Weikum Diss
Scheuer, Timo XML basierte Multiprojekt-Terminplanung mit automatischer Endgeräteadaption 2002 Wahlster Dipl,MSc
Schneider, Jörn Jakob Combined Schedulability and WCET Analysis for Real-Time Operating Systems 2002 Wilhelm Diss
Schwartz, Tim Analyse von Audio-Dekompressions-Verfahren und deren Implementierung auf einem Spezialprozessor 2002 Slusallek Dipl,MSc
Schwarzkopf, Eric WebCES: A System for Creating HTML-Wrappers by Example 2002 Wahlster Dipl,MSc
Schwinghammer, Jan A Concurrent Lambda-Calculus with Promises and Futures 2002 Smolka Dipl,MSc
Siersdorfer, Stefan Konstruktion von Featureräumen zur SVM-Klassifikation von HTML-Dokumenten 2002 Unbekannt Dipl,MSc
Steiner, Michael Secure Group Key Agreement 2002 Pfitzmann Diss
Tainobari, Hedyeh WebDr: Flexible Generierung von Web-Navigationsskripten 2002 Wahlster Dipl,MSc
Theiling, Henrik Control Flow Graphs for Real-Time Systems Analysis Reconstruction from Binary Executables and Usage in ILP-Based Path Analysis 2002 Wilhelm Diss
Wagner, Markus Development of a ray-tracing-based VRML browser and editor 2002 Slusallek Dipl,MSc
Wein, Ron High-Level filtering for arrangements of conic arcs 2002 Dipl,MSc
Weiskircher, Rene New Applications of SPQR-Trees in Graph Drawing 2002 Mutzel Diss
Wittig, Frank Maschinelles Lernen Bayes'scher Netze für benutzeradaptive Systeme 2002 Wahlster Diss
Wolfanger, Dirk Rhythmuspattern und Akkorde Erweiterung einer Musikkompositionssoftware 2002 Paul Dipl,MSc
Wolpert, Nicola An Exact and Efficient Approach for Computing a Cell in an Arrangement of Quadrics 2002 Seidel Diss
Freunde der Saarbrücker Informatik