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

Abschlüsse 1990 und 1991 Name Titel Jahr Lehrstuhl Typ Alt, Martin Ein Übersetzer für die funktionale Sprache TraFoLa 1990 Wilhelm Dipl Bauer, Mathias Conditioned Circumscription: Übertragung von Defaults in Circumscription Teil 2 1990 Wahlster Dipl Berger, Frank Ein Massiv Paralleles Modell eines Planerkenners 1990 Wahlster Dipl Bingert, Anke Parallelisierung der APL-Funktion REDUCTION 1990 Paul Dipl Busemann, Stephan Generierung natürlicher Sprache mit Generalisierten Phrasenstruktur-Grammatiken 1990 Wahlster Diss Dobrindt, Katrin Algorithmen für Polyeder 1990 Mehlhorn Dipl Eickholt, Hans-Hermann Entwicklung zweier VLSI-Multipliziererchips mit dem CAD-Entwurfssystem VENUS 1.43 1990 Hotz Dipl Fabri, Andreas Lokale Verdrahtung in geradlinigen Graphen 1990 Mehlhorn Dipl Fecht, Christian Trama. Eine abstrakte Maschine zur Implementierung der funktionalen Programmiersprache Trafola 1990 Wilhelm Dipl Ferdinand, Christian Pattern-Matching in TRAFOLA 1990 Wilhelm Dipl Finkler, Wolfgang POPEL-HOW: Ein verteiltes paralleles Modell zur inkrementellen Generierung natürlichsprachlicher Sätze aus konzeptuellen Einheiten Teil 1 1990 Wahlster Dipl Fuchs, Jürgen Transformation algorithmischer Spezifikationen in imperative Programmiersprachen 1990 Loeckx Dipl Glaes, Stefan Redesign eines OTN-Chips mit Hilfe der HILL-Entwurfsumgebung 1990 Mehlhorn Dipl Gläs, Stefan Redesign eines OTN-Chips mit Hilfe der HILL-Entwurfsumgebung 1990 Mehlhorn Dipl Groh, Markus Bewegen eines rechtwinkligen Objektes durch eine Szene mit isothetischen Hindernissen zur Anwendung bei der VLSI-Verdrahtung 1990 Hotz Dipl Groß, Arno Optimale Kanalverdrahtung von Ein- und Zweiseitennetzen 1990 Mehlhorn Dipl Grün, Thomas Entwurf und Realisierung eines Interfaces zwischen dem Breitband-Netz und Rechnern mit VMEBus 1990 Paul Dipl Grünewald, Birgit Entwurf eines Chips zur Berechnung von Ausgleichsparabeln 1990 Hotz Dipl Heckler, Christian Obere und untere Schranken beim zwei- und dreidimensionalen VLSI-Entwurf 1990 Hotz Dipl Heckmann, Reinhold Power Domain Constructions (Potenzbereich-Konstruktionen) 1990 Wilhelm Diss Helfgen, Ralf Toruskompaktierung 1990 Mehlhorn Dipl Hinsberger, Uwe Zellenbasierte Dimensionierung kombinatorischer Schaltkreise 1990 Hotz Dipl Hochgesand, Ute GABI-2: Geldanlageberatung als Mehrfachdiagnoseproblem 1990 Wahlster Dipl Hoffmann, Annette Eigenschaften von Modulausdrücken 1990 Loeckx Dipl Horsch, Günter Source-To-Source Transformation. Eine Studie des Transformatorsystems OPTRAN anhand eines SPL4-C-Compilers 1990 Wilhelm Dipl Kalmes, Joachim SB-Graph. Eine graphische Benutzerschnittstelle für die Wissensrepräsentationswerkbank SB-ONE 1990 Wahlster Dipl Keßler, Christoph Werner Code-Optimierung quasiskalarer vektorieller Grundblöcke für Vektorrechner 1990 Paul Dipl Kiel, Detlef VLSI-Architekturen zur Verwaltung von Wörterbüchern. Analyse und Entwürfe 1990 Hotz Dipl Klein, Helmut WIMOX. Ein Wissenserwerbssystem für die Morphologiekomponente MORPHIX 1990 Wahlster Dipl König, Joachim Leitungsverfeinerung in CADIC 1990 Hotz Dipl Kraus, Cornelia Backup und Archivierung in verteilten Systemen 1990 Scheidig Dipl Kuhn, Reinhard Zweidimensionale Kompaktierung mit automatischer Jobeinfügung 1990 Mehlhorn Dipl Latz, Thomas Kanalverdrahtung und lineare Programmierung 1990 Mehlhorn Dipl Lehmann, Thomas Ein abstrakter Implementierungsbegriff für die Spezifikationssprache OBSCURE 1990 Loeckx Diss Lerner, Michael MCIM. Ein modulares CIM Interface Modell. Teil 1 1990 Paul Dipl Lugger, Josef Algorithmen für das Separationsproblem in der Ebene und im IR3 1990 Mehlhorn Dipl Maas, Martin Generalisiertes topologisches Sortieren 1990 Mehlhorn Dipl Maas, Thomas Spezifikation und Implementierung eines Ada-Front -Ends mittels Übersetzer-erzeugender Systeme. Teil 2: Auflösung der Überladung und Erzeugung der DIANA-Form 1990 Wilhelm Dipl Malowaniec, Krzysztof T. Das dynamische Leitungsvermittlungsnetz für verteilte Systeme 1990 Scheidig Diss Marzinkewitsch, Reiner Ein Arbeitsplatz zum rechnerunterstützten handschriftlichen Rechnen mit mathematischen Formeln 1990 Hotz Diss Massone, Werner Schnelle Routing-Algorithmen auf Butterfly-Netzwerken 1990 Paul Dipl Mechenbier, Dirk Kompaktieren von Layouts 1990 Wahlster Dipl Merziger, Gaby Conditioned Circumscription: Übertragung von Defaults in Circumscription Teil 1 1990 Wahlster Dipl Meyer, Jörg MCIM. Ein modulares CIM Interface Modell. Teil 2 1990 Paul Dipl Müller, Birgit Ausnutzen funktionaler Eigenschaften von Operationen zur Erhöhung der Verfügbarkeit von Rechnern 1990 Hotz Dipl Muth, Wolfgang Vergleich der Comskee-Strings und -Wörterbücher mit in C++ [plus plus] nachgebildeten Datentypen 1990 Dipl Naumann, Michael Ein APL-Interpreter für DATIS-P 1990 Paul Dipl Ndiaye, Alassane FSS-WASTL 1990 Wahlster Dipl Osthof, Hans Georg Optimale Grapheinbettung und ihre Anwendungen 1990 Hotz Diss Pitsch, Gisela Effiziente parallele Verfahren zur Entscheidung des Wortproblems bei Dycksprachen 1990 Hotz Dipl Prinz, Dorothee Remote Procedure Call in verteilten Systemen 1990 Scheidig Dipl Profitlich, Hans-Jürgen SB-ONE: Ein Wissensrepräsentationssystem basierend auf KL-ONE 1990 Wahlster Dipl Rauber, Thomas Ein Compiler für Vektorrechner mit optimaler Auswertung von vektoriellen Ausdrucksbäumen 1990 Paul Diss Rech, Karsten Berechnung eines exakten Voronoidiagramms für Polygone 1990 Mehlhorn Dipl Ringling, Uwe Anfragen nach dem kürzesten Weg in Gegenwart polygonaler Hindernisse 1990 Mehlhorn Dipl Rüb, Christine Parallele Algorithmen zum Berechnen der Schnittpunkte von Liniesegmenten 1990 Mehlhorn Diss Sander, Georg Entwicklung und implementierung eines polymorphen Typsystems für di funktionale Programmiersprache TRAFOLA 1990 Wilhelm Dipl Schauder, Anne Inkrementelle syntaktische Generierung natürlicher Sprache mit Tree Adjoining Grammars 1990 Wahlster Dipl Scherer, Joachim SB-PART: ein Partitionsmechanismus für die Wissensrepresentationssprache SBONE 1990 Wahlster Dipl Schifferer, Klaus TAGDevEnv: Eine Werkbank für Tree Adjoining Grammars 1990 Wahlster Dipl Schmitt, Monika Finite-Elemente-Diskretisierungen mit degenerierenden Gittern 1990 Rannacher Dipl Simon, Berthold Lösung stationärer Stokes-Probleme mit Uzawa-artigen Algorithmen und Defektkorrektur 1990 Rannacher Dipl Stahl, Susanne Kompaktierungsalgorithmus mit Automatischer Knickeinfügung 1990 Mehlhorn Dipl Thieser, Elisabeth Attributauswertung für zyklische Attributierungen 1990 Wilhelm Dipl Wagner, Karl Ein Las Vegas-Algorithmus zur Berechnung dreidimemensionaler Voronoidiagramme 1990 Mehlhorn Dipl Weber, Wolfgang Entwurf und Test einer Familie von schnellen Gleitkommaaddierern 1990 Hotz Dipl Weinelt, Bernhard Homotopische Knock-Knee-Verdrahtung: Eine Linearzeit-Implementierung 1990 Mehlhorn Dipl Wellner, Ingrid Zur Theorie der Zero Knowledge Proofs 1990 Buchmann Dipl Xun, Xiong Ein Algorithmus für eindimensionale Kompaktierung im Knock-Knee-Modell 1990 Mehlhorn Dipl Zeyer, Jörg Universale partielle Algebren mit Prädikaten als logischer Rahmen für abstrakte Datentypen mit Fehlerbehandlung 1990 Loeckx Dipl Zimmer, Walter Realisierung eines schnellen 1024-bit-Multiplizierers 1990 Hotz Dipl Aue, Dirk Der KADS-Ansatz als Methodik zur Dokumentation, Rekonstruktion, Erweiterung und Steuerung des natürlichsprachlichen Zugangssystems XTRA 1991 Wahlster Dipl Becker, Michael Zur Berechnung diskreter Logarithmen in endlichen Körpern 1991 Buchmann Dipl Bengeloune, Idriss Die syntaktischen Theorien und ihre Bedeutung für die Unifikation 1991 Loeckx Dipl Biewer, Michael Schnittfreie Plazierung von Polygonen 1991 Mehlhorn Dipl Blasche, Dieter Schnitt von Halbräumen im mehrdimensionalen Raum 1991 Mehlhorn Dipl Blasche, Peter Schnitt von Halbräumen im mehrdimensionalen Raum 1991 Dipl Düllmann, Stephan Ein Algorithmus zur Bestimmung der Klassengruppe positiv definierter binärer quadratischer Formen 1991 Buchmann Diss Eckstein, Arno Darstellung spezieller Mengen durch Bäume 1991 Dipl Eckstein, Arno Darstellung spezieller Mengen durch Bäume 1991 Mehlhorn Dipl Els, Remy Entwurf und Implementierung eines Dialogspracheninterpreters basierend auf Comskee 1991 Hotz Dipl Engelkamp, Judith Satzsemantische Repräsentation durch erweiterte Situationsschemata 1991 Wahlster Dipl Fechner, Jürgen Konstruktion eines Baumtransformators für nicht eindeutige Termersetungssysteme 1991 Wilhelm Dipl Fößmeier, Ulrich Rechtwinklige Layouts von Graphen mit minimaler Knickzahl und minimaler Fläche 1991 Dipl Fuchs, Ludwin Übersetzung der funktionalen Programmiersprache Hope für die parallele G-Maschine 1991 Wilhelm Dipl Fünfrocken, Stefan Die Uhren-Synchronisation. Eine Probalistische Analyse 1991 Hotz Dipl Gao, Shaodi Algorithmen für VLSI-Layout 1991 Mehlhorn Diss Gutmann, Michael SIPLAN. Temporales Planen von Kommandosequenzen in einem intelligenten Hilfesystem 1991 Wahlster Dipl Hauer, Iris Hardware - Entwurf eines Datenkomprimierers 1991 Hotz Dipl Hauter, Iris Hardware-Entwurf eines Datenkomprimierers 1991 Dipl Heckler, Andreas Pi-Implementierungen 1991 Loeckx Dipl Herrmann, Jörg MORE. Ein Programmiermodell zur Systemimplementierung in verteilten Systemen 1991 Scheidig Dipl Kappes, Randolph Ein Parser für zweidimensionale mathematische Formeln 1991 Hotz Dipl Kiefer, Stephan Entwicklung und Untersuchung von Methoden zur Biosignalidentifikation und -auswertung im on-line und off-line Zeitbereich bei der oszillometrischen Blutdruckmessung 1991 Gersonde Dipl Kipper, Bernhard Semantisch-pragmatische Analyse von Modalverben in natürlichsprachlichen Dialog- und Beratungssystemen 1991 Wahlster Dipl Kirst, Axel Formulierung und Implementierung der Methode der Finiten Elemente in Zylinderkoordinaten für typische Wirbelstromprüfprobleme 1991 Mehlhorn Dipl Koch, Markus D-Windows: ein verteiltes Window-Management-System 1991 Scheidig Dipl Kohlbecker, Michael Zur Berechnung diskreter Logarithmen in endlichen Körpern 1991 Dipl Kölsch, Jürgen Schreibschrifterkennubg durch elastischen Mustervergleich mit wörterbuchbasierter Fehlerkorrektur 1991 Hotz Dipl Kresse, Axel KONSENS. Kontextsensitive Generierung von Referenzausdrücken 1991 Wahlster Dipl Kruft, Detlev Echtzeitverarbeitung und UNIX 1991 Dipl Lauer, Thomas Effiziente Übersetzung paralleler Programme 1991 Mehlhorn Dipl Loho, Jürgen Die Implementierung des 'Number-Field-Sieve' 1991 Buchmann Dipl Malter, Thomas Fehlertolerantes Rechnen auf dem DATIS-P Parallelrechner. Teil 1: Konstruktionen in Compiler und Betriebssystem 1991 Paul Dipl Mathis, Nicole Weiterentwicklung eines Codeselektorgenerators und Anwendung auf den NSC32000 1991 Wilhelm Dipl Meiser, Michael Leiterlängenreduktion in logisch-topographischen Netzen 1991 Hotz Dipl Meiss, Liane Spezifikation und Vergleich der Basiswindowsysteme von X und NeWS unter Berücksichtigung der Graphikmodelle und Fensterbehandlung 1991 Wilhelm Dipl Mischo, Volker Analytische Berechnung der Klassenzahl eines algebraischen Zahlkörpers vom Grad vier über Q 1991 Buchmann Dipl Molitor, Paul Louis Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1991 Hotz Habil Müller, Silvia Melitta RISC und CISC: Optimierung und Vergleich von Architekturen 1991 Paul Diss Müller, Volker Die Berechnung der Punktanzahl von elliptischen Kurven über endlichen Primkörpern 1991 Buchmann Dipl Müller, Volker Die Berechnung der Punktanzahl von elliptischen Kurven über endlichen Primkörpern 1991 Dipl Neusius, Christian Synchronisation in Konkurrenten Objekt-Orientierten Programmiersprachen 1991 Scheidig Diss Paltz, Andreas Verteilte Garbage Collection Algorithmen 1991 Wilhelm Dipl Philippi, Joachim Modulkonzepte und Berechnungen im polimorphen Lambda-Kalül höherer Ordnung 1991 Loeckx Diss Reichert, Armin Baumgrammatiken mit multilinearer Interpretation 1991 Hotz Dipl Reinert, Johannes SBTRANS: Transformation von Konzeptstrukturen mittels klassifizierter Regeln 1991 Wahlster Dipl Reithinger, Norbert Eine parallele Architektur zur inkrementellen Generierung multimodaler Dialogbeiträge 1991 Wahlster Diss Remmel, Uwe Parallelisierung eines neuronalen Lernalgorithmus auf dem Symbolic Communication Multicomputer 1991 Scheidig Dipl Retz-Schmidt, Gudula Die Interpretation des Verhaltens mehrerer Akteure in Szenenfolgen 1991 Wahlster Diss Reucher, Markus SON: ein Ablage- und Retrievalsystem mit integriertem Notiz-Editor. Studie und prototypische Entwicklung auf PC-Ebene. Inkl. PC-Diskette 1991 Mehlhorn Dipl Ritter, Stephan Handblockschriftenerkennung mit neuronalen Netzwerken 1991 Hotz Dipl Ruffing, Andreas Prozessinduzierte symmetrische Basiskonstruktion verallgemeinerter Krichever-Novikov-Algebren für bosonische Stringtheorien auf maximal vierfach punktierten C-Tori 1991 Dipl Schaaf, Peter Simultane Dreifach-Strahlungs Mößbauer Spektroskopie und Untersuchung laserbehandelter Eisenwerkkstoffe 1991 Gonser Diss Schäfer, Ralph SPREADIAC: ein Spreading Activation-System auf KL-ONE-artigen Wissensnetzen zur Auflösung impliziter Referenzen 1991 Wahlster Dipl Schank, Eric Zur probabilistischen Berechenbarkeitstheorie 1991 Buchmann Dipl Schieffer, Björn Hierarcische Fehlersimulation mit Nicht-Standard-Fehlermodellen 1991 Hotz Dipl Schlüter, Oliver Fehlertolerantes Rechnen auf dem DATIS-P Parallelrechner. Teil 2: Konstruktionen in Hardware und Lowlevel-Software 1991 Paul Dipl Sellen, Jürgen Durch kinematische Szenen erzeugte topologische Räume 1991 Hotz Diss Setz, Thomas Integration einer Linda-orientierten Laufzeitumgebung in LIPS 1991 Buchmann Dipl Sommer, Petra SCooPS. Entwurf und Realisierung einer hierarchischen Planrepräsentation für Kommandosprachen 1991 Wahlster Dipl Sparmann, Uwe Strukturbasierte Testmethoden für arithmetische Schaltkreise 1991 Hotz Diss Spies, Frank M. Analyse und Implementierung von Konzepten zur Speicherverwaltung 1991 Dipl Stolz, Michael Eine verzögerte Auswertung für algorithmische Spezifikationen. Die Theorie und ein Interpretierer für OBSCURE 1991 Loeckx Dipl Thieltges, Andreas Animation ausgewählter Graphenalgorithmen 1991 Mehlhorn Dipl Tramer, Dieter Logische Busse in Multicomputersystemen 1991 Scheidig Dipl Treinen, Ralf Modulare Datentypdefinitionen und ihre Beziehungen zur Logik erster Stufe 1991 Loeckx Diss Truxa, Nikola PASCAL. Interpretation und Visualisierung 1991 Wilhelm Dipl Uebel, Dirk Automatische Erzeugung der Analysenkomponente eines Maschinencodeoptimierers nach dem Ansatz von Robert Giegerich 1991 Wilhelm Dipl Weichel, Manfred SCooPS. Ein objektorientierter Plangenerator für Kommandosequenzen 1991 Wahlster Dipl Yazdani, Afsaneh Ali Sprachtheoretische Einbettung homotoper Transformationen zur Überkreuzungsminimierung in Schaltkreisen 1991 Wahlster Dipl Zayer, Jörg Die Theorie des Number Field Sieve 1991 Dipl

Created and designed by FdSI Impressum