Abschlüsse 1996

 

 

Name Titel Jahr Lehrstuhl Typ
Andes, Bernd Ressourcenadaptive Selektion von Referenzobjekten durch nebenläufige Lokalisierungsprozesse 1996 Wahlster Dipl
Anton, Detlef Eine Implementierung von endlichen Körpern in C++ 1996 Buchmann Dipl
Arenz, Uwe Gefügeabhängigkeit der materialspezifischen Kenngrößen zur Ermittlung der Schweißspannungen in Aluminiumbauteilen mittels Ultraschall 1996 Kröning Dipl
Autexier, Serge Heuristiken zum Beweisen von Gleichungen 1996 Siekmann Dipl
Bach, Alexander Static analysis of functional programs via Linear Logic 1996 Ganzinger Dipl
Bach, Peter Entwurf und Realisierung der Prozessorplatine der SB-PRAM 1996 Paul Dipl
Backes, Rainer Graphische Schaltkreisexpansion für CADIC 1996 Hotz Dipl
Backes, Stefan Leistungsverbesserungen von Datenaggregationen in der betriebswirtschaftlichen Ergebnis- und Marktsegmentrechnung 1996 Weikum Dipl
Bauer, Mathias Ein evidenztheoretischer Ansatz zur Planerkennung 1996 Wahlster Diss
Baus, Jörg MOSES - VIEW: Objektauswahl in 3D-Umgebungen basierend auf visueller Salienz am Beispiel des Wegbeschreibungsagenten MOSES 1996 Wahlster Dipl
Beck, Axel Algorithmen und Datenstrukturen zur Implementierung eines Constraint-Systems zur Paginierung Gelber Seiten - Beschreibung der Constraint-Repräsentationssprache YPL und der Plazierung dynamisch generierter Objekte 1996 Wahlster Dipl
Becker, Michael Visualisierungs- und Animationsmöglichkeiten von Betriebssystemabläufen mit Hilfe eines Hypertextsystems am Beispiel MINIX 1996 Scheidig Dipl
Birk, Rüdiger Lösung von Varianten des Post-Office-Problems mit Hilfe von Skipt List Range Trees 1996 Mehlhorn Dipl
Blanchebarbe, Markus Untersuchung zur Implementierung eines parallelen Algorithmus mit guter asymptotischer Laufzeit auf einem Rechner mit verteiltem Speicher und Message-Passing 1996 Dipl
Blanchebarbe, Markus Untersuchung zur Implementierung eines parallelen Algorithmus mit guter asymptotischer Laufzeit auf einem Rechner mit verteiltem Speicher und Message-Passing 1996 Mehlhorn Dipl
Bockmayr, Alexander Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1996 Mehlhorn Habil
Boullay, Johannes Eine parallelisierbare Heuristik für das MIN-COST-FLOW Problem 1996 Mehlhorn Dipl
Braun, Oliver Faktorisierung ganzer Zahlen 1996 Buchmann Dipl
Burnikel, Christoph Exact Computation of Voronoi Diagrams and Line Segment Intersections 1996 Mehlhorn Diss
Crauser, Andreas Entwicklung und Implementierung des SB-PRAM-Betriebssystems PRAMOS: SB-PRAM-Seite 1996 Paul Dipl
Dertnig, Gunther F. Stabile und schnelle Algorithmen zur Approximation von Parametern eines elliptischen Differentialoperators 1996 Louis Diss
Diehl, Stephan Semantics-Directed Generation of Compilers and Abstract Machines 1996 Wilhelm Diss
Dorchain, Jörg An Implementation of a Convex Hull Algorithm Version 2.0 1996 Mehlhorn Dipl
Eisenbrand, Friedrich Factor Refinement in Quadratischen Zahlkörpern 1996 Buchmann Dipl
Engel, Thorsten Quantifier Elimination in Second-Order Predicate Logic 1996 Mehlhorn Dipl
Fehrer, Detlef A Unifying Logical Framework for Reason Maintenance 1996 Ganzinger Diss
Fiedler, Armin Mikroplanungstechniken zur Präsentation mathematischer Beweise 1996 Siekmann Dipl
Fischer, Johannes Integration von Ebene-1-Softwarefehlertoleranz in LiPS 1996 Buchmann Dipl
Fritzen, Michael Entwicklung eines Compilers für eine modulbasierte Eingabesprache zu dem terminologischen WR-System KRIS 1996 Siekmann Dipl
Gamkrelidze, Alexander Entwurf eines boolschen Sortiernetzes mit der Struktur eines n-dimensionalen Würfels 1996 Hotz Dipl
Gapp, Klaus-Peter Ein Objektlokalisationssystem zur sprachlichen Raumbeschreibung in dreidimensionalen Umgebungen - Formalisierung, Implementierung und empirische Validierung 1996 Wahlster Diss
Geib, Simone REGgy - Integration von Regressionsstrategien in einem deduktiven Planer 1996 Wahlster Dipl
Goffing, Rita Ein Rekurrenzkriterium für reellwertige Irrfahrten 1996 Brosamler Dipl
Göler, Thomas Der Sortierknoten der SB-PRAM 1996 Paul Dipl
Gounar, Achim Generische Implementierung von Jakobi-Algorithmen auf MIMD-Systemen 1996 Buchmann Dipl
Graeber, Heiko Erwerb kompakten Wissens in einem lernenden System 1996 Paul Dipl
Graf, Winfried H. Intentionsgesteuertes Layout-Design multimedialer Präsentationen mit Constraints 1996 Wahlster Diss
Grävinghoff, Andreas Entwurf und Realisierung eines Testsystems für den Netzwerkchip der SB-PRAM 1996 Paul Dipl
Greuter, Edgar Implementierung für Navigation in Hypermedien 1996 Scheidig Dipl
Gu, Wei (F)Owl-Graphik; Neue Modelle und Verfahren zur Integration einer 2-1/2-D Graphik-Funktionalität in ein verteiltes System 1996 Scheidig Diss
Häussler, Patrick Rudolf Parallele Gitterbasisreduktion auf MIMD-Parallelrechnern 1996 Buchmann Dipl
Heckmann, Reinhold Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1996 Wilhelm Habil
Hess, Jörg Das strukturorientierte Verarbeitungskonzept und eine darauf zugeschnittene hypertextbasierte Programmentwicklungsumgebung 1996 Scheidig Dipl
Hilpert, Peter Heuristiken für das euklidische Traveling Salesman Problem 1996 Mehlhorn Dipl
Hopf, Dirk Editor zur handschriftlichen Eingabe zweidimensionaler Formeln in den Computer 1996 Hotz Dipl
Humble, Monika Die Berechnung maximaler Flüsse in Netzwerken 1996 Mehlhorn Dipl
Jung, Christoph G. Nonlinear Planning using an Abductive EVENT CALCULUS 1996 Siekmann Dipl
Jung, Karin Die hierarchische Darstellung konvexer Polyeder und einige Anwendungen 1996 Mehlhorn Dipl
Kenn, Holger Entwurf eines einfachen Client-Servers-Systems zur Verteilung von Schlüsseldaten asymetrischer Kryptosysteme 1996 Buchmann Dipl
Kirsch, Patric Implementierung des Polynomrings GF(2)[X] und des Körpers GF$(2^n)$ 1996 Buchmann Dipl
Klein, Gerald Unifikation in einem sortierten Gamma-Kalkül mit Termdeklarationen und Schnittsorten 1996 Siekmann Dipl
Knuth, Robert Quantitative Analyse von DLX-Pipeline-Architekturen 1996 Paul Diss
Kraft, Boris PROSE-A Distributed Environment for the Concurrent Execution of Dynamic Simulation Models 1996 Mattern Dipl
Kreutzer, Michael Das Fanout-Problem; Analysen und Heuristiken für flache und hierarchische Schaltungsbeschreibungen 1996 Hotz Dipl
Kröner, Alexander Algorithmen und Datenstrukturen zur Implementierung eines Constraint-Systems zur Paginierung Gelber Seiten - Realisierung des Constraint-Solvers 1996 Wahlster Dipl
Ksinsik, Patric Approximative Bewegungsplanung für einen rechteckigen Roboter mit Hilfe von Voronoidiagrammen 1996 Mehlhorn Dipl
Lehmann, Günter Basisalgorithmen zur Situationserkennung in INTERRAP 1996 Siekmann Dipl
Leister, Holger Entwurf und Realisierung der Fanoutstufen der SB-PRAM; Schaltpläne 1996 Paul Dipl
Lenhardt, Christiane Objektorientierte Implementierung von Algorithmen und Strukturen in der linearen Algebra 1996 Buchmann Dipl
Li, Ming Ein wissensbasiertes System zur automatischen Generierung von Explosionszeichnungen 1996 Wahlster Diss
Lichtenau, C. Entwurf und Realisierung des Speicherboards der SB-PRAM 1996 Paul Dipl
Lutter, Stefan Ein Bewegungsplanungsalgorithmus für zwei Rechtecke mit einem gemeinsamen Eckpunkt 1996 Mehlhorn Dipl
Maaß, Wolfgang Von visuellen Daten zu inkrementellen Wegbeschreibungen in dreidimensionalen Umgebungen: Das Modell eines kognitiven Agenten 1996 Wahlster Diss
Manß, Christian Separatoren in planaren Graphen: Implementierung einer 2-Approximation 1996 Mehlhorn Dipl
Marx, Dirk Datenhandschuhgesteuerte Interaktion mit virtuellen 3D-Szenarien; Teil 1: Grundlagen und Systemintegration 1996 Paul Dipl
Mathiske, Bernd Mobilität in persistenten Objektsystemen 1996 Schmidt Diss
Maurer, Tanja Heuristiken für Goldbergs Preflow Push Algorithmus 1996 Mehlhorn Dipl
Mautes, Stefan Wolfgang Johannes Konfigurationsmanagement im LAN 1996 Wilhelm Dipl
Meyer, Christoph Parallel Unit Resoluting Resolution 1996 Mattern Dipl
Monstadt, Andreas Eine Entwicklungsumgebung für die objektorientierte Bibliothek LiDIA 1996 Buchmann Dipl
Müller, Bärbel Pseudozufallszahlengeneratoren in LiSA 1996 Dipl
Müller, Holger Pfadsystemtest für unate Schaltkreise 1996 Hotz Dipl
Müller, Jörg P. An Architecture for Dynamically Interacting Agents 1996 Siekmann Diss
Müller, Thomas Ein Übersetzer für die Wissensrepräsentationssprache eXu 1996 Wilhelm Dipl
Niehren, Michael Modellierung verhaltensbasierter Agenten in INTERRAP 1996 Siekmann Dipl
Odendahl, Clemens Zentrales vs. dezentrales Planen in einer flexiblen Fertigungsumgebung 1996 Siekmann Dipl
Oh, Young-Joo Design und Implementierung einer drahtlosen seriellen Kommunikationsschnittstelle für Khepera Roboter 1996 Siekmann Dipl
Paul, Joachim MOSES-SPEAK - Adaptierte raumsprachliche Beschreibungen in 3D-Umgebungen am Beispiel inkrementeller Wegbeschreibungen 1996 Wahlster Dipl
Petry, Michael Ein M/G/1-Bedienungsmodell mit Ankunft und Abfertigung in Gruppen und verzögerter Bedienung 1996 Schmidt Dipl
Pfahler, Thomas Polynomfaktorisierung über endlichen Körpern 1996 Buchmann Dipl
Pick, Achim Eine log-basierte Zugriffsmethode für temporale Daten 1996 Weikum Dipl
Rauber, Thomas Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1996 Paul Habil
Rederlechner, Bernd Parallele diskrete Ereignissimulation auf der SB-PRAM 1996 Paul Dipl
Reitenbach, Rolf-Uwe FISH - Schnelle fotorealistische Visualisierung hochkomplexer Szenen mittels eines Scanlines-Z-Buffer-Algorithmus 1996 Paul Dipl
Röhrig, Jochen Implementierung der P4-Laufzeitbibliothek auf der SB-PRAM 1996 Paul Dipl
Rosinus, Michael ALADIN - A Language for Designing INTERRAP Agents 1996 Siekmann Dipl
Rübel, Christian Beschreibungssprache zur Generierung von Datenstrukturen für den Übersetzerbau 1996 Wilhelm Dipl
Rünger, Gudula Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1996 Loeckx Habil
Rupp, Uwe GRATOR - Räumliches Schließen mit GRAdierten TOpologischen Relationen über Punktmengen 1996 Wahlster Dipl
Sander, Georg Visualisierungstechniken für den Compilerbau 1996 Wilhelm Dipl
Schank, Eric Claus Blinde probabilistische Beweisverifikation - Ein Zwei-Phasen-Ansatz 1996 Buchmann Diss
Schieffer, Björn Rüdiger Diagnose komplexer Systeme am Beispiel eines Tank-Ballast-System 1996 Hotz Dipl
Schiffmann, Thomas Modellierung von Bewegungskonzepten für die inkrementelle Szenenfolgenanalyse 1996 Wahlster Dipl
Schild, Klaus Querying Knowledge and Data Bases by a Universal Description Logic with Recursion 1996 Siekmann Diss
Schlobach, Stefan Untersuchung nicht-monotoner Logiken 1996 Ganzinger Dipl
Schmeier, Sven PASHA 2 - Personal Assistant for ScHeduling Appointments 1996 Siekmann Dipl
Schneider, Roman Objekt-Orientierte Entwicklung eines Systems zur Gesteneingabe 1996 Hotz Dipl
Schneiders, Johannes PROSE - An adaptive run-time system for distributed simulation 1996 Mattern Dipl
Scholl, Christoph Mehrstufige Logiksynthese unter Ausnutzung funktionaler Eigenschaften 1996 Hotz Diss
Schröder, Frank PlanIt; Ein Plangenerierer für ein interaktives Hilfesystem in grafischen Benutzeroberflächen 1996 Wahlster Dipl
Schult, Thomas J. Dynamische fallbasierte Lehrsysteme - Ein kognitionswissenschaftlicher Ansatz 1996 Habel Diss
Schwarz, Jochen Entwurf und Implementierung einer objektorientierten Softwarebibliothek kryptographischer Algorithmen 1996 Buchmann Dipl
Schwerdt, Jörg Das Diameterproblem einer bewegten Punktmenge: eine Implementierung mit Hilfe von parametric search 1996 Mehlhorn Dipl
Seel, Christian Wissensbasierte Konfiguration von Warenwirtschaftssystemen 1996 Siekmann Dipl
Sesseler, Ralf Das Agentenmodell INTERRAP im Vergleich mit kognitiven Architekturen 1996 Siekmann Dipl
Setz, Thomas Integration von Mechanismen zur Unterstützung der Fehlertoleranz in LiPS 1996 Buchmann Diss
Smaus, Jan-Georg Finding Resolution K-Transformations 1996 Siekmann Dipl
Sparmann, Uwe Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1996 Hotz Habil
Stemmler, Thomas Das Verhalten eines einfachen Bedienungssystems bei Festlegung zweier Umschaltschranken 1996 Schmidt Dipl
Thiel, Christian Effiziente Algorithmen für Probleme der Kollisionserkennung und der geometrischen Optimierung 1996 Mehlhorn Diss
Trautmann, Lutz Datenhandschuhgesteuerte Interaktion mit virtuellen 3D-Szenarien; Teil 2: Beispiel-Applikationen 1996 Paul Dipl
Trumm, Manuel Quadratwurzel eines Produktes algebraischer Zahlen 1996 Buchmann Dipl
Walter-Scheerer, Frederic J. Dynamische Lastbalancierung in einem verteilten VHDL-Simulator 1996 Mattern Dipl
Weidenbach, Christoph Computational Aspects of a First-Order Logic with Sorts 1996 Ganzinger Dipl
Wein, Michael Eine parametrisierbare Generierungskomponente mit generischem Backtracking 1996 Uszkoreit Dipl
Welsch, Markus Exakte geometrische Kollisionserkennung 1996 Dipl
Welsch, Markus Exakte geometrische Kollisionserkennung 1996 Hotz Dipl
Werner, Horst Konzept eines objektorientierten Konstruktionssystems zur integralen Modellierung von Standardteilen und -baugruppen 1996 Dipl
Wingenter, Ralf Ein deduktiver Planungsansatz für INTERRAP 1996 Siekmann Dipl
Zimmer, Kathrin Untersuchungen zur Optimalität Sequentieller Quotiententests 1996 Schmidt Dipl
Zorn, Peter Michael Implementierung einer parallelen Variante von LocusRoute auf der SB-PRAM 1996 Paul Dipl
Freunde der Saarbrücker Informatik