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

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

Created and designed by FdSI Impressum