Abschlüsse 1994 bis 1995

 

 

Name Titel Jahr Lehrstuhl Typ
Abel, Christine Stefanie Ein Algorithmus zur Berechnung der Klassenzahl und des Regulators reellquadratischer Ordnungen 1994 Buchmann Diss
Abo-Hasna, Ziad Verdrahtung von Kanälen mit Seitenanschlüssen 1994 Mehlhorn Dipl
Abolhassan, Ferri Vergleich von Parallelen Maschinen mit gemeinsamen und verteilten Speichern 1994 Paul Diss
Anhalt, Christopher 2-Connected graphs of large path-width 1994 Dipl
Backes, Wolfgang The Structure of Longest Paths in Periodic Graphs 1994 Wilhelm Diss
Backofen, Rolf Expressivity and Decidability of First-order Languages over Feature Trees 1994 Smolka Diss
Becker, Joachim Effiziente Subsumption in Deduktionssystemen 1994 Mehlhorn Dipl
Becker, Tilman HyTAG: A New Type of Tree Adjoining Grammars for Hybrid Syntactic Representation of Free Word Order Languages 1994 Wahlster Diss
Benzmüller, Christoph Eine Fallstudie zur Spezifikation von Systemanforderungen in der Spezifikationssprache OBSCURE 1994 Loeckx Dipl
Berger, Wolfgang Appraise - Ein abstrakter Interpreter für die Sprache Prolog 1994 Wilhelm Dipl
Bersch, Frank Entwicklung von Hard- und Software zur automatischen Steuerung und Meßdatenerfassung eines vortriebstechnischen (VTT-) Prüfstandes 1994 Hotz Dipl
Blocher, Anselm KOREF: Zum Vergleich intendierter und imaginierter Äusserungsgehalte 1994 Wahlster Dipl
Bomans, Michael Segmentationsverfahren zur 3D-Visualisierung von Kernspintomogrammen des Kopfes 1994 Höhne Diss
Braun, Michael Ein Berechnungsmodell zur prozeduralen Beschreibung von Computeranimationen 1994 Paul Dipl
Busch, Pia Wiedemann-Algorithmus zur Lösung dünnbesetzter Gleichungssysteme über Fp 1994 Buchmann Dipl
Butz, Andreas Ein System zur Planung und Generierung informativer Animationssequenzen 1994 Wahlster Dipl
Collet, Wolfgang Repräsentation und Modellierung von regulären Objekten 1994 Hotz Dipl
Dietz, Rainer Analyse von Rekonstruktionsverfahren bei der 3D-Röntgen-Computer-Tomographie 1994 Louis Dipl
Döring, Andreas Die Zurückführung von Rechnerarithmetik beliebiger Basis auf andere Basen; Zurückführungsverfahren für die Addition und Subtraktion ganzer Zahlen 1994 Paul Dipl
Eckstein, Jens Heuristische Bewegungsstrategien im R3 1994 Hotz Dipl
Emminghaus, Frank Effiziente Sortieralgorithmen für den d-dimensionalen Würfel (Hypercube) 1994 Mehlhorn Dipl
Evangelidis, Sokrates GLearn - ein Lernalgorithmus 1994 Paul Dipl
Feibel, Harald Eine interaktive, grafikunterstützte Beweisentwicklungsumgebung für Sequenzenkalküle - Benutzerhandbuch 1994 Wahlster Dipl
Follert, Frank Lageoptimierung nach dem Maximin-Kriterium 1994 Hotz Dipl
Friedrich, Jörg Entwurf und Realisierung der Hostanbindung der SB-PRAM 1994 Paul Dipl
Friedsam, Patrik Überführung bestehender Datenbestände nach Hypertext 1994 Scheidig Dipl
Gierend, Jürgen Ein Debugger für die parallele Programmiersprache FORK 1994 Willhelm Dipl
Gill, Christian Bewertung und Optimierung von Ray-Tracing Algorithmen für sequentielle und parallele Rechnersysteme 1994 Paul Diss
Groß, Olaf Der Block Lanczos Algorithmus über GF(2) 1994 Buchmann Dipl
Grün, Thomas Quantitative Analyse von I/O-Architekturen 1994 Paul Diss
Hammerschmidt, Frank Entwicklung und Implementierung eines 'Split Spectrum Processing'-Algorithmus zur Optimierung der Ultraschall-Signalerkennung im 'On-Line' Zeitbereich unter Verwendung eines digitalen Signalprozessors 1994 Hotz Dipl
Hanus, M. Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1994 Ganzinger Habil
Heitland, Michael Einsatz der SpaCAM-Technik für ausgewählte Grundaufgaben der Informatik 1994 Mehlhorn Diss
Hell, Manfred Semantische Grundlagen einer Actorsprache 1994 Loeckx Dipl
Hemprich, Andrea Planbibliotheken für ein deduktives Planungssystem - Repräsentation, Verarbeitung, Benutzerinteraktion 1994 Wahlster Dipl
Hense, Andreas V. Polymorphic Type Inference for Object-Oriented Programming Languages 1994 Smolka Diss
Hofmeyer, Volker Beschleunigung von Ray Tracing Animationen durch Auswerten von Strahlgeschichten 1994 Paul Dipl
Hollunder, Bernhard Algorithmic Foundations of Terminological Knowledge Representation Systems 1994 Siekmann Diss
Huang, Xiaorong Human Oriented Proof Presentation: A Reconstructive Approach 1994 Siekmann Diss
Hürter, Michael Modifikationen zum Number Field Sieve 1994 Buchmann Dipl
Jehmann, Frank J. Implementierung von Algorithmen zur Berechnung modularer Polynome und deren Anwendung im Algorithmus von Aktin 1994 Buchmann Dipl
Jostock, Jürgen Aufbau eines hierarchisch organisierten, wissensunterstützten Fertigungsregelungssystem 1994 Diss
Kasan, Binaman Die Beschreibung der Design Features für die rechnerunterstützte Konstruktion und ihre formale Repräsentation 1994 Mehlhorn Dipl
Kessler, Christoph W. Automatische Parallelisierung numerischer Programme durch Mustererkennung 1994 Paul Diss
Klär, Gerhard Verdrahtungsprobleme auf planaren Graphen 1994 Mehlhorn Diss
Köhler, Jana Wiederverwendung von Plänen in deduktiven Planungssystemen 1994 Wahlster Diss
Kohlhase, Michael A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle 1994 Siekmann Diss
Krallmann, Mathias TestShell - Eine Benutzer- und Entwicklungsumgebung zur interaktiven, hierarchischen Testmustergenerierung 1994 Hotz Dipl
Kunzler, Julia PLATO, ein Planerkennungssystem für die temporale Modallogik LLP 1994 Wahlster Dipl
Lang, Hans-Hermann Hidden Line Elimination für iso-orientierte Rechtecke 1994 Mehlhorn Dipl
Latz, Bernhard Eine interaktive Benutzerschnittstelle für Oz 1994 Smolka Dipl
Lehmann, Frank J. Implementierung von Algorithmen zur Berechnung modularer Polynome und deren Anwendung im Algorithmus von Atkin 1994 Dipl
Lemke, Iris Entwicklung und Implementierung eines Visualisierungswerkzeugs für Anwendungen im Übersetzerbau 1994 Wilhelm Dipl
Luckow, Martin Konzeption und Implementierung eines objektorientierten Werkzeugs zur Modellierung verteilter Systeme 1994 Baum Diss
Lux, Wolfgang Adaptierbare Objektmigration und eine Realisierung im Betriebssystem BirliX 1994 Stiege Diss
Malter, Thomas Verfahren zur Hochgeschwindigkeitsdatenfernübertragung großer Datenmengen 1994 Paul Diss
Massonne, Werner Leistung und Güte von Datenflußrechnern 1994 Paul Diss
Maurer, Markus Eine Implementierung des Algorithmus von Aktin zur Berechnung der Punktanzahl elliptischer Kurven über endlichen Primkörpern der Charakteristik größer drei 1994 Buchmann Dipl
May, Gerhard Konstruktion von Elementarlösungen für lineare partielle Differentialoperatoren mit lokalen Regularitätseigenschaften 1994 König Diss
Müller, Achim Effiziente Algorithmen für Probleme der linearen Algebra über Z 1994 Buchmann Dipl
Muth, Michael Repräsentation von Konstruktionswissen unter Verwendung des objektorientierten Paradigmas 1994 Diss
Natarajan, Kasyap Untersuchungen zur Anwendung von Entropie-Maximierungsverfahren in der warteschlangentheoretischen Modellierung 1994 Fachbereich IV der Universität Trier Diss
Neis, Stefan Kurze Darstellung von Ordnungen 1994 Dipl
Neumann, Günter A Uniform Computational Model for Natural Language Parsing and Generation 1994 Uszkoreit Diss
Niehren, Joachim Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen 1994 Smolka Diss
Niggemann, Jörg Mathias Hybrid Analogical Representation of Medical Knowledge in the Intelligent Tutoring System ANATOM-TUTOR 1994 Frauenhofer-Institut für Biomedizinische Technik Dipl
Nutt-Wahlmann, Werner Algorithms for Constraints in Deduction and Knowledge Representation 1994 Siekmann Diss
Olszewski, Jan Thinning-Verfahren. Neue Ideen - schnelle Algorithmen 1994 Scheidig Diss
Paul, Michael IBEE; Ein intervallbasierter Ansatz zur Ereigniserkennung für die inkrementelle Szenenfolgenanalyse 1994 Wahlster Dipl
Peper, Christian Generische Baumanalysatorengeneratoren 1994 Wilhelm Dipl
Piskorski, Jakub Parallele Graphenalgorithmen auf dem Hypercube 1994 Mehlhorn Dipl
Raber, Martin Parallele Implementierung funktionaler Programmiersprachen 1994 Wilhelm Diss
Rasch, Ronald Abstrakte inverse Voronoidiagramme 1994 Mehlhorn Diss
Rausch, Alexander Eine kurze Darstellung für Zahlen in quadratischen Zahlenkörpern und Algorithmen mit dieser Darstellung 1994 Buchmann Dipl
Rech, Karsten Regelungsmodell zur Konzipierung der Informationsverarbeitung in der Produktionslogistik 1994 Bley Diss
Reeder, Waltraud Zwei Modelle für Dämme endlicher Kapazität 1994 Schmidt Dipl
Rohr, Karl Modellgestütztes Erkennen charakteristischer Strukturen in Bildern 1994 Neumann Diss
Rössig, Stephan A Transformational Approach to the Design of Communicating Systems 1994 Olderog Diss
Schäfer, Wolfgang Klassifizierung von stationären Ultraschallstreudaten mit einem Neuronalen Netzwerk 1994 Wahlster Dipl
Scharbrodt, Mark Die Kreuzungszahl von Graphen 1994 Dipl
Schirra, Jörg Bildbeschreibung als Verbindung von visuellem und sprachlichem Raum - Eine interdisziplinäre Untersuchung von Bildvorstellungen in einem Hörermodell 1994 Wahlster Diss
Schlegel, Diethelm Entwicklung der Software zur Ansteuerung und Bedienung eines Interfaces zwischen dem Vermittelnden Breitband-Netz und Rechnern mit SCSI-Bus 1994 Paul Dipl
Schlüter, Oliver Der MegaMover - Entwurf und Realisierung eines Systems zur Hochgeschwindigkeitsdatenfernübertragung 1994 Paul Diss
Schömer, Elmar Interaktive Montageplanung mit Kollisionserkennung 1994 Hotz Diss
Schreiber, Gerlinde Funtionale Äquivalenz von Petri-Netzen 1994 Claus Diss
Seel, Michael Eine Implementierung abstrakter Voronoidiagramme 1994 Mehlhorn Dipl
Simmet, Franz - Josef Entwurf und Implementierung eines verteilten VHDL-Simulators - Teil 1 1994 Mattern Dipl
Sosnowski, Thomas Faktorisieren mit dem quadratischen Sieb auf dem Hypercube 1994 Buchmann Dipl
Sprang, Oliver van Basisreduktionsalgorithmen für Gitter kleiner Dimension 1994 Buchmann Diss
Srivastava, Satanand Entwicklung und Implementierung eines Entscheidungsalgorithmus zur Zuordnung von Probleminstanzen in Hierarchieebenen 1994 Mehlhorn Dipl
Strack, Timo Glättungsverfahren für nichtlineare inverse Probleme 1994 Louis Dipl
Strobel, Thomas Approximationsverfahren für attributive Konzeptbeschreibungssprachen unter besonderer Berücksichtigung lokaler Inferenzen 1994 Wahlster Dipl
Tetzlaff, Markus Verfahren zur intentionalen Beschreibung von Szenenfolgen 1994 Wahlster Dipl
Tho, Jimmy Anthonius T. Hypertext und Information Retrieval 1994 Scheidig Dipl
Trenz, Thomas Implementierung einer temporalen Erweiterung des Wissensrepräsentationssystems KRIS 1994 Siekmann Dipl
van Spange, Oliver Basisreduktionsalgorithmen für Gitter kleiner Dimension 1994 Diss
Voltz, Werner Die Umkehrung des fast sicheren Zentralen Grenzwertsatzes und seine Übertragung auf stabile Prozesse 1994 Brosamler Diss
Weis, Thomas VIPER: Ein verteilter inkrementeller Dialogplaner für eine Multi-Agenten-Umgebung 1994 Wahlster Dipl
Weißenfels, Jeanine Entwurf und Implementierung eines verteilten VHDL-Simulators 1994 Mattern Dipl
Wiese, Kay Parallelisierung von LLL-Algorithmen zur Gitterbasisreduktion. Eine Implementierung auf dem Intel iPSC/860 Hypercube 1994 Buchmann Dipl
Wilhelm, Michael Johannes Automatisierte Softwareverteilung im LAN-/WAN-/Host-Environment 1994 Wilhelm Dipl
Wu, Hongzhong On the Test Complexity of VLSI Systems 1994 Hotz Diss
Zhou, Shengzong Prosperties, Transformations and Global Events in Concurrent Systems 1994 Wilhelm Diss
Zülow, Max Henning von Das k-Closest-Pair-Problem. Implementierung und Vergleich der Algorithmen von Dickerson, Drysdale und Sack, und Lenhof und Smid 1994 Mehlhorn Dipl
Allmann, Christof Echt-Zeit-Kompression von Multimedia-Daten 1995 Paul Dipl
Amendola, Sandro Effiziente Algorithmen für Probleme in Gittern über Rd 1995 Buchmann Dipl
Andre, Elisabeth Ein planbasierter Ansatz zur Generierung multimedialer Präsentationen 1995 Wahlster Diss
Ayari, Abdelwaheb A Reinterpretation of The Deductive Tableaux System in Higher-Order Logic 1995 Ganzinger Dipl
Bachelier, Günter PSS-Kohdex (Pseudo-Stetige-Sensorische-Kohnen-Indexierung) Konzepte zur integrierten Indexierung und Visualisierung von Textdaten auf der Basis Pseudo-Stetiger-Sensorischer-Kohnen-Knoten 1995 Dipl
Backes, Oliver Entwicklung der Messwerterfassung und -auswertung für einen dynamischen Drahtseilprüfstand 1995 Wilhelm Dipl
Barth, Peter Logic Based 0-1 Constraint Solving in Constraint Logic Programming 1995 Ganzinger Diss
Basin, David Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1995 Ganzinger Habil
Becker, Jörg D. Allgemeine approximative Kongruenz zweier Punktmengen im R^3 1995 Mehlhorn Dipl
Bentz, Patrik Eine effiziente Implementierung der verbesserten Buchberger Algorithmen und einer Datenstruktur für Polynome in mehreren Veränderlichen 1995 Buchmann Dipl
Birk, Andreas Stimulus Response Lernen - Ein neues Machine Learning Paradigma 1995 Paul Diss
Bongartz, Michael Leistungsbewertung des verteilten Logiksimulators DVSIM mit Oracle-Log-Verfahren 1995 Mattern Dipl
Bozkurt, Ahmet Strategien für Resolutionsbeweiser in Logik höherer Stufe 1995 Siekmann Dipl
Bremer, Dirk Analyse und Simulation eines Maximum-Flow Algorithmus für das Gitter 1995 Mehlhorn Dipl
Brill, Roland Entwicklung einer modularen und portablen Entwicklungs- und Arbeitsumgebung zur konsistenten Handhabung multi-modaler medizinischer Daten in heterogenen Rechnernetzen 1995 Gersonde Diss
Buchheit, Martin Terminological Formalisms in Knowledge Representation and Database Systems 1995 Siekmann Diss
Burch, Thomas Eine graphische Arbeitsumgebung für den parametrisierten Entwurf integrierter Schaltkreise 1995 Hotz Diss
Chadzelek, Thomas Heuristische Bewegungsplanung mit vielen Freiheitsgraden 1995 Hotz Dipl
Diete, Iris Berechnung der Kontaktoberfläche von Molekülen 1995 Mehlhorn Dipl
Engel, Anette Ein allgemeines Verfahren zur Hyperlink Generierung in strukturierter Dokumentation 1995 Wilhelm Dipl
Flurer, Silke Wavelet-Galerkin-Verfahren für die Integralgleichungsmethode 1995 Louis Dipl
Fritzen, Birgit Zur Arithmetik im algebraischen Zahlenkörper 1995 Buchmann Dipl
Gemünd, Christine Eine Relationelle Datenbank für die SB-PRAM - Komplexe Operatoren und Sortieralgorithmen 1995 Paul Dipl
Gerber, Christian Entwicklung eines Algorithmus zur effizienten Anfragebeantwortung für eine terminologische Wissensrepräsentationssprache 1995 Siekmann Dipl
Graf, Peter Term Indexing 1995 Mehlhorn Diss
Hiber, Carmen Eine Untersuchung der verbesserten Buchberger Algorithmen zur Gröbnerbasen-Konstruktion 1995 Buchmann Dipl
Hillar, Thomas Lanczos-Typ-Algorithmen zur Lösung linearer Gleichungssysteme 1995 Louis Dipl
Hinsberger, Andre FISH, Schnelle fotorealistische Visualisierung hochkomplexer Szenen mittels eines Scanline-Z-Buffer-Algorithmus 1995 Paul Dipl
Ibach, Kai OzFun: Eine Funktionale Sprache für gemischte Eager- und Lazy-Programmierung 1995 Smolka Dipl
Jaeger, Manfred Default Reasoning about Probabilities 1995 Ganzinger Diss
Jung, Andreas Prototypische Implementierung einer verteilten Ablaufumgebung für Petrinetze 1995 Scheidig Dipl
Kiefer, Peter Paul Entwicklung und Realisierung einer formalen Sprache zur Beschreibung von Animationen 1995 Paul Dipl
Kipper, Bernhard Repräsentation und Verarbeitung propositionaler Einstellungen in natürlichsprachlichen Systemen 1995 Wahlster Diss
Knuth, Robert Produktionstest des Prozessors der SB-PRAM 1995 Paul Dipl
Kohlmann, Gernot Visualisierung der abstrakten P-Maschine 1995 Wilhelm Dipl
Kölsch, Wolfgang Die Generierung von Synchronisierungscode eines parallelen Übersetzers im CoSy-Modell 1995 Wilhelm Dipl
Konrad, Karsten Abstrakte Syntaxtransformation mit getypten Merkmalstermen 1995 Wahlster Dipl
Krieger, Hans-Ulrich TDL - A Type Description Language for Constraint-Based Grammars 1995 Uszkoreit Diss
Krüger, Antonio PROXIMA: Ein System zur Generierung graphischer Abstraktionen 1995 Wahlster Dipl
Kuschert, Susanna Eine Erweiterung des Lambda-Kalküls um Diskursrepräsentationsstrukturen 1995 Siekmann Dipl
Laux, Armin Constraints and Modalities in Terminological Knowledge Representation Systems 1995 Siekmann Diss
Lehmann, Sascha Konstruktives Spezifizieren in bedingten Gleichungslogiken 1995 Loeckx Dipl
Leinenbach, Stefan Eine effiziente Datenstruktur für allgemeine Polyeder 1995 Mehlhorn Dipl
Lux, Andreas Kooperative Mensch-Maschine Arbeit -- Ein Modellierungsansatz und dessen Umsetzung im Rahmen des Systems MEKKA 1995 Wahlster Diss
Marks, Martin Investigation through Visualization and Analysis of Discrete Event Simulation Traces (INVADES): Implementierung graphischer Darstellungsmöglichkeiten und Bewertung des Logiksimulators DVSIM durch INVADES 1995 Mattern Dipl
Martin, Florian Entwurf und Implementierung eines Generators für Datenflußanalysatoren 1995 Wilhelm Dipl
Meiser, Gertrud Barbara Vergleichende Untersuchung von Auswerteverfahren zur Bestimmung von Gaskompositionen aus pluralen Sensor-Signalen 1995 Gersonde Dipl
Meyer, Bernd E. Zur Trennung von Klassen ununterscheidbarer Ensembles 1995 Buchmann Diss
Meyer, Ulrich Deterministische Simulation einer PRAM auf Gitterrechnern 1995 Mehlhorn Dipl
Micheel, Florence Kettenbruchentwicklung reeller Zahlen aus der Sicht der Wahrscheinlichkeitstheorie 1995 Brosamler Dipl
Mohr, Erik Resolution-Based Calculi for Modal Logics 1995 Ganzinger Dipl
Müller, Andreas ECM - Eine FFT-Continuation für die elliptische Kurvenmethode 1995 Buchmann Dipl
Muller, Francois Massiv parallele Gitterbasisreduktion 1995 Buchmann Dipl
Müller, Jochen GeoDisplay: Ein flexibles 3D-Visualisierungswerkzeug für LISP 1995 Wahlster Dipl
Müller, Peter Siegfried Ein effizienter paralleler Molekulardynamik-Simulationsalgorithmus für synthetische Polymere 1995 Dipl
Müller, Volker Ein Algorithmus zur Bestimmung der Punktanzahl elliptischer Kurven über endlichen Körpern der Charakteristik größer drei 1995 Diss
Näher, Stefan Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1995 Mehlhorn Habil
Neurohr, Stefan InLay - Ein constraintbasierter Grafikeditor 1995 Wahlster Dipl
Nikolaus, Ulrich Ein automatischer Testmustergenerator unter 16-wertiger Logik mit variabler Fehlermodellierung 1995 Hotz Dipl
Nonnengart, Andreas A Resolution-Based Calculus For Temporal Logics 1995 Ganzinger Diss
Ost, Kirstin Algorithmen für das Kantenfärbungsproblem 1995 Mehlhorn Dipl
Pape, Claudia Leistungsbewertung des verteilten Logiksimulators DVSIM durch Kritische-Pfad-Analyse im sequentiellen Logiksimulator VSIM 1995 Mattern Dipl
Paul, Andreas Eine Simulation der SB-PRAM-Hardware 1995 Paul Dipl
Podehl, Axel Implementierung eines parallelen hierarchischen Radiosity-Verfahrens auf der SB-PRAM 1995 Paul Dipl
Probst, Christian Zeigeranalyse für imperative Programmiersprachen 1995 Wilhelm Dipl
Rein, Elmar Spezifikation eines beweisbar sicheren Eisenbahnkontrollsystemes 1995 Siekmann Dipl
Rennollet, Markus Entwicklung und Implementierung eines Typüberprüfer-Generators für Sprachen mit monomorphem und polymorphem Typsystem 1995 Buchmann Dipl
Richter, Jörg Perspektiven der parallelen ereignisgesteuerten Simulation am Beispiel von Warteschlangen 1995 Mattern Diss
Rist, Thomas Wissensbasierte Verfahren für den automatischen Entwurf von Gebrauchsgraphik in der technischen Dokumentation 1995 Wahlster Diss
Rock, Georg Transformations of First-Order Formulae for Automated Reasoning 1995 Ganzinger Dipl
Roglin, Ulrich Eine Implementierung des Verfahrens von Coppersmith, Odlyzko und Schroeppel zur Berechnung diskreter Logarithmen in endlichen Primkörpern 1995 Buchmann Dipl
Röhrig, Martin EXAM, Eine abstrakte Maschine zur Realisierung der ordnungssortierten Wissensrepräsentationssprache EXU 1995 Wilhelm Dipl
Rottmann, Klaus-Dieter Bewegung eines Polygons zwischen polygonalen Hindernissen 1995 Mehlhorn Dipl
Sauer, Jörg Allgemeine Kollisionserkennung und Formrekonstruktion basierend auf Zellkomplexen 1995 Hotz Dipl
Schäfer, Ulrich Parameterized Type Expansion in the Feature Structure Formalism TDL 1995 Wahlster Dipl
Schanne, Thomas Vier gewinnt - Eine Fallstudie zur Programmsynthese mit Genetischen Algorithmen 1995 Ohlbach Dipl
Scheerer, Dieter Der Prozessor der SB-PRAM 1995 Paul Diss
Schier, Darius Ein Multiagentenansatz zum Lösen von Fleet-Scheduling-Problemen 1995 Siekmann Dipl
Schmitz, Christoph Analyse von Branch-and-Bound Algorithmen zum Problem des Handlungsreisenden 1995 Mehlhorn Dipl
Schneider, Georg Eine Werkbank zur Erzeugung von #D-Illustrationen 1995 Wahlster Dipl
Schneiderlöchner, Frank GORDIAN - Generierung von Referenzausdrücken in Multimodalen Dokumenten 1995 Wahlster Dipl
Schopper, Hagen Spezifikation und Ausführung der Dialogsteuerung einer Benutzerschnittstelle mit Hilfe von Petrinetzen 1995 Scheidig Dipl
Schulz, Frank Selbst-organisierende Datenstrukturen bei abhängigen Zugriffen 1995 Hotz Dipl
Schuster, Thomas Die approximative Inversionsformel und ihre Anwendung bei der Rekonstruktion der Rotation von Vektorfeldern 1995 Louis Dipl
Schwarz, Peter Statische Prozessverteilung in Hope 1995 Wilhelm Dipl
Schwarzenecker, Eric Ein NP-schweres Plazierungsproblem 1995 Mehlhorn Diss
Sehn, Arthur Christian DECLAME - eine deklarative Sprache zur Repräsentation von Methoden 1995 Siekmann Dipl
Seidl, Helmut Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1995 Wilhelm Habil
Sieber, Kurt Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1995 Loeckx Habil
Smid, Michiel Eingereichte wissenschaftliche Veröffentlichungen zur Habilitation 1995 Mehlhorn Habil
Tews, Martin Heterogenes Systemcheckpointing 1995 Buchmann Dipl
Theobald, Patrick Eine Implementierung von Algorithmen der linearen Algebra über Z 1995 Buchmann Dipl
Thiel, Christoph On the complexity of some problems in algorithmic algebraic number theory 1995 Buchmann Diss
Vierke, Gero Berechenbarkeit reellwertiger Funktionen und analytische Berechnungen 1995 Hotz Dipl
Wagner, Tina EUS-S: Ein wissensbasiertes System zur Störungsbehandlung in einem Fertigungsregelungssystem 1995 Wahlster Dipl
Weber, Andreas Erweiterung des PICL-Traceformats und Anpassung von ParaGraph an Multithreading 1995 Mattern Dipl
Wertmüller, Cornelius Schnelle Algorithmen zur Fouriertransformation endlicher Gruppen 1995 Louis Dipl
Wilhelmi, Harald Erzeugung von Pseudozufallszahlen gemäß einer veränderten Verteilung 1995 Mehlhorn Dipl
Winterstein-Theobald, Stefan Implementierung des Time-Warp-Algorithmus für den verteilten VHDL-Simulator DVSIM 1995 Mattern Dipl
Wirtz, Stefan Visualisierung der abstrakten Maschine WiM 1995 Wilhelm Dipl
Yousef, Bayan Lösen von Ungleichungsproblemen 1995 Loeckx Dipl
Zayer, Jörg Faktorisieren mit dem Number Field Sieve 1995 Buchmann Diss
Zeimetz, Patrik Transformationen zur Verbesserung der Datenlokalität in bezug auf Cachespeicher 1995 Wilhelm Dipl
Zenner, Frank Anbindung einer grafischen Benutzerschnittstelle an Oz 1995 Smolka Dipl
Ziegler, Thomas Max-Weighted-Matching auf allgemeinen Graphen 1995 Mehlhorn Dipl
Freunde der Saarbrücker Informatik