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

Abschlüsse 1994 und 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

Created and designed by FdSI Impressum