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