Abschlüsse 1997

 

 

Name Titel Jahr Lehrstuhl Typ
Alt, Martin On Parallel Compilation 1997 Wilhelm Diss
Aryaie-König, Firoozeh Terminierungsbeweismethoden für konstruktive Spezifikationen 1997 Loeckx Dipl
Backes, Jens Setting up Virtual Enterprises by Means of Negotiation-Enabled Agents 1997 Siekmann Dipl
Baldes, Stephan Entwurf und Implementierung eines interaktiven Konfigurationssystems 1997 Siekmann Dipl
Barra, Carsten Sequenzoptimiertes Raytracing mit Super-Bounding-Volumes 1997 Paul Dipl
Berens, Sonja PiK - Deduktives Planen mit KIV in einer Variante des Dynamischen Logik 1997 Wahlster Dipl
Bergmann, Stephan Analyse der Datenverteilung für Implementierungen der Sprache 2DT auf Parallelrechnern mit verteiltem Speicher 1997 Wilhelm Dipl
Bielenstein, Holger Entwicklung einer Spezifikationsumgebung für unternehmensweite Workflows 1997 Weikum Dipl
Biringer, Frank DACAPO: Steuerungskomponente für einen animierten Interfaceagenten 1997 Wahlster Dipl
Bosch, Michael Effektive Terminal-Ein-/Ausgabe über das Netzwerk 1997 Dipl
Brandau, Michael X Window Extensions und ihre Integration in ein Application-Sharing Verfahren 1997 Wahlster Dipl
Braun, Frank Modellierung eines Verbundsystems der Grünen Branche mit CADIC 1997 Hotz Dipl
Brockenauer, Ralf Separierung von Kuratowski-Ungleichungen für das größte Planare Untergraphenproblem 1997 Mehlhorn Dipl
Bur, Jörg Entwicklung eines Konfigurationstools zur optimalen Plazierung der Komponenten eines verteilten Workflow-Management-Systems 1997 Weikum Dipl
Burkhardt, Stefan Parallele Implementierung des Lanczos Verfahrens über endlichen Primkörpern 1997 Buchmann Dipl
Butz, Andreas Martin Ein inkrementeller Ansatz zur Generierung informativer 3D-Animationen 1997 Wahlster Diss
Butz, Bernhard Robuste Implementierung eines Algorithmus zur Berechnung eines Voronoi-Diagramms für Polygone 1997 Mehlhorn Dipl
Christen, Michael A Calculus of Simplification for Superposition 1997 Ganzinger Dipl
Cohrs, Christian Datenplazierung auf Tertiärspeicher für den effizienten Zugriff auf Dokumentarchive 1997 Weikum Dipl
Denny, Thomas Friedrich Lösen großer dünnbesetzter Gleichungssysteme über endlichen Primkörpern 1997 Buchmann Diss
Engel, Christian Josef Ferdinand Entwurf und prototypische Realisierung eines erweiterten Hypertextsystems 1997 Scheidig Dipl
Fecht, Christian Abstrakte Interpretation logischer Programme: Theorie, Implementierung, Generierung 1997 Wilhelm Diss
Fedeler, Dirk POtA - Taktiken für die Generierung unterbrechbarer, partiell geordneter Handlungspläne in der PHI/RAP - Planungsumgebung 1997 Wahlster Dipl
Feibel, Harald Ein Konfigurationssystem für Planungsaufgaben in sicherheitskritischen Anwendungen 1997 Wahlster Diss
Ferdinand, Matthias Ein Sortensystem für die logische Programmiersprache eXu KRL 1997 Wilhelm Dipl
Fettig, Thomas Layoutplazierung in CADIC 1997 Hotz Dipl
Fialko, Sergej Das planare Augmentierungsproblem 1997 Mehlhorn Dipl
Finkler, Ulrich Design of efficient and correct algorithms 1997 Diss
Finkler, Wolfgang Automatische Selbstkorrektur bei der inkrementellen Generierung gesprochener Sprache unter Realzeitbedingungen; ein empirisch-simulativer Ansatz unter Verwendung eines Begründungsverwaltungssystems 1997 Wahlster Dipl
Foschia, Riccardo Genaue Laufzeiten für Kommunikationsoperationen paralleler Maschinen mit verteiltem Speicher 1997 Wilhelm Dipl
Franziskus, Stefan Entwurf und Implementierung der Hostseite des PRAM-Betriebssystems PRAMOS 1997 Paul Dipl
Funke, Stefan Exact Arithmetic using Cascaded Computation 1997 Mehlhorn Dipl
Gast, Christoph Das Maximum-Weight-Trace-Problem bei multiplem Sequenz-Alignment 1997 Mehlhorn Dipl
Gillmann, Michael H. Nested-Block-basierte Verfahren für Tape-Disk-Joins in relationalen Datenbanksystemen 1997 Weikum Dipl
Glutting, Ralf Vergleich von Scheduling-Heuristiken und Genetischen Algorithmen zur Online-Maschinenbelegungsplanung 1997 Weikum Dipl
Gräber, Andrea Reasoning with knowledge, belief and common knowledge 1997 Siekmann Dipl
Guillaume, Frank Praktisches Paralleles List Ranking 1997 Mehlhorn Dipl
Heil, Detlef Markus Benutzerbezogenes Accounting in TCP/IP-Netzwerken 1997 Frick Dipl
Henz, Martin Objects in Oz 1997 Smolka Diss
Jansen, Arne Entwicklung eines ISDN-Adapters zum Anschluß an den Universal Serial Bus 1997 Scheidig Dipl
Jost, Stephan Impulsbasierte Dynamik starrer Körper 1997 Hotz Dipl
Jung, Carsten Analyse natürlichsprachlicher Äußerungen zur Ansteuerungen Autonomer Roboter 1997 Wahlster Dipl
Jurk, Andreas Über die Berechnung von kürzesten Gittervektoren 1997 Dipl
Kappel, Holger Eine Methode zur Berechnung von Vorzeichen ganzzahliger Determinanten 1997 Mehlhorn Dipl
Kästner, Daniel Instruktionsanordnung und Registerallokation auf der Basis ganzzahliger linearer Programmierung für den digitalen Signalprozessor ADSP-2106x 1997 Wilhelm Dipl
Kerren, Andreas Animation der semantischen Analyse 1997 Wilhelm Dipl
Kipp, Michael Dialogaktbestimmung mit Neuronalen Netzen 1997 Wahlster Dipl
Klau, Gunnar W. Quasi-orthogonales Zeichnen planarer Graphen mit wenigen Knicken 1997 Mehlhorn Dipl
Klein, Lars Indexing für Terme Höherer Stufe 1997 Siekmann Dipl
Klein, Peter Informationsgewinnung durch VRML im Internnet 1997 Paul Dipl
Klesen, Martin Statistische Klassifikation von Dialogakten 1997 Wahlster Dipl
Knop, Roger Simulierte Gesichtsausdrücke als zusätzlicher Kommunikationskanal in einem natürlichsprachlichen Dialogsystem 1997 Wahlster Dipl
Köller, Lars Algorithmen zur Verbesserung der Delay-Testbarkeit von Schaltkreisen 1997 Hotz Dipl
Könemann, Jochen Fast Combinatorial Algorithms for Packing and Covering Problems 1997 Mehlhorn Dipl
Langenbach, Marc Instruktionsanordnungen unter Verwendung graphbasierter Algorithmen für den digitalen Signalprozessor ADSP-2106x 1997 Wilhelm Dipl
Lauer, Oliver Generierung effizienter Datentypen für PAG 1997 Wilhelm Dipl
Lauer, Stefan COMPOzE - Constraint-basierte Satztechnik in einem System zur automatischen intentionsbasierten Musikkomposition 1997 Wahlster Dipl
Lermen, Martin Multiple Sequenz Alignment 1997 Mehlhorn Dipl
Liefke, Thomas Tupleview, towards a Monitoring, Debugging and Profiling Tool for LiPS 1997 Buchmann Dipl
Lippmann, Jens Integration einer Testumgebung in LiPS 1997 Buchmann Dipl
Lück, Frank TransIt, eine Implementierung des Transport-Szenarios mit INTERRAP-Agenten 1997 Siekmann Dipl
Lupp, Michael Kooperative, constraint-basierte Planung in einem Multiagentensystem: Fallstudie flexible Fertigung 1997 Siekmann Dipl
Luxenburger, Dieter Algorithmen zur Berechnung hinreichender logischer Pfadmengen für den Laufzeittest von VLSI-Schaltkreisen 1997 Hotz Dipl
Maier, Achim Holger CLEARS - Ein Werkzeug für Ausbildung und Forschung in der Bedeutungsverarbeitung 1997 Wahlster Dipl
Margewitsch, Erwin Parallele Berechnung elektrostatischer Wechselwirkungen für synthetische Polymere 1997 Mehlhorn Dipl
Marx, Andreas Prototypischer Entwurf und Realisierung eines Hypermedium-Systemes sowie eines Hypertext-Editors auf der Basis einer Koordinationsplattform 1997 Scheidig Dipl
Maus, Heiko Spezifikation und Implementierung eines Interoperabilitätskonzeptes zur Kopplung von Workflow Management Systemen in einem heterogenen Verbund 1997 Weikum Dipl
Meier, Andreas Übersetzung automatisch erzeugter Beweise auf Faktenebene 1997 Siekmannn Dipl
Melchior, Stephan Ausnutzung von Symmetrien partieller Boolescher Funktionen 1997 Hotz Dipl
Metzler, Matthias Ergebnisüberprüfung bei Graphenalgorithmen 1997 Mehlhorn Dipl
Meyer, Andreas Ein neues Identifikations- und Signaturverfahren über imaginär-quadratischen Klassengruppen 1997 Buchmann Dipl
Meyer, Markus PRUDeNS - Ein System zur Planerkennung unter Unsicherheit 1997 Wahlster Dipl
Mohra, Jürgen Konzeption und Realisierung einer API zum Siemens Desktop-Konferenzsystem 'Group X' 1997 Wahlster Dipl
Morell, Wolfgang Steuerung kontinuierlichen Verhaltens in einer hybriden Agentenarchitektur 1997 Siekmann Dipl
Morgen, Georg Ein Werkzeug zur Erstellung, Auswertung und Systematisierung von Workflow-Kennzahlen 1997 Weikum Dipl
Mück, Thomas Ralf Implementation of Hammock Decomposition with Application to Shortest Path Problems 1997 unbekannt Dipl
Müller, Kerstin Entwicklung und Implementierung eines Verfahrens zum Ray-Tracen von Freiformflächen 1997 Paul Dipl
Müller, Matthias Ein Simulator für Prozessor-Netzwerke 1997 Mehlhorn Dipl
Müller, Stefan Spezifikation und Verarbeitung deutscher Syntax in Head-Driven Phrase Structure Grammar 1997 Wahlster Diss
Naumann, Stefan Integration des automatischen Beweisers SPASS in die mathematische Assistenzumgebung OMEGA 1997 Siekmann Dipl
Neis, Ingo L. SARDIC - das Saarbrücker Dictionary: eine morphologische Workbench und ein morphologischer Server 1997 Uszkoreit Dipl
Oberhauser, Fred Arithmetik der Transduktoren 1997 Mehlhorn Dipl
Owerfeldt, Dirk Implementierung von L-Grammatiken zur Erzeugung von Pflanzenmodellen in der Computergrafik 1997 Paul Dipl
Papanikolaou, Thomas Entwurf und Entwicklung einer objektorientierten Bibliothek für algorithmische Zahlentheorie 1997 Buchmann Diss
Peter, Alexander Zugriffsstrukturen temporaler Daten - der TSB Baum 1997 Weikum Dipl
Pöhlmann, Wolfgang SB-Edit: Erweiterung des Editors Emacs zu einem hybriden, sprachbasierten Editiersystem 1997 Wahlster Dipl
Ramrath, Thomas Entwurf und Implementierung eines Frontends für Analysen zur Vorhersage des Cache- und Pipeline-Verhaltens 1997 Wilhelm Dipl
Randriambolona, Nivo News On Demand: Design und Implementierung der Speicherkomponente eines multimedialen Nachrichtenarchivs 1997 Weikum Dipl
Rau, Rainer Adaption of a Fuzzy Controller for a Cybernetic System through an Evolutionary Algorithm 1997 Ohlbbach Dipl
Rau, Stephan Ein experimenteller Vergleich von zwei Algorithmen zur Berechnung des maximalen Flusses in einem asymmetrischen Netzwerk mit reellen Kapazitäten 1997 Dipl
Ritter, Jörg Flexible Visualisierung von Entwurfsdaten in CADIC 1997 Hotz Dipl
Rohnert, Eva Eine Benutzerschnittstelle zum automatischen Beweisen von Sätzen aus der Geometrie 1997 Hotz Dipl
Ruß, Christian Economic Mechanism Design for the Auction-Based Coordination of Self-Interested Agents 1997 Siekmann Dipl
Ruth, Ralf Parallele Simulation des Abflußgeschehens in Kanalnetzen 1997 Wilhelm Dipl
Schaarschmidt, Wolf StRANgeR, Selecting Reformulations for Analogous Replay 1997 Siekmann Dipl
Schenkel, Ralf Konzeption und Implementierung des Kommunikationsmanagers für das Workflow-Management-System MENTOR - Integration und Synchronisation der verteilten Workflow Engine 1997 Weikum Dipl
Scherer, Jürgen Intelligente Agenten in einer kompetitiven Umgebung; Eine Fallstudie: INTERRAPOLY 1997 Siekmann Dipl
Schmidt, Renate A. Optimised Modal Translation and Resolution 1997 Ganzinger Diss
Schmitt, Uwe Numerische Verfahren in der Rückstreutomographie 1997 Louis Dipl
Schneider, Susanne Schnelle Rückprojektion in der 2D-Computertomographie 1997 Louis Dipl
Scholtes, Carsten K. Untersuchung und Optimierung der SPLASH-Benchmarks MP3D und Cholesky aud der SB-PRAM 1997 Paul Dipl
Seidel, Tillmann Paralleles List Ranking 1997 Mehlhorn Dipl
Sengler, Claus Induction on Non-Freely Generated Data Types 1997 Siekmann Diss
Sevastre, Paula Betrachtungen zur diskreten Levy-Transformation 1997 Brosamler Dipl
Shabanzadeh, Darius Michael Cooperative Robots - A Scenario Created with Interrap Agents 1997 Siekmann Dipl
Sicks, Martin Adreßbestimmung zur Vorhersage des Verhaltens von Daten-Caches 1997 Wilhelm Dipl
Spengler, Bernd Eine Relationale Datenbank für die SB-PRAM - Entwicklung der Basiskomponenten 1997 Paul Dipl
Stanke, Oliver Implementierung und Vergleich unterschiedlicher Verwaltungsverfahren für einen globalen Katalog in einem verteilten Datenbanksystem 1997 Weikum Dipl
Theis, Michael Analyse der Inter-Client Communication Conventions von X11 Release 6 und Integration im Application-Sharing System XpleXer 1997 Wahlster Dipl
Timm, Jan-Georg Testing the Satisfiability of RPO Constraints 1997 Ganzinger Dipl
Trampert, Anja Die quadratische Familie 1997 Brosamler Dipl
Vigano, Luca A Framework for Non-Classical Logics 1997 Ganzinger Diss
Walle, Thomas Das Netzwerk der SB-PRAM 1997 Paul Diss
Wannenmacher, Gerhard Generierung eines symbolischen Layouts in CADIC 1997 Hotz Dipl
Weber, Damian On the Computation of Discrete Logarithms in Finite Prime Fields 1997 Buchmann Diss
Weber, Thomas Entwurf und Implementierung eines WWW-Servers für Verbmobil 1997 Wahlster Dipl
Wehrmann, Mark Der Kommunikationsmanager für das Workflow-Management-System MENTOR: Integration und Administration auf Basis eines TP-Monitors 1997 Weikum Dipl
Weiskircher, Rene 2-Schicht-Planarisierung bipartiter Graphen 1997 Mehlhorn Dipl
Werle, Frank RAP - Implementierung einer Shell zur grafischen Konfigurierung und Programmierung 1997 Wahlster Dipl
Wolf, Ulrike News-On-Demand: Design und Implementierung der Datenverwaltungskomponente eines multimedialen Nachrichtenarchives 1997 Weikum Dipl
Wolter, Jochen Lastverwaltung in einem verteilten Datenbanksystem 1997 Weikum Dipl
Zeise, Kai Morgan Ein Benchmark für parallele Datenbanken 1997 Paul Dipl
Zeyer, Jörg Eine Beobachtungslogik für modulare Sprachen 1997 Loeckx Diss
Ziegelmann, Mark Computing Dimensionally Parametrized Determinant Formulas 1997 Seidel Dipl
Ziegenbein, Kurt Bewertung verschiedener paarweiser Alignment-Methoden, Ersetzungsmatrizen und Gap-Funktionen 1997 Mehlhorn Dipl
Zieschang, Thilo E. Finite Groups and Graphs in Cryptanalysis 1997 Buchmann Diss
Zinnikus, Ingo Eine Anfragekomponente für das TACOS-System 1997 Siekmann Dipl
Freunde der Saarbrücker Informatik