Startseite Aktuell Vereinsportrait Vorstand Guenter-Hotz-Medaille Bachelor-Preis Infobrief Veranstaltungen Mitglied werden Jobs Service Alumni Netzwerk

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

Created and designed by FdSI Impressum