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

Abschlüsse 1999 Name Titel Jahr Lehrstuhl Typ Abdullah, Hellai Anwendung der approximativen Inversen zur Herleitung einer Rekursionsformel für ein zweidimensionales inverses Streuproblem 1999 Diss Adelsbach, Andre Urheberschaftsbeweise mittels Watermarking und Registrierung 1999 Pfitzmann Dipl Althaus, Ernst Berechnung optimaler Steinerbäume in der Ebene 1999 Mehlhorn Dipl Ashoff, Oliver Algorithmen der modularen Arithmetik 1999 Mehlhorn Dipl Behrens, Christian Solid Modeling durch Boolesche Operationen 1999 Hotz Dipl Bender, Wolfgang Ein interaktives grafisches Werkzeug zur Integration des TCL/TK-Toolkits in das User-Interface-Management-System SERPENT 1999 Scheidig Dipl Benzmüller, Christoph Equality and Extensionality in Automated Higher-Order Theorem Proving 1999 Siekmann Diss Berthold, Andre Repräsentation und Verarbeitung sprachlicher Indikatoren für kognitive Resourcenbeschränkungen 1999 Wahlster Dipl Berwanger, Frank Design und Implementierung einer verteilten Literaturdatenbank mit Lotus Notes 1999 Pfitzmann Dipl Brandmeier, Patrick PreMium - Eine auf Verfahren des Maschinellen Lernens basierende Komponente zur vereinfachten Kommunikation mit einem Benutzer in interagierenden Programmen 1999 Wahlster Dipl Brants, Thorsten Tagging and Parsing with Cascaded Markov Models: Automation of Corpus Annotation 1999 Uszkoreit Diss Brengel, Klaus Externe Prioritätswarteschlangen 1999 Mehlhorn Dipl Bretthauer, Harry Entwurf und Implementierung effizienter Objektsysteme für funktionale und imperative Programmiersprachen am Beispiel von Lisp 1999 Wahlster Diss Brück, Jörg Synchronisation multimedialer Datenstromkomplexe in Videokonferenzsystemen 1999 Scheidig Dipl Buchheit, Thomas Oberflächenrekonstruktion mithilfe von Voronoi-Diagrammen 1999 Mehlhorn Dipl Buchterkirche, Claas Dynamische Netzlasterfassung und -ausgabe mit Hilfe von RTFM 1999 Frick Dipl Buck, Matthias Simulation interaktiv bewegter Objekte mit Hinderniskontakten 1999 Hotz Diss Chadzelek, Thomas Analytische Maschinen 1999 Hotz Diss Clanget, Ulrich Plattformunabhängiges Toolkit für Grafische Benutzerschnittstellen (GUI) 1999 Mehlhorn Dipl Demme, Georg Simulation einer Set-Top-Box für Video-on-Demand 1999 Paul Dipl Dengler, Dietmar Deduktive Generierung von adaptiven Plänen mit Kontrollstrukturen 1999 Wahlster Diss Dickert, Peter Berechnung von Einfach- und Zweifachzusammenhangskomponenten auf einer PRAM 1999 Mehlhorn Dipl Endres, Christoph Personal Picture Finder - A Softbot for the World Wide Web 1999 Wahlster Dipl Engel, Ralf Robuste korpusbasierte Maschinelle Übersetzung mit Translation Templates 1999 Wahlster Dipl Fischmann, Matthias On Applications of Decidable Object-Oriented Type Theory 1999 Ganzinger Dipl Fleischer, Rudolf Hans Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1999 Mehlhorn Habil Florian, Martin Generating Program Analyzers 1999 Wilhelm Diss Formella, Arno Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1999 Paul Habil Gebhard, Holger Beweisplanung für die Beweise der Vollständigkeit verschiedener Resolutionskalküle in Omega 1999 Siekmann Dipl Gebhard, Patrick ROPLEX: Natürlichsprachliche Beschreibung von generischen Roboterplandaten 1999 Wahlster Dipl Gerber, Andreas Erweiterung des R/3-Warenwirtschaftssystem durch Integration des TELETRUCK-Transportdispositionssystems 1999 Siekmann Dipl Graf, Christian Alexander Ein Zwei-Warteschlangen-Modell mit Prioritätenwechsel 1999 Schmidt Dipl Gutwenger, Carsten Design und Implementierung einer Algorithmen-Bibliothek zum Zeichnen von Graphen 1999 Mehlhorn Dipl Haase, Michael Analyse des Verhaltens von mehrstufigen Caches mit Schreibstrategien 1999 Wilhelm Dipl Hachenberger, Peter Dynamic Shortest Path Algorithms for Planar and Outerplanar Graphs 1999 Mehlhorn Dipl Hammerschmidt, Frank Konzeption und Entwicklung des streng strukturierten und erweiterbaren Datentypes htmlpage für LEDA 1999 Mehlhorn Dipl Hazboun, Jack Simulation von Molekül-Docking-Reaktionen 1999 Mehlhorn Dipl He, Xiaoyan Lösen von Scheduling-Problemen mittels selbstlernender Algotithmen 1999 Weikum Dipl Hess, Stephan Matthias Software-Ergonomie in einer Beweisentwicklungsumgebung 1999 Siekmann Dipl Hustadt, Ullrich Resolution-Based Decision Procedures for Subclasses of First-Order Logic 1999 Ganzinger Diss Hüther, Matthias Generierung und Synchronisation grafischer Informationsrepräsentationen in heterogenen Telekooperationsumgebungen 1999 Wahlster Dipl Jacobi, Christian Ein relationales Datenbanksystem für die SB-PRRAM - Concurrency-Control und der TPC-B-Benchmark 1999 Paul Dipl Jung, Christoph G. Theory and Practice of Hybrid Agents 1999 Siekmann Diss Kerzmann, Andreas Zwangsbasierte Dynamiksimulation im $R^2$ unter Verwendung von Kreiskanten 1999 Hotz Dipl Koldehofe, Boris Animation and Analysis of Distributed Algorithms 1999 Mehlhorn Dipl Koller, Alexander Constraint Languages for Semantic Underspecification 1999 Smolka Dipl Kraisß, Achim Hierarchische Speicherverwaltung für Informationssysteme mit Tertiärspeicher 1999 Weikum Diss Kreutzer, Daniel Erstellung von Laufzeitgarantien für sicherheitskritische Systeme am Beispiel einer Flugsteuerung 1999 Wilhelm Dipl Kröning, Daniel Design and Evaluation of a RISC Processor with a Tomasulo Scheduler 1999 Paul Dipl Krüger, Antonio Automatische Abstraktion in 3D-Graphiken 1999 Wahlster Diss Krüger, Michael Objektorientiertes Design und Implementierung eines anonymen Zahlungssystems 1999 Pfitzmann Dipl Kunze, Thomas Generierung interaktiver Animationen von abstrakten Maschinen 1999 Wilhelm Dipl Kuschert, Susanna Dynamic Meaning and Accomodation 1999 Siekmann Diss Laux, Ulrich Konzeption und Realisierung einer Datenbank für die Qualitätssicherung beim Drahtseilwerk Fa. Casar GmbH 1999 Weikum Dipl Leister, Holger W. Quantitative Analysis of Precise Interrupt Mechanisms for Out-Of-Order Execution Processors 1999 Paul Diss Lembert, Josef Parallele CRC-Berechnung und Optimierung mit genetischen Algorithmen 1999 Paul Dipl Lenhof, Hans-Peter Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1999 Mehlhorn Habil Lind, Jürgen MASSIVE: Software Engineering for Multiagent Systems 1999 Siekmann Diss Mähler, Christian Intelligente Suche in Werkstoffdatenbanken 1999 Weikum Dipl Mehl, Michael The Oz Virtual Machine - Records, Transients and Deep Guards 1999 Smolka Diss Meyer, Christoph Soft Typing for Clausal Inference Systems 1999 Ganzinger Diss Müller, H. Implementierung und Evaluation der Mehrschichten-Transaktionsverwaltung für den föderativen Transaktionsmanager TRAFIC 1999 Weikum Dipl Müller, Peter Siegfried Parallel Molecular Dynamics Simulations for Synthetic Polymers 1999 Mehlhorn Diss Muth, Peter Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1999 Weikum Habil Mutzel, Petra Beiträge zur Anwendungsorientierten Kombinatorischen Optimierung 1999 Mehlhorn Habil Nerjes, Guido Platten-Scheduling und Stochastische Service-Garantien für Multimediale Daten-Server 1999 Weikum Diss Oertzen, Georg Timo von CEDRIC - ein automatisches geometrisches Beweissystem 1999 Hotz Dipl Padberg, Frank Schätzung der Erfolgsaussichten, der Dauer und der Kosten von Softwareprojekten mit strengen wahrscheinlichkeitstheoretischen Methoden 1999 Paul Diss Paul, Andreas Lösen partieller Differentialgleichungen auf der SB-PRAM 1999 Paul Diss Potikoglou, Ioannis Parallele Algorithmen zur Lösung des Single-Source Shortest Path Problems 1999 Mehlhorn Dipl Pouchkarev, Igor ArchEd: Ein interaktives Zeichensystem für die Archäologie 1999 Mutzel Dipl Reinert, Knut A Polyhedral Approach to Sequence Alignment Problems 1999 Mehlhorn Diss Röhrig, Jochen Effiziente Interprozeßkommunikationsdatenstrukturen für die SB-PRAM und deren Anwendung 1999 Paul Diss Roos, Claus Leistungsanalyse und Optimierung im HORUS-Netzwerk 1999 Frick Dipl Rovatsos, Michael LAYLA - An InteRRaP Extension for Layered Learning in Repeated Games 1999 Siekmann Dipl Rückel, Volker Anbindung von TELETRUCK als externes Transportplanungssystem an SAP R/3 1999 Siekmann Dipl Ruppert, Barbara Polygontriangulierung in Linearzeit 1999 Mehlhorn Dipl Sabo, Holger Ein schnelles Verfahren zur exakten Berechnung von Skalarprodukten 1999 Mehlhorn Dipl Schäfer, Andreas Entwicklung einer Plattform zur Koordinierung nicht-sequentieller Aktivitäten: Prototypische Implementierung und Koordinationssprache 1999 Scheidig Dipl Schäfer, Ralph Benutzermodellierung mit dynamischen Bayes'schen Netzen als Grundlage adaptiver Dialogsysteme 1999 Wahlster Diss Schaumann, Sven Intelligente Suche in einer Gebrauchtwagenbörse mit Freitexteingabe 1999 Wahlster Dipl Scheidhauer, Ralf Design, Implementierung und Evaluierung einer virtuellen Maschine für Oz 1999 Smolka Diss Scherf, Oliver S. Eine verallgemeinerte Toolbox für Finite-State-Maschinen 1999 Siekmann Dipl Schillo, Michael Vertrauen und Betrug in Multi-Agenten Systemen - Erweiterung des Vertrauensmodells von Castelfranchi und Falcone um eine Kommunikationskomponente 1999 Siekmann Dipl Schirra, Stefan Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1999 Mehlhorn Habil Schmid, Rainer Michael Approximation verallgemeinerter Polyeder 1999 Hotz Dipl Schmidt, Michael Entwurf und Implementierung eines Kontrollflußgenerators 1999 Wilhelm Dipl Schmolzi, Christian Kooperative Koevolutionäre Entwicklung von Fuzzy-Reglern 1999 Ganzinger Dipl Schneider, Georg Virtual Team Assistant - Integration von synchroner und asynchroner Telekooperation zur Unterstützung automatisierter Vorgangsbearbeitung unter besonderer Berücksichtigung von Arbeitsteams 1999 Wahlster Diss Schnubel, Michael Computergestützte Motivanalyse in Musikstücken 1999 Paul Dipl Schulz, Frank Adaptive Suchverfahren 1999 Diss Schütz, Heiko Entwicklung einer Plattform zur Koordinierung nicht-sequentieller Aktivitäten - Softwaretechnische Entwicklung und Behandlung von Aspekten der Konkurrenz 1999 Scheidig Dipl Seidel, Peter-Michael On the Design of IEEE Compliant Floating-Point Units and Their Quantitative Analysis 1999 Paul Diss Sibeyn, Jop F. Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1999 Mehlhorn Habil Simon, Daniel An Implementation of the Programming Language DML in Java: Runtime Environment 1999 Smolka Dipl Smilek, Janusz Modellierung eines Einfachen Warenwirtschaftssystems mit Business Objects und Workflow-Management 1999 Siekmann Dipl Steinbrecher, Sandra Informationstheoretisch sichere Authentikation 1999 Pfitzmann Dipl Stopp, Eva Natürlichsprachliche Dialoge mit mobilen Robotern auf der Basis einer resourcenadaptiven Referenzsemantik räumlicher Umgebungen 1999 Wahlster Diss Stormer, Henrik Ein Programm zum visuellen Erlernen von Graphalgorithmen 1999 Mehlhorn Dipl Teutul, Ruppert von Team Finder - Ein intelligenter Assistent zur zielgerichteten Ressourcenselektion für workflowintegrierte multimediale Audio-/Video-Desktopkonferenzen 1999 Wahlster Dipl Thiel, Sven Persistente Suchbäume 1999 Mehlhorn Dipl Thome, Stefan Erweiterung des hierarchischen Zeichenmodells in ArchEd 1999 Mutzel Dipl Tzakova, Miroslava Hybrid languages 1999 Diss Veit, Jörg Formal Fairness Proofs for Optimistic Contract Signing Protocols 1999 Pfitzmann Dipl Voelz, Dirk Rocco: Ein System zur simultanen Generierung natürlichsprachlicher Reportagen 1999 Wahlster Dipl Wagner, Dirk TeamInformer: ein System zum automatischen Briefing und De-Briefing von Konferenzteilnehmern für in Workflow integrierte multimediale Audio/Video Desktopkonferenzen 1999 Wahlster Dipl Walter, Andy An Implementation of the Programming Language DML in Java: Compiler 1999 Smolka Dipl Wannemacher, Daniel Hardwareunterstützung für eine virtuelle Speicherverwaltung 1999 Paul Dipl Warken, Thomas Berechnung von Kontaktkräften für eine zwangsbasierte Dynamiksimulation 1999 Hotz Dipl Wendling, Andreas Konzeption und Implementierung eines Mixed-Workload Multimedia-Informationssystems - Die Dateiverwaltungs- und Netzwerkkomponente 1999 Weikum Dipl Wenner, Alexander Hybride Agenten und Entscheidungsfindung in der Telerobotik 1999 Siekmann Dipl Werner, Andreas EBABA - Probabilistische Einschätzung von Bewertungskriterien aufgrund bewertender Äußerungen 1999 Wahlster Dipl Wichmann, Arne Ein Monitor zur langfristigen Konnektivitätsmessung im Internet 1999 Frick Dipl Wittig, Frank Ein Java-basiertes System zum Ressourcenmanagement in Anytime-Systemen 1999 Wahlster Dipl Worm, Karsten Lorenz Robust Semantic Processing for Spoken Language. A Study in Speech Processing 1999 Pinkal Diss Zhu, Bin Formal Synthesis and Verification of Hierarchical Recursive Circuits Based on An Algebraic Calculus of Nets 1999 Hotz Diss

Created and designed by FdSI Impressum