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
Freunde der Saarbrücker Informatik