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

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

Created and designed by FdSI Impressum