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

Abschlüsse 2001 Name Titel Jahr Lehrstuhl Typ Albrecht, Irene Speech Synchronization for Physics-Based Animation of Human Face Models 2001 Seidel Dipl Althaus, Ernst Curve Reconstruction and the Traveling Salesman Problem 2001 Mehlhorn Diss Backes, Michael Neue zahlentheoretische Annahmen in der Kryptographie 2001 Pfitzmann Dipl Bauer, Jörg A Control-Flow-Analysis for Multi-Threaded Java with Security Applications 2001 Wilhelm Dipl Berg, Christoph Formal Verification of an IEEE Floating Point Adder (Formale Verifikation eines IEEE-Gleitkomma-Addierers) 2001 Paul Dipl Bernhard, Sven Modifikationskonzepte für objektorientierte Business-Application-Frameworks 2001 Hertel Dipl Bieber, Ronald Alexsa. Algorithm Explanation by Shape Analysis Extensions to the TVLA System 2001 Wilhelm Dipl Blanchebarbe, Peter Ein Framework für die Erfassung komponentenbasierter Modelle und deren Präsentation mittels Java3D 2001 Wilhelm Dipl Bobbert, Daniel PSL - Eine Sprache zur Spezifikation von Datenflussanalysen 2001 Wilhelm Dipl Bodirsky, Manuel Beta Reduction Constraints 2001 Prof. Smolka Dipl Bonk, Thomas Visualisierung von XML-Anfragen 2001 Weikum Dipl Breihof, Cyrille Ein Autoanimierter Präsentationsagent für Ressourcenadaptierende Navigationssysteme 2001 Wahlster Dipl Brück, Tim vor der Wissensverarbeitung und Inferenz für Gebäudenavigation 2001 Wahlster Dipl Bünger, Ludger Kopplung heterogener Workflow-Management-Systeme über XML am Beispiel SAP Business Workflow und MENTOR-lite 2001 Weikum Dipl Callmeier, Ullrich Efficient Parsing with Large-Scale Unification Grammars 2001 Prof. Uszkoreit Dipl Carl, Michael Example-based Decomposition, Generalization and Refinement for Machine Translation 2001 Uszkoreit Diss Christensen, Matthias David Automatische Transformation von Geschäftsprozessmodellen in ausführbare Workflow-Spezifikationen 2001 Weikum Dipl Crauser, Andreas LEDA-SM: External Memory Algorithms and Data Structures in Theory and Practice 2001 Mehlhorn Diss Dehnhard, Daniel JCP : Ein Application-Sharingsystem für Java mit heterogenen Clients 2001 Wahlster Dipl Dewes, Holger Statischer Methodenaufruf in Java 2001 Wilhelm Dipl Dietrich, Stefan Evaluation von Testwerkzeugen für die Objektorientierte Softwareentwicklung 2001 Hertel Dipl Fiedler, Armin User-Adaptive Proof Explanation 2001 Schulze-Pillot-Ziemen Diss Fingerle, Jan Niklas Erweitertes Modelchecking von Workflow- und Sicherheitsprotokollen 2001 Pfitzmann Dipl Fink, Christian Oberflächenrekonstruktion von planaren Konturen 2001 Mehlhorn Dipl Fritz, Nico Generische Value-Analyse für Maschinenprogramme 2001 Wilhelm Dipl Funke, Stefan Combinatorial Curve Reconstruction and the Efficient Exact Implementation of Geometric Algorithms 2001 Mehlhorn Diss Gamkrelidze, Alexander Einige Optimierungsmethoden hierarchischer Schaltkreise 2001 Hotz Diss Gillmann, Michael H. Konfiguration verteilter Workflow-Management-Systeme mit Leistungsgarantien 2001 Weikum Diss Görg, Carsten Layout animierter Graphen 2001 Wilhelm Dipl Graupmann, Jens Intelli Mobile Gateway - Konzeption und Implementierung einer Komponente zur Anbindung mobiler Clients an das IntelliInformation System 2001 Weikum Dipl Grenner, Ingo Die Erzeugung von Schnittebenen mit maximalem Verletzungsgrad und deren Einsatz im Branch-And-Cut Verfahren 2001 Eisenbrand Dipl Heit, Thorsten Schnelle Sichtbarkeitsberechnungen für eine Menge von Liniensegmenten innerhalb der zweidimensionalen Ebene 2001 Paul Dipl Hohlweck, Marc Konzeption eines verteilten Dokumentatations- und Informationssystems für die stationäre und ambulante Pflege und Realisierung zentraler Elemente 2001 Weikum Dipl Hopf, Jörn Photomaskenlayout für eine 3D-Grauton-Lithographie als kombinatorisches Optimierungsproblem 2001 Ganzinger Diss Immich, Stefan Berechnung der Momente von quadratischen Komplexen 2001 Prof. Mehlhorn Dipl Inthasith, Thao Bouachanh Kontaktstrategien für Marketingkampagnen und Realisierungsmöglichkeiten mit mySAP CRM und mySAP BW 2001 Weikum Dipl Jung, Georg Ein Frontend für die Anwendung von Model Checking auf die Analyse von ArrayBounds für C Programme 2001 Ganzinger Dipl Ki-Joon, Cho Einheitliche Datenrepräsentation heterogener Datenquellen 2001 Weikum Dipl Klau, Gunnar Werner A Combinatorical Approach to Orthogonal Placement Problems 2001 Mehlhorn Diss Klein, Frank Ein XML-basiertes Telelernsystem 2001 Weikum Dipl Klein, Michael Entwicklung und Realisierung der FiberLink-Testplatine 2001 Paul Dipl Kohlbacher, Oliver New approaches to protein docking 2001 Lenhof Diss König, Arndt Christian Query Estimation Techniques in Database Systems 2001 Weikum Diss Kraus, Steffen Datenmigration und -konsistenz in verteilten Systemen mit autonomen Agenten 2001 Weikum Dipl Krone, Henning Entwurf eines intelligenten Tourismus Informationssystems 2001 Weikum Dipl Kröning, Daniel Formal Verification of Pipelined Microprocessors 2001 Paul Diss Kruppa, Michael ARREAL - A mobile pedestrian navigation system build from standard hardware components 2001 Wahlster Dipl Krysta, Piotr Approximation Algorithms for Combinatorial Optimization Problems in Graph Coloring and Network Design 2001 Mehlhorn Diss Kursawe, Klaus Distributed Trust 2001 Pfitzmann Diss Lex, Carsten HyQL in Java 2001 Wahlster Dipl Lohse, Marco Ein System zur Visualisierung von Navigationsauskünften auf stationären und mobilen Geräten 2001 Wahlster Dipl Lohse, Steffen Ein Planaritätstest und Einbettungsverfahren für Graphen 2001 Hotz Dipl Mühlenbach, Karin Heuristiken zur Kompaktierung orthogonaler Zeichnungen 2001 Mutzel Dipl Müller, Tobias Constraint Propagation in Mozart 2001 Smolka Diss Petcu, Cornelia Entwicklung und Implementierung einer intelligenten Suchmaschine mit der Technologie des fallbasierten Schließens 2001 Hertel Dipl Preiß, Jochen Entwicklung eines optisch gekoppelten Caches 2001 Paul Dipl Priebe, Volker Average-case complexity of shortest-paths problems 2001 Mehlhorn Diss Pütz, Jörg Progressives Rendering mit Texturen unter Ausnutzung von Kohärenz 2001 Seidel Dipl Reichel, Joachim Optimale Hüllkörper für Objekte mit gekrümmten Flächen 2001 Schömer Dipl Reichert, Stefan Ein Multiagentensystem zur Verhandlung über flexible Geschäftsprozesse 2001 Siekmann Dipl Schanne, Thomas Visualisierung der Dialektographie und Topographie im deutschen Dialektraum 2001 Mehlhorn Dipl Schillo, Thomas Evaluierung von Konfigurationen verteilter Workflow-Management-Systeme 2001 Weikum Dipl Schmitt, Markus Verfolgungsprobleme 2001 Wahlster Dipl Schneider, Robert Efficient High-Quality Fairing of Discrete Curves and Surfaces 2001 Seidel Diss Scholl, Michael Entwurf und Implementierung effizienter Strategien für die Index-basierte Auswertung von XML-Anfragen 2001 Weikum Dipl Schön, Frank Middleware-basierte Antwortzeitgarantien für Informationssysteme 2001 Weikum Dipl Schüler, Pascal 3D-Rekonstruktion aus kalibrierten Bilddaten mittels Space-Carving 2001 Seidel Dipl Schulte, Ralph Exaktes Lineares Programmieren 2001 Mehlhorn Dipl Schwaiger, Arndt Stephan Georg The RescueBots Simulator System 2001 Siekmann Dipl Seel, Michael Planar Nef Polyhedra and Generic Higher-dimensional Geometry 2001 Mehlhorn Diss Seidel, Peter-Michael Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 2001 Paul Habil Siedle, Rainer Die Verwendung von mobilen Agenten im Bereich Teleservice 2001 Siekmann Dipl Sorge, Volker A Blackboard Architecture for the Integration of Reasoning Techniques into Proof Planning 2001 Siekmann Diss Stahl, Christoph Ein System zur intelligenten Navigation durch VRML Welten mittels graphischer Abstraktion 2001 Wahlster Dipl Stahmer, Björn Patrick Hybrid Agents in the RoboCup Rescue Domain 2001 Siekmann Dipl Thelemann, Jens Konzeption und Implementierung eines erweiterbaren Client-Frameworks zur Anbindung von Desktop-Clients an das Intelli Information System 2001 Weikum Dipl Theobald, Martin BINGO! Ein thematisch fokussierender Crawler zur Generierung personalisierter Ontologien 2001 Weikum Dipl Trouwain, Marc Inferenzregel-basierte Steuerung der Ablauflogik von Geschäftsprozessen 2001 Scheer Dipl Vöcking, Berthold Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 2001 Mehlhorn Habil Wallerich, Jörg Design and Implementation of a WWW Workload Generator for the NS-2 Network Simulator 2001 Feldmann Dipl Walter, Vanessa Indexstrukturen für die effiziente Suche auf XML-Daten 2001 Weikum Dipl Wambach, Patrick Formatdefinition und Formatverhandlung von Multimedia-Geräten 2001 Slusallek Dipl Weiss, Andreas Ein Assistent zur Erstellung und Verwaltung von Layout- und Dokumentenstrukturen 2001 Wahlster Dipl Weller, Torsten Implementierung und Anwendung der GANIMAL Laufzeitumgebung 2001 Prof. Wilhelm Dipl Welsch, Rüdiger Entwurf und Implementierung eines transaktionsbasierten, fehlertoleranten und skalierbaren Applikationsservers mit CORBA als Middleware 2001 Weikum Dipl Wilhelm, Stephan Generische Rekonstruktion von Kontrollflussgraphen aus Assemblerprogrammen 2001 Wilhelm Dipl Winkel, Sebastian ILP-basierte Instruktionsanordnung für IA-64 2001 Prof. Paul Dipl Wonner, Wolfgang Goliat - Ein Konfigurations-Tool für Mentor-lite 2001 Weikum Dipl Ziegelmann, Mark Constrained Shortest Paths and Related Problems 2001 Mehlhorn Diss Ziegler, Thomas Crossing Minimization in Automatic Graph Drawing 2001 Mutzel Diss

Created and designed by FdSI Impressum