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

Abschlüsse 1992 und 1993 Name Titel Jahr Lehrstuhl Typ Basenach, Dirk Scanline-Algorithmen zur Layout-Verifikation 1992 Mehlhorn Dipl Bloß, Martina Die parabolische Hamilton-Jacobi-Bellman Gleichung und ihre numerische Lösung durch Mehrgitter-Verfahren 1992 Louis Diss Dausend, Beate Zum Verschlüsselungsverfahren von T. ElGamal 1992 Buchmann Dipl Dedorath, Jürgen Parallele Berechnung von Fluessen in Netzwerken 1992 Mehlhorn Dipl Diagne, Abdel Kader HyperSN. Eine hypermedia-orientierte Wissensrepräsentationswerkbank für die Entwicklung von Tutorensystemen. Dargestellt an einem Beispiel aus dem deutschen Gesellschaftsrecht 1992 Wahlster - Herberger Dipl Engelmann, Curd Simulation von PRAM's 1992 Paul Dipl Formella, Arno Leistung und Güte numerischer Vektorrechnerarchitekturen 1992 Paul Diss Fouotsop-Meli, Henri Eine Anwendung des Backpropagation-Algorithmus zur Steuerung eines Roboterarmes 1992 Paul Dipl Füllen, Georg Sichere Pseudo-Zufalls-Generatoren 1992 Dipl Gill, Christian Implementierung von parallelem Ray-Tracing auf Datis-P-32 1992 Paul Dipl Grande, Bernd Verfahren zur hierarchischen Schichtzuweisung und ihre Implementierung in CADIC 1992 Hotz Dipl Greim, Michael PHOENICS - Eine interaktive, inkrementelle Programmierumgebung für Pascal 1992 Wilhelm Dipl Groß, Bettina Algorithmen zum Linienschnitt-Problem 1992 Wilhelm Dipl Guan, Yonggang Klammergrammatiken, Netzgrammatiken und Interpretation von Netzen 1992 Hotz Diss Hartmann, Joachim Analyse und Verbesserung der probalistischen Testbarkeit kombinatorischer Schaltungen 1992 Hotz Diss Hauck, Christian Zur Lösung linearer Gleichungssysteme in endlichen Körpern mit Hilfe der strukturierten Gaußelimination 1992 Buchmann Dipl Heck, Matthias Karl Diffusion auf dem Sierpinski gasket, die unter lokalen Isometrien invariant sind 1992 Brosamler Dipl Hecking, Matthias Eine logische Behandlung der verteilten und mehrstufigen Planerkennung 1992 Wahlster Diss Hector, Günter SIGER. Schema-basierte Generierung von Dialogbeiträgen in einem intelligenten Hilfesystem 1992 Wahlster Dipl Heimig, Ingo Übersicht über den momentanen Stand der High-Level Synthese 1992 Hotz Dipl Hontoy, Francoise Arrangements von Hyperebenen mit Anwendungen 1992 Mehlhorn Dipl Hundehege, Johannes-Bernhard Effiziente Compilation funktionaler Module einer algebraischen Spezifikationssprache 1992 Cryer Diss Käppner, Karin Analysen zur Übersetzung von FORK -Teil 1- 1992 Wilhelm Dipl Kaufmann, Michael Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1992 Mehlhorn Habil Keller, Jörg Zur Realisierbarkeit des PRAM Modelles 1992 Paul Diss Keller, Paul Spezifikation und Implementierung eines Ada-Font-Ends mittels übersetzer-erzeugender Systeme. Teil 1: Deklarationen, Nameclass-Analyse und Transformationen 1992 Wilhelm Dipl Kronz, Andreas Die Parallelisierung und Implementierung der APL-Funktionen Grade Up/Grade Down und Indexing auf dem Multiorzessorsystem Datis-P 1992 Paul Dipl Kyriakos, Ikonomidis Konstruktion von Voronoi-Diagramm durch Sweepline-Technik 1992 Mehlhorn Dipl Landwehr, Erik KREDIT-BERATER Ein wissensbasiertes System zur Beurteilung von Nichtigkeitsaspekten eines Verbraucherkreditvertrages 1992 Dipl Lassen, Renate Generische Datenabhängigkeitsanalyse für imperative Programmiersprachen 1992 Paul Dipl Leitges, Thomas Die Definition von Modulen und Moduloperationen in der Programmiersprache Hoppla 1992 Loeckx Dipl Maaß, Wolfgang Constraint-basierte Plazierung in multimodalen Dokumenten am Beispiel des Layout-Managers in WIP 1992 Wahlster Dipl Martial, Frank von Coordinating Plans of Autonomous Agents 1992 Siekmann Diss Merscher, Patrick Standards für objektorientiertes Programmieren in der Computeralgebra 1992 Buchmann Dipl Meyer, Bernd E. Bit-Commitment-Schemes and Zero-Knowledge 1992 Buchmann Dipl Naumann-Kipper, Petra Interaktive Beweissysteme und Arthur-Merlin-Beweissysteme 1992 Buchmann Dipl Obe, Alexander Bestimmung von Arbeitslast durch partielles Decompilieren zur Leistungsbewertung von Rechnern 1992 Paul Diss Oberhausen, Patrick Trace Scheduling 1992 Paul Dipl Oster, Manfred Ein optimierender Traceschedulingcompiler für den Vektorrechner SPARK 2.0 1992 Paul Dipl Paul, Margit Implementierung eines Algorithmus um eine Kreisscheibe durch eine Ansammlung von Polygonen zu bewegen 1992 Mehlhorn Dipl Paulus, Sachar Algorithmen für endliche abelsche Gruppen 1992 Buchmann Dipl Präcklein, Axel Integration of Rewriting, Narrowing, Compilation, and Heuristics for Equality Reasoning in Resolution-Based Theorem Proving 1992 Siekmann Diss Roidl, Klaus-Peter Induktionsmethoden durch Konsistenzbeweise 1992 Loeckx Dipl Roth, Ralf LiPS. Ein System für verteilte Anwendungen 1992 Buchmann Dipl Samkian, Emik VV-XPS. Ein Expertensystem zur Ermittlung absetzbarer Werbungskosten und Sonderausgaben bei Einkünften aus Vermietung und Verpachtung 1992 Wahlster Dipl Schäfer, Heike Sichtbarkeitsgraphen von Liniensegmenten und Kreisen 1992 Mehlhorn Dipl Schirra, Stefan Approximative Bewegungsplanungsverfahren 1992 Mehlhorn Diss Schmidt, Dietmar Bewertung und Optimierung von CPU-Architekturen für VAX- und IBM/370-Instruktionsansätze 1992 Paul Diss Schmitt, Arno Semantische Grundlagen der PRAM-Sprache FORK 1992 Paul Diss Schmitt, Ernst Ein Branch und Bound-Algorithmus für das Traveling Salesman Problem 1992 Mehlhorn Dipl Schmitt, Reinhold MAIDAI. Ein System zur Begründungsverwaltung von Default-Assertionen 1992 Wahlster Dipl Schnabel, Jörg Generierung der Stromversorgung in CADIC 1992 Hotz Dipl Scholl, Christoph Mehrstufige Logiksynthese unter Ausnutzung von Symmetrien und nichtrivialen Zerlegungen 1992 Hotz Dipl Schöpfer, Volker Partielle Auswertung für die funktionale Programmiersprache Hope 1992 Wilhelm Dipl Schweizer, Martin Symbolische Kommunikation und verteilte Hypertextarchitekturen 1992 Scheidig Dipl Simon, Thomas Erweiterung der VLSI-Entwurfsumgebung HILL um nicht-rechteckige Zellstrukturen 1992 Mehlhorn Dipl Standfuss, Anette Konnektionistische Methoden 1992 Dipl Steiner, Barbara Visualisierung der abstrakten Maschine MaMa 1992 Wilhelm Dipl Stella, Sergio Entwurf und Implementierung eines inkremenmtellen Binders basierend auf Comskee 1992 Hotz Dipl Stella, Sergio Entwurf und Implementierung eines inkrementellen Binders basierend auf Comskee 1992 Hotz Dipl Thiel, Christian Zur Identität von IP und ZK 1992 Buchmann Dipl Thiel, Christoph Zur Theorie interaktiver Beweissysteme mit mehreren Provern 1992 Buchmann Dipl Urban, Karsten Beschränktheitsprinzipien in der Theorie der rationalen Approximation 1992 Dipl Walle, Thomas Entwurf, Bau und Test eines effizient testbaren Gleitkommaaddierers auf einer kommerziellen Sea-of-Gate Struktur 1992 Paul Dipl Welter, Markus Analysen und Übersetzung von FORK - Teil 2 - 1992 Wilhelm Dipl Wenzel, Michael Wörterbücher für ein beschränktes Universum 1992 Mehlhorn Dipl Wichert, Andreas Konzeption und Implementierung Kaskadierter Kohonen-Netzwerke im MTC-Modell am Beispiel der Spracherkennung 1992 Wahlster Dipl Wichert, Andreas MTC1. 0-Simulatur. Zusatz zur Diplomarbeit. Inkl. 2 Disketten 1992 Wahlster Dipl Wolf, Markus Semantische Grundlagen einer Verbindung zwischen algebraischer und algorithmischer Spezifikationsmethode 1992 Loeckx Dipl Zimmer, Nicole Die Konstruktion abstrakter Voronoidiagramme 1992 Mehlhorn Dipl Albers, Susanne The Influence of Lookahead in Competative On-Line Algorithms 1993 Mehlhorn Diss Bamberger, Marc Eine Anwendung eines Kohonennetzwerkes zur Steuerung eines Roboterarmes 1993 Paul Dipl Bartholomes, Jutta Gitterbasisreduktion im Reellen 1993 Buchmann Dipl Bast, Holger Fast Parallel Space Allocation, Estimation and Integer Sorting 1993 Mehlhorn Dipl Berger, Franz-Dieter ECM. Faktorisierung mit elliptischen Kurven 1993 Buchmann Dipl Biehl, Ingrid Eine Grundlegung der Average-Case Komlexitätstheorie 1993 Buchmann Diss Birk, Andreas Beschreibung und Implementierung eines lernenden Systems 1993 Paul Dipl Biwersi, Michael uSiC ein kleiner Silicon Compiler 1993 Hotz Dipl Blaess, Jochen Implementierung eines hierarchischen Informationsflußsystems 1993 Mehlhorn Dipl Böschen, Christoph CHRISTMAS. Eine abstrakte Maschine für O'small 1993 keine Angaben Dipl Braune, Beatrix SiATeX. Eine interaktive Arbeits- und Graphikumgebung für TeX unter dem X11 Window System 1993 Wilhelm Dipl Brettar, Christoph muSIC - ein kleiner Silicon Compiler: regelbasierte Bausteinanpassung und Schaltkreisoptimierung 1993 Hotz Dipl Buhmann, Peter Disunifikation in modularen Termalgebren 1993 Loeckx Dipl Buschauer, Bela Modulare Konzeption einer Werkbank für Tree Adjoining Grammars mit einer inkrementellen Konsistenzprüfung 1993 Wahlster Dipl Denny, Markus Oswald Monotones Häufen und Token Distribution auf dem Hypercube 1993 Mehlhorn Dipl Denny, Thomas Friedrich Faktorisieren mit dem Quadratischen Sieb 1993 Buchmann Dipl Dierstein, Anne Parallelisierung mit automatischer Datenaufteilung für imperative Programmiersprachen. Teil 1: Parallelisierungsstrategie 1993 Wilhelm Dipl Emde, Katja Alternativer Seitenumbruch für logisch ausgezeichnete Dokumente 1993 Wilhelm Dipl Emmerich, Martin Netzlistenextraktion aus einem hierarchischen Syntaxgraphen 1993 Hotz Dipl Feiler, Jürgen Algorithmen zur Bewertung von Optionen 1993 Buchmann Dipl Fleischer, Rudolf Hans Genaue Analyse einiger kombinatorischer Algorithmen 1993 Mehlhorn Diss Freitag, Hartmut Methoden zur modellbasierten Diagnose von Systemen mit komplexer Struktur und zeitabhängigem Verhalten 1993 Neumann Diss Fritz, Markus Kollisionserkennung in der Objektmontage 1993 Hotz Dipl Gammel, Rainer Algorithmen zur Triangulierung von Polygonen 1993 Mehlhorn Dipl Gapp, Klaus-Peter Berechnungsverfahren für räumliche Relationen in 3D-Szenen 1993 Wahlster Dipl Gimmler, Manfred Mehrfach-Punkte der d-dimensionalen Brownschen Bewegung 1993 Brosamler Dipl Haak, Evelyn Untere Schranken für das Union-Find-Problem 1993 Mehlhorn Dipl Hagerup, Torben Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1993 Mehlhorn Habil Hammes, Dominik Visualisierung und Fortschrittskontrolle eines eigenständig lernenden Systems 1993 Paul Dipl Handl, Ralf Sicherheit kryptographischer Protokolle 1993 Buchmann Diss Hayer, Roman Parallelisierung mit automatischer Datenaufteilung für imperative Programmiersprachen. Teil 2: Automatische Datenaufteilung 1993 Wilhelm Dipl Heib, Silvia Semantisch gesteuerte Suchprozesse in hybriden Repräsentationssystemen 1993 Wahlster Dipl Heinsohn, Jochen Ein hybrider Ansatz zur Modellierung von Unsicherheit in terminologistischen Logiken 1993 Wahlster Diss Helders, Johannes Die Splitter-Finding-Methode für das Maximum-Weight-Matching-Problem 1993 Mehlhorn Dipl Jacobs, Stefan Über Negation im logischen Programmieren 1993 Smolka Dipl Jakobi, Christoph Typüberprüfung in einer Programmiersprache des polymorphen lambda-Kalküls höherer Ordnung: HOPPLA 1993 Loeckx Dipl Kone, Habibatou INKOPA: Ein INkrementeller KOnnektionistischer PArser für natürliche Sprache 1993 Wahlster Dipl Korn, Heinfried Lastverteilungsstrategien für die Parallele G-Maschine 1993 Wilhelm Dipl Kremer, Stephanie Fehlersimulation in sequentiellen Schaltkreisen 1993 Hotz Dipl Kudenko, Daniel RAT - Repräsentation von Aktionen mit Terminologischen Logiken 1993 Wahlster Dipl Lajevardi, Behzad Convex Hulls 1993 Mehlhorn Dipl Lakehsar, Asif Rashid Lokalisierung von Punkten in der Ebene durch persistente Suchbäume 1993 Mehlhorn Dipl Lenhof, Hans-Peter Distanz- und Suchprobleme in der algorithmischen Geometrie und Anwendungen in der Bioinformatik 1993 Hotz Diss Lillig, Joachim Ein Compiler für die Programmiersprache FORK 1993 Paul Dipl Meiser, Stefan Zur Konstruktion abstrakter Voronoiddiagramme 1993 Mehlhorn Diss Mestmäcker, Frank Kleine Winkel beim Zeichnen planarer Graphen 1993 Kaufmann Dipl Mohammadzadeh, Parinaz Darstellung eines Graphen mit minimaler Überkreuzung der Kanten in der Ebene 1993 Wilhelm Dipl Müller, G. Anwendung der Evolutionsstrategie zur Lastverteilung paralleler funktionaler Programme 1993 Wilhelm Dipl Müller, Michael Entwicklung eines Chips für auslöschungsfreie Summation von Gleitkommazahlen 1993 Mehlhorn Diss Ohlbach, Hans Jürgen Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1993 Ganzinger Habil Olinga, Guy Francois Berechnung von Signalwahrscheinlichkeiten in kombinatorischen Schaltkreisen 1993 Hotz Dipl Papanikolaou, Thomas libF - eine lange Gleitpunktarithmetik 1993 Buchmann Dipl Pitsch, Gisela Analyse von Klammergrammatiken 1993 Hotz Diss Poller, Peter Inkrementelles und direktes Parsing von Local Dominance / Tree Linear Precedence - Tree Adjoining Grammars 1993 Wahlster Dipl Pooladian, Hamid-Reza Design eines zeitoptimalen Baum-Multiplizierers mit Hilfe der HILL-Entwurfsumgebung 1993 Mehlhorn Dipl Portz, Sascha Darstellung und Implementierung polynomieller und streng polynomieller Algorithmen für das Minimum-Cost-Flow-Problem 1993 Mehlhorn Dipl Preis, Bettina Ein NP-vollständiges Plazierungsproblem 1993 Mehlhorn Dipl Quapp, Joachim Ein- und Mehrschreiber-Systeme zur Handschrifterkennung mit Neuronalen Netzen 1993 Hotz Dipl Raasch, Ingo Negation in Constraint-basierten Grammatikformalismen 1993 Uszkoreit Dipl Rao, Nageswara S.V.;Kareti, Srikumar;Shi, Weimin;Iyengar, S. Sitharama Robot navigation in unknown terrains 1993 Dipl Reinert, Knut Deferred Data Structuring 1993 Mehlhorn Dipl Scheja, Ortwin Resolution in mehrwertigen Logiken höherer Stufe 1993 Siekmann Dipl Scheuermann, Gerhard Eine Schachproblemdatenbank mit integrierter Problemlösungskomponente 1993 Mehlhorn Dipl Schneider, Achim Konnektionistische Simulation adaptiver Leistungen des Flugsteuersystems der Wanderheuschrecke 1993 Wahlster Dipl Schneider, Markus E. Zweidimensionale Objekte in LEDA mit homogenen Koordinaten 1993 Mehlhorn Dipl Schommer, Christoph PAPADEUS: Ein inkrementeller konnektionistischer Parser mit einer parallelen Disambiguierungskomponente 1993 Wahlster Dipl Schwarz, Christian Data Structures and Algorithms for the Dynamic Closest Pair Problem 1993 Mehlhorn Diss Seibel, Steffen Rekonstruktion des Geschwindigkeitsfeldes seismischer Wellen durch Laufzeitmessungen 1993 Louis Dipl Sinnwell, Markus Simulation von Roboterbewegungen mit On-Line Kollisionserkennung 1993 Hotz Dipl Soetopo, Dudung Marjono Automatisierung des Text-Layouts beim Design multimodaler Systeme 1993 Wahlster Dipl Stopp, Eva GEO-ANTLIMA: Konstruktion dreidimensionaler mentaler Bilder aus sprachlichen Szenenbeschreibungen 1993 Wahlster Dipl Teia, Boris Ein Beitrag zum k-Server-Problem 1993 Mehlhorn Diss Uhrig, Christian Lower and Upper Bounds for Operations on Sets 1993 Mehlhorn Diss Ulrich, Benzing Parametrisierter Entwurf eines schnellen 1024Bit-Multiplizierers unter Verwendung des VLSI-Entwurfssystems CADIC 1993 Molitor Dipl Vogelgesang, Timo Generische Vektorisierung imperativer Programmiersprachen 1993 Wilhelm Dipl Weber, Damian Ein Algorithmus zur Zerlegung von Primzahlen in Primideale 1993 Buchmann Dipl Weigele, Martin Mathematisches Informations-Engineering, Daten- und Transaktions-orientierter Softwareentwurf oder Transaktionen in der Wissensrepräsentation 1993 Habel Diss Weller, Roland Eine Anpassungseinrichtung zur Übertragung von Daten über das öffentliche Fernsprechnetz 1993 Dipl Westhofen, Dorothea Die Verwendung abstrakter Datentypen, Teammigration und eine potentielle Parallelverarbeitung in BirliX 1993 Scheidig Dipl Winckler, Jörg PYRAMID Ein Rahmensystem zur verteilten und mehrstufigen Planerkennung 1993 Wahlster Dipl Ziemer, Jörg Ein Planaritätstest für Graphen 1993 Mehlhorn Dipl Zimmermann, Detlev AnnA II: Ein wissensbasiertes System zur automatischen Annotation von Graphiken 1993 Wahlster Dipl

Created and designed by FdSI Impressum