Abschlüsse 1990 bis 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
Freunde der Saarbrücker Informatik