Habilitation and dissertation theses

A list of all habilitation and dissertation theses of the faculties of mathematics and computer science of the TUM up to 1989 can be found in: Fakultät für Mathematik und Informatik der TUM - Zur Geschichte der Fakultät, Th. Ströhlein. Dissertation theses could only be written from 1901, the year the university was granted the right to award doctorates. The faculty homepage will soon offer information about all habilitation and dissertation theses of the faculty of computer science. The date represents the day of the oral examination.

Habilitation theses

Langmaack, Hans: Zum Satz von Lidskii. 27.7.1967

Paul, Manfred: Zur Darstellung des Kongruenzenverbandes einer endlichen abstrakten Algebra. 15.2.1968

Eickel, Jürgen: Vereinfachung der Struktur kombinatorischer Systeme. 11.7.1968

Deussen, Peter: Lineare Darstellungen von Automaten. 30.10.1969

Schecher, Heinz: Prinzipien beim Aufbau kleiner elektronischer Rechenanlagen. 29.10.1970

Braun, Stephan: Eigenschaften strukturierter Symbole in formalen Sprachen. 22.7.1971

Schmidt, Gunther: Programme als partielle Graphen. 31.5.1978

Kröger, Fred: Unendliche Schlußregeln zur Verifikation von Programmen. 29.7.1980

Broy, Manfred: Eine Theorie für nichtdeterministische, parallele, kommunizierende und konkurrierende Programme. 17.12.1982

Ganzinger, Harald: Increasing modularity and language-independency in automatically generated compilers. 29.7.1983

Majster-Cederbaum, Mila E. : General properties of semantics. 29.7.1983

Wirsing, Martin: Structured algebraic specifications: A kernel language. 18.12.1984

Partsch, Helmut: Transformational program development in a particular problem domain. 8.5.1985

Pepper, Peter: Applicative languages and modal logics. 17.7.1985

Möller, Bernhard: Higher-order algebraic specifications. 30.7.1987

Diekert, Volker: Combinatorics on traces with applications to Petri nets and to replacement systems. 1.2.1989

Furbach, Ulrich: Funktionen in Hornklausellogik. 31.7.1990

Pohlmann, Werner: Simulationsmodelle für den Verkehr in Rechensystemen. 31.7.1990

Vogler, Walter: Modular construction and partial order semantics of Petri Nets. 25.7.1991

Bemmerl, Thomas: Programmierung skalierbarer Multiprozessoren. 11.12.1991

Kunde, Manfred: Routing and sorting on grids. 19.2.1992

Struß, Peter: A Theory of Diagnosis Based on Multiple Models. 23.7.1992

Rüde, Ulrich: Computational Techniques for Multilevel Adaptive Methods. 27.5.1993

Griebel, Michael: Punktblock-Multilevelmethoden zur Lssung elliptischer Differentialgleichungen. 2.8.1993

Schmidhuber, Jürgen: Netzwerkarchitekturen, Zielfunktionen und Kettenregel. 2.8.1993

Borghoff, Uwe: Möglicher Einsatz von Votierungsverfahren zur Nebenläufigkeitskontrolle in synchronen Groupware-Systemen. 21.12.1993

Fronhöfer, Bertram: The Action-as-Implication Paradigm. Formal Systems and Application. 22.2.1995

Hußmann, Heinrich: Formal Foundations for SSADM. An Approach Integrating the Formal and Pragmatic Worlds of Requirements Engineering. 1.3.1995

Abeck, Sebastian: Integriertes Management von verteilten Systemen aus Entwicklersicht und aus Betreibersicht. 26.2.1996

Böcking, Stefan: Modular Communication Systems. 31.7.1996

Deco, Gustavo: Unsupervised Learning and Information Theory: Parametric and Nonparametric Formulation. 19.12.1996

Poetzsch-Heffter, Arnd: Specification and Verification of Object-Oriented Programs. 31.7.1997

Dissertation theses

Matzke, Petra: Objektivierung des Vorgangs der Modellierung von Rechensystemen durch Wartenetze. Ref.: Jessen - Lehmann (Univ. Bundeswehr München) 27.1.1992

Desel, Jörg: Struktur und Analyse von free-choice Petrinetzen. Ref.: Reisig - Broy 13.2.1992

Weber, Rainer: Eine Methodik für die formale Anforderungsspezifikation verteilter Systeme. Ref.: Broy - Reisig 13.2.1992

Hulin, Martin: Evolutionsstrategien zur Schaltungspartitionierung. Ref.: Jessen - Antreich (Fak. für Elektrotechnik und Informationstechnik) 14.2.1992

Friedrich, Michael: Sprachmittel und Werkzeuge zur Unterstützung paralleler und verteilter Programmierung. Ref.: Paul - Bode 28.2.1992

Filkorn, Thomas: Symbolische Methoden für die Verifikation endlicher Zustandssysteme. Ref.: Brauer - Antreich (Fak. für Elektrotechnik und Informationstechnik) 10.4.1992

Laußermair, Thomas: Hyperflächen-Annealing: Ein paralleles Optimierungsverfahren basierend auf selbstorganisierter Musterbildung durch Relaxation auf gekrümmten Hyperflächen. Ref.: Brauer - Schwefel (Dortmund) 10.4.1992

Zercher, Kai: Wissensintensives Lernen für zeitkritische technische Diagnoseaufgaben. Ref.: Radig - Dillmann (Karlsruhe) 22.6.1992

Tensi, Thomas: Balancierte Routingverfahren auf Gittern. Ref.: Brauer - Lange 22.7.1992

Weidinger, Ludwig: Ein objektorientiertes Metamodell zur Wissensrepräsentation. Ref.: Siegert - Radig 22.7.1992

Dederichs, Frank: Transformation verteilter Systeme: Von applikativen zu prozeduralen Darstellungen. Ref.: Broy - Brauer 23.7.1992

Hagg, Ernst: Realisierung von Multisensoranwendungen mit vernetzen logischen Sensoren und Aktoren. Ref.: Siegert - Levi 24.7.1992

Ebmeyer, Jürgen: Sicherstellung der Rechtzeitigkeitsforderungen an wissensbasierte Systeme durch reaktives Planen. Ref.: Radig - Levi 29.7.1992

Fischer, Klaus: Verteiltes und kooperatives Planen in einer flexiblen Fertigungsumgebung. Ref.: Siegert - Levi 29.7.1992

Meyfarth, Ralph: Ein Daten- und Wissensmodell zur Unterstützung integrierter flexibler Fertigungssysteme. Ref.: Siegert - Bayer 29.7.1992

Messer, Tilo: Wissensbasierte Synthese von Bildanalyseprogrammen. Ref.: Radig - Sagerer (Bielefeld) 24.8.1992

Pauli, Josef: Erklärungsbasiertes Computer-Sehen von Bildfolgen. Ref.: Radig - Bunke (Bern) 23.10.1992

Karl, Wolfgang: Architektureigenschaften und Parallelisierungsmethoden für Rechner mit Funktionspipelining. Ref.: Bode - Eickel 30.11.1992

Ertel, Wolfgang: Parallele Suche mit randomisiertem Wettbewerb in Inferenzsystemen. Ref.: Jessen - Lange 9.12.1992

Brüning, Hans-Christian: Erweiterung der wissensbasierten CAD-Konstruktion um Restriktionsnetztechniken. Ref.: Levi (Stuttgart) - Radig 14.12.1992

Ludwig, Thomas: Lastverwaltungsverfahren für Mehrprozessorsysteme mit verteiltem Speicher. Ref.: Bode - Jessen 14.12.1992

Eckstein, Wolfgang: Die Bildanalysesprache TRIAS. Ref.: Radig - Reisig 17.12.1992

Hernandez, Daniel: Qualitative Representation of Spatial Knowledge. Ref.: Brauer - Habel (Univ. Hamburg) 17.12.1992

Hums, Renate: Effiziente Integritätssicherung in deduktiven Datenbanksystemen durch Logikprogrammtransformation. Ref.: Bayer - Kießling 21.12.1992

Specht, Günther: Source-to-Source Transformationen zur Erklärung des Programmverhaltens bei deduktiven Datenbanken. Ref.: Bayer - Paul 22.12.1992

Richter, Robert: Persistenz in objektorientierten Programmiersprachen. Ref.: Jessen - Bayer 5.2.1993

Klas, Günter: Hierarchical Evaluation of Generalized Stochastic Petri Nets. Ref.: Jessen - Lehmann (Univ. Bundeswehr München) 10.2.1993

Klotz, Karlhorst: Eine mehrschichtige Architektur zur Fehlerdiagnose und Fehlerbehebung bei der Entwicklung logischer Programme. Ref.: Radig - Furbach (Koblenz-Landau) 17.2.1993

Neumair, Bernhard: Objektorientierte Modellierung von Kommunikationsressourcen für ein integriertes Performancemanagement. Ref.: Hegering - Jessen 19.2.1993

Obermaier, Johann: Effiziente Speicherverwaltung für Datenbanksysteme auf Parallelrechnern. Ref.: Bayer - Schlichter 26.2.1993

Vollath, Ulrich: Generierung neuer Syntaxanalyseverfahren für Graphgrammatiken. Ref.: Eickel - Paul 1.3.1993

Übelacker, Hubert: Eine Methodik zur anwendungsorientierten Dokumentation von Netzmanagement-Information im zeitlichen Verlauf. Ref.: Hegering - Schlichter 17.3.1993

Plewan, Hans-Jürgen: Sprachkonzepte zur Ausnahmebehandlung für verteilte Programmierung mit asynchroner Kommunikation. Ref.: Paul - Schlichter 26.5.1993

Kolarz, Thomas: Throughput Analysis for Processor Systems with Cache Hierarchies. Ref.: Jessen - Bode - Goltzene (Straßburg) 25.6.1993

Winklhofer, Andreas: Zeitrepräsentation und merkmalsgesteuerte Suche zur Terminplanung. Ref.: Radig - Levi (Stuttgart) 16.7.1993

Schrott, Anneliese: Ein Verfahren zur visuellen Unterstützung des Greifvorgangs bei Robotern basierend auf einer Greifer-Sensor-Koppelung. Ref.: Siegert - Levi (Stuttgart) 16.7.1993

Gold, Robert: Datenflußsemantiken für Petrinetze. Ref.: Brauer - Broy 19.7.1993

Heinrich, Werner: Formal Description of Parallel Computer Architectures as a Basis of Optimizing Code Generation. Ref.: Eickel - Bode 19.7.1993

Schütz, Heribert: Tupelweise Bottom-up-Auswertung von Logikprogrammen. Ref.: Bayer - Krsger (LMU) 19.7.1993

Chon, Yoon-Chae: Aufbau eines integrierten Wissensmodells und dessen Übergang zum Entwurfsmodell. Ref.: Radig - Struß 30.7.1993

Brües, Stefan: Ein System zur Prozeß- und QualitStskontrolle in computerbasierten Publikationssystemen und Vorschläge zur Konzeption eines gerSteneutralen Seitenbeschreibungsmodells. Ref.: Radig - Zenger 24.8.1993

Schweiger, Johann: Ein Formalismus für die Generierung von Expertensystemen zur Lösung von Konfigurationsaufgaben aus konzeptuellen Spezifikationen des Expertenwissens. Ref.: Siegert - Levi (Stuttgart) 19.11.1993

Vojik, Franz: Autonome Veränderung des Replikationsgrades in verteilten Dateisystemen. Ref.: Schlichter - Siegert 29.11.1993

Eckert, Claudia: Konzepte und Verfahren zur Konstruktion sicherer, verteilter Systeme. Ref.: Spies - Bode 8.12.1993

Luksch, Peter: Parallelisierung ereignisgetriebener Simulationsverfahren auf Mehrprozessorsystemen mit verteiltem Speicher. Ref.: Bode - Antreich (Fak. für Elektrotechnik und Informationstechnik) 8.12.1993

Hollatz, Jürgen: Integration von regelbasiertem Wissen in neuronalen Netzen. Ref.: Brauer - Schürmann (Siemens AG) 15.12.1993

Weigl, Reinhard: Transportprotokolle - Leistungsanalyse und effiziente Implementierungen. Ref.: Bode - Jessen 15.12.1993

Ruge, Gerda: Wortbedeutung und Termassoziation - Methoden zur automatischen semantischen Klassifikation. Ref.: Brauer - Uszkoreit (Saarbrücken) 20.1.1994

Engl, Gabriele: Modellierung und numerische Simulation der Gasstrsmung in Netzwerken am Beispiel des Ladungswechsels im Verbrennungsmotor. Ref.: Rentrop - Zenger 21.2.1994

Thurner, Erwin: Über die Beschreibung und Umsetzung von Busprotokollen. Ref.: Bode - Reisig (Humboldt Univ. Berlin) 6.6.1994

Böhnke, Thorsten: Eine Methodik zur Erweiterung der Managed Object-Beschreibungen um implementierungsrelevante Aspekte und deren Verwendung bei der Implementierung einer OSI Management Information Base. Ref.: Hegering - Schlichter 21.6.1994

Munkelt, Olaf: Erkennung von Objekten in Einzelvideobildern mittels Aspektbäumen. Ref.: Radig - Levi (Stuttgart) 29.6.1994

Fuchs, Maximilian: Technologieabhängigkeit von Spezifikationen digitaler Hardware. Ref.: Broy - Delgado Kloos (Madrid) 26.7.1994

Henning, Ulrich: Analyse eines Modells paralleler Prozesse für die Anwendung in einem intelligenten Lehrsystem. Ref.: Paul - Brauer 29.7.1994

Schnekenburger, Thomas: Adaptive Lastverteilung für parallele Programme. Ref.: Paul - Jessen 11.8.1994

Hansen, Olav: Werkzeuge zur Optimierung von Programmen auf massiv parallelen Rechensystemen. Ref.: Bode - Jessen 25.8.1994

Rossmanith, Peter: Characterizations of Memory Access for PRAM's and Bounds on the Time Complexity of Boolean Functions. Ref.: Lange - Brauer - Mayr 12.9.1994

Schieder, Birgit: Logic and Proof Method of Recursion. Ref.: Broy - Paul 18.10.1994

Weiß, Gerhard: Distributed Machine Learning. Ref.: Brauer - Burkhard (Humboldt Univ. Berlin) 26.10.1994

Müller, Andreas: Kommunikationsstruktur in Multiprozessorsystemen. Ref.: Hertweck - Bode 28.10.1994

Grosu, Radu: A Formal Foundation for Concurrent Object Oriented Programming. Ref.: Broy - Nipkow 24.11.1994

Regensburger, Franz: HOLCF - Eine konservative Erweiterung von HOL um LCF. Ref.: Nipkow - Broy 9.12.1994

Pawlowski, Markus: Synchronisation in parallelen Datenbanksystemen. Ref.: Bayer - Schlichter 16.12.1994

Treml, Thomas: Monitoring paralleler Programme. Ref.: Bode - Jessen 16.12.1994

Braun, Peter: Visualisierung des Ablaufverhaltens paralleler Programme. Ref.: Bode - Endres 16.12.1994

Wismüller, Roland: Quellsprachorientiertes Debugging von optimierten Programmen. Ref.: Bode - Eickel 20.12.1994

Weininger, Andreas: Verfahren zur Behandlung von Nichtdeterminismus in parallelen Systemen. Ref.: Paul - Bode 20.12.1994

Balder, Robert: Adaptive Verfahren für elliptische und parabolische Differentialgleichungen auf dünnen Gittern. Ref.: Zenger - Hoppe (Fak. für Mathematik) 22.12.1994

Störtkuhl, Thomas: Ein numerisches adaptives Verfahren zur Lösung der biharmonischen Gleichung auf dünnen Gittern. Ref.: Zenger - Hoppe (Fak. für Mathematik) 6.2.1995

Schneider, Michael: Verteilte adaptive numerische Simulation auf der Basis der Finite-Elemente-Methode. Ref.: Zenger - Eickel 14.2.1995

Ertl, Hubert: Virtuell gemeinsamer Speicher schwächerer Konsistenz und seine Integration in ein Nachrichtensystem. Ref.: Bode - Jessen 17.2.1995

Prehofer, Christian: Solving Higher-Order Equations: From Logic to Pragramming. Ref.: Nipkow - Ganzinger (Saarbrücken) 20.2.1995

Winkler, Christina: Methodik zur Erstellung eines Testsystems für ein offenes Fehlermanagement auf der Basis von OSI Protokollbeschreibungen. Ref.: Hegering - Drobnik (Frankfurt am Main) 2.3.1995

Günther, Michael: Ladungsorientierte Rosenbrock-Wanner-Methoden zur numerischen Simulation digitaler Schaltungen. Ref.: Rentrop - Zenger 3.3.1995

Suttner, Christian: Parallelization of Search-based Systems by Static Partitioning with Slackness. Ref.: Jessen - Bode 9.3.1995

Heinle, Wolfgang: Expressivity and Definability in Extended Modal Languages. Ref.: Bauer - Wirsing (LMU) 3.4.1995

Bonk, Thomas: Ein rekursiver Algorithmus zur adaptiven numerischen Quadratur mehrdimensionaler Funktionen. Ref.: Zenger - Bode 6.4.1995

Knirsch, Peter: Kaskadenrekursion in verteilten Systemen. Ref.: Paul - Schlichter 28.4.1995

Eldracher, Martin: Planung kinematischer Trajektorien für Manipulatoren mit Hilfe von Subzielen und neuronalen Netzen. Ref.: Brauer - Rojas (Halle) 5.5.1995

Nazareth, Dieter: A Polymorphic Sort System for Axiomatic Specification Languages. Ref.: Nipkow - Broy 18.5.1995

Dodenhöft, Dieter: Hybride Wissensrepräsentation durch enge Kopplung eines frame- und regelbasierten Formalismus. Ref.: Siegert - Jessen 22.5.1995

Segner, Peter: Ein betreibergerechtes View-Konzept für das Netz- und Systemmanagement. Ref.: Hegering - Schlichter 8.6.1995

Facchi, Christian: Methodik zur formalen Spezifikation des ISO/OSI Schichtenmodells. Ref.: Broy - Jessen 14.6.1995

Stöhr, Peter: 3D-Objekterkennung basierend auf 2D-Schnittberechnungen zum Einsatz in der Robotik. Ref.: Siegert - Levi (Stuttgart) 21.6.1995

Hettler, Rudolf: Entity/Relationship-Datenmodelierung in axiomatischen Spezifikationssprachen. Ref.: Broy - Mitschang 26.6.1995

Scholz, Andreas: Modulare und kompositionale Verifikation von zustandsendlichen Systemen. Ref.: Paul - Mayr 26.7.1995

Eder, Klaus: Repräsentation temporaler Information in künstlichen neuronalen Netzen. Ref.: Brauer - Gross (Ilmenau) 28.7.1995

Richter, Silke: Ein mehrfach adaptierendes, stabiles Modell zur Analyse von Straßenszenen. Ref.: Radig - Niemann (Erlangen-Nürnberg) 28.7.1995

Schuster, Rolf: Objektverfolgung in Farbbildfolgen Ref.: Radig - Kübler (ETH Zürich) 14.8.1995

Pflug, Volkmar: Graphenbasierte On-Line-Erkennung fließender Handschrift. Ref.: Radig - Lang (Fak. für Elektrotechnik und Informationstechnik 3) 30.8.1995

Kolland, Markus: Generische Unterstützung von Information Sharing im Kontext computer-unterstützter Gruppenarbeit. Ref.: Schlichter - Geihs (Frankfurt/Main) 6.10.1995

Aue, Alfred: Business Processes as a Concept for System-Analysis and Specification. Ref.: Broy - Schlichter 25.10.1995

Gritzner, Thomas: wp-Kalkül und relationale Spezifikation kommunizierender Systeme. Ref.: Broy - Schmidt (Univ. Bundeswehr München) 22.11.1995

Dendorfer, Claus: Methodik funktionaler Systementwicklung. Ref.: Broy - Nipkow 14.12.1995

Gomm, Dominik: Modellierung und Analyse verzsgerungs-unabhSngiger Schaltungen mit Petrinetzen. Ref.: Jessen - Reisig (Humboldt Univ. Berlin) 18.12.1995

Listl, Andreas: Effiziente Pufferverwaltung in parallelen relationalen Datenbanken. Ref.: Bayer - Reisig (Humboldt Univ. Berlin) 18.12.1995

Sturm (geb. Kinder), Margit: Pfadplanung für Manipulatoren in komplexen Umgebungen mittels generalisierender Pfadspeicherung in Ellipsoidkarten. Ref.: Brauer - Hirzinger 21.12.1995

Mayr, Klaus: Verfeinerungen und Erweiterungen des Modelleliminationskalküls. Ref.: Jessen - Esparza 11.1.1996

Fischer, Max: Aufgabenspezifikation und Bahnplanung für kooperierende Manipulatoren. Ref.: Siegert - Schweikard 2.2.1996

Hahndel, Stefan: Ein verteiltes, verhandlungsgesteuertes Planungsverfahren für flexible Fertigungsumgebungen. Ref.: Siegert - Levi (Stuttgart) 8.2.1996

Radermacher, Ralph: Eine Ausführungsumgebung mit integrierter Lastverteilung für verteilte und parallele Systeme. Ref.: Spies - Bode 22.2.1996

Zimmer, Stefan: Rand-Druckkorrektur für die Stokes-Gleichung. Ref.: Zenger - Griebel (Bonn) 26.2.1996

Meyer-Gruhl, Uwe: Konzepte für eine wissensbasierte visuelle Sprache zur Bildanalyse. Ref.: Radig - Endres 28.2.1996

Binter, Horst: Statische Optimierung für die Auswertung von Konsistenzbedingungen zur Prozedurausführung. Ref.: Paul - Eickel 29.2.1996

Hüttl, Reiner: Ein iteratives Lssungsverfahren bei der Finite-Element-Methode unter Verwendung rekursiver Substrukturierung und hierarchischen Basen. Ref.: Zenger - Wunderlich (Fak. für Bauingenieur- und Vermessungswesen) 20.3.1996

Hafer, Christian: Quantitative Analyse der Software-Hardware Schnittstelle (Speicherschnittstelle) als Grundlage für Optimierungen. Ref.: Jessen - Müller-Stoy (Siemens AG) 28.3.1996

Kempe, Johann: Das Delta-Transaktionsmodell zur Unterstützung von Nicht-Standard-Anwendungen. Ref.: Bayer - Kießling (Augsburg) 9.5.1996

Moser, Maximilian: Goal-Directed Reasoning in Clausal Logic with Equality. Ref.: Jessen - Nipkow 31.5.1996

Höfling, Gabriele: Schema-Evolution in objekt-orientierten Datenbanksystemen. Ref.: Bayer - Freytag (Humboldt Univ. Berlin) 20.6.1996

Schumann, Matthias: Efficient Performance Prediction for Parallel Programs. Ref.: Bode - Jessen 26.6.1996

Meyer, Ulrich: Simulation adaptiver Koppelnetze für Multiprozessorsysteme. Ref.: Hertweck - Bode 3.7.1996

Huber, Walter: Turbulenzsimulation mit der Kombinationsmethode auf Workstation- Netzen und Parallelrechnern. Ref.: Zenger - Bode 11.7.1996

Pleier, Christoph: Prozeßverlagerung in heterogenen Rechnernetzen basierend auf einer speziellen Übersetzungstechnik. Ref.: Eickel - Spies 24.7.1996

Pfefferer, Leo: Objektzentrierte Visualisierung mehrdimensionaler Daten als Erweiterung konventioneller Datenbankmodelle. Ref.: Radig - Schütt (Siemens AG) 25.7.1996

Stellner, Georg: Methoden zur Sicherungspunkterzeugung in parallelen und verteilten Systemen. Ref.: Bode - Spies 30.7.1996

Windisch, Hans-Michael: Speicherverwaltung für konzeptionell strukturierte verteilte Systeme. Ref.: Spies - Bode 30.7.1996

Kozlowski, Rolf: Untersuchung des Zusammenhangs der Last auf physikalischer Schicht und Protokollen der Osi-Ebenen 5-7 in AbhSngigkeit verschiedener Benutzeranwendungen und Erstellung eines Generators zur Erzeugung von Lasten. Ref.: Jessen - Swoboda (Fak. für Elektrotechnik und Informationstechnik) 5.8.1996

Greiner, Michael: Untersuchung und Entwicklung mathematischer Optimierungsverfahren zur Dimensionierung von Rechensystemen. Ref.: Jessen - SchSffler (Fak. für Mathematik) 19.8.1996

Hackenberg, Rudolf: Performance Optimization Methods in SVM Systems. Ref.: Bode - Hellwagner 3.9.1996

Lenke, Michael: Ein Gestaltungskonzept für den Anwendungszyklus massiv paralleler Strsmungssimulationsalgorithmen. Ref.: Bode - Hertweck 3.9.1996

Bergner, Klaus: Spezifikation großer Objektgeflechte mit Komponentendiagrammen. Ref.: Endres - Broy 16.9.1996

Heun, Volker: Efficient Embeddings of Treelike Graphs into Hypercubes. Ref.: Mayr - Meyer auf der Heide (Univ.-GH Paderborn) - Hellwagner 18.9.1996

Wessels, Gerhard: Untersuchung und Entwicklung von High-Level Synthese Techniken für den Entwurf digitaler Signalprozessoren. Ref.: Jessen - Tinhofer (Fak. für Mathematik) 4.10.1996

Wunderwald, Jens: Adding Bottom-up Evaluation to Prolog. Ref.: Radig - Bayer 20.11.1996

Altamirano Robles, Leopoldo: Automatisierung des Vorgangs zur Generierung und Optimierung von geometrischen Modellen aus 2D Objekten. Ref.: Radig - Siegert 4.12.1996

Arnoldi, Hans-Martin: Korrelationsbedingte Informationsverarbeitung in neuronalen Systemen. Ref.: Brauer - Gross (Ilmenau) 9.12.1996

Schreiber, Werner: Generierung von Dokumentverarbeitungssystemen aus formalen Spezifikationen von Dokumentarchitekturen. Ref.: Eickel - Brüggemann-Klein 10.12.1996

Bauer, Bernhard: Attributed Algebraic Specifications. Ref.: Eickel - Wirsing (LMU) 19.12.1996

Rumpe, Bernhard: Formale Methodik des Entwurfs verteilter, objektorientierter Systeme. Ref.: Broy - Paul 20.12.1996

Barnard, Dieter: Temporal Language of Transitions and Client-Server Systems. Ref.: Brauer - Büttner (Kaiserslautern) 20.1.1997

Butz, Dieter: Neuronale Funktionsapproximation mit RBF-Schwerpunktnetzen. Ref.: Brauer - Gross (Ilmenau) 20.1.1997

Heumann, Klaus: Biologische Sequenzdatenanalyse großer Datensätze basierend auf Positionsbaumvarianten. Ref.: Bayer - Giegerich (Bielefeld) - Schomburg (Ksln) 10.2.1997

Regler, Hans: Anwenden von algebraischen Mehrgittermethoden auf das Plazierproblem beim Chipentwurf und auf die numerische Simulation von Strsmungen. Ref.: Zenger - Griebel (Bonn) 10.2.1997

Koch, Michael: Unterstützung kooperativer Dokumentenbearbeitung in Weitverkehrsnetzen. Ref.: Schlichter - Baumgarten 20.2.1997

Krammer, Johann: Neue Techniken zur werkzeugunterstützten Leistungsoptimierung von datenparallelen Programmen. Ref.: Bode - Jessen 24.2.1997

Lamberts, Stefan: Parallele verteilte Dateisysteme in Rechnernetzen. Ref.: Bode - Hellwagner 5.3.1997

Mader, Angelika: Verification of Modal Properties Using Boolean Equation Systems. Ref.: Brauer - Stirling (Edinburgh) 10.3.1997

Pfaffinger, Alexander: Funktionale Beschreibung und Parallelisierung von Algorithmen auf dünnen Gittern. Ref.: Zenger - Bode 26.3.1997

Bals, Bernhard: Analyse von ArbeitsplStzen für explorative Datenauswertung und Entwurf einer Methodik zur Werkzeugintegration am Beispiel Biosignalverarbeitung. Ref.: Paul - Neiß(Fak. für Medizin) 9.4.1997

Slotosch, Oscar: Refinements in HOLCF: Implementation of Interactive Systems. Ref.: Broy - Nipkow 9.4.1997

Koppenhagen, Ulla: Optimal Algorithms for Binomial Ideals and Commutative Semigroups. Ref.: Mayr - Brauer 15.5.1997

Heiler, Kirsten: Eine Methodik zur Modellierung von KonfigurationsvorgSngen für Szenarien im Netz- und Systemmanagement. Ref.: Hegering - Schlichter 12.6.1997

Borgeest, Rolf: Entwicklungsbegleitende Leistungsbewertung. Ref.: Bode - Jessen 19.6.1997

Dornseifer, Thomas: Diskretisierung allgemeiner elliptischer Differentialgleichungen in krummlinigen Koordinatensystemen auf dünnen Gittern. Ref.: Zenger - Hoppe (Augsburg) 22.7.1997

Pleier, Christoph: Prozeßverlagerung in heterogenen Rechnernetzen basierend auf einer speziellen Übersetzungstechnik. Ref.: Eickel - Spies 24.7.1997

Rothenhöfer, Daniela: Ein Konzept für ein intelligentes Tutorsystem zum Erlernen des Testens und Debugging paralleler Prozeßsysteme. Ref.: Paul - Brauer - Msbus (Oldenburg) 28.7.1997

Schiemann, Björn: Intelligente Lastverteilung für Datenbank-Management-Systeme. Ref.: Jessen - Hellwagner 28.7.1997

Neunhoeffer, Tilman: Numerische Simulation von Erstarrungsprozessen unterkühlter Flüssigkeiten unter Berücksichtogung von Dichteunterschieden. Ref.: Zenger - Griebel (Bonn) 8.8.1997 Goller, Christoph: A Connectionist Approach for Learning Search-Control Heuristics for Automated Deduction Systems. Ref.: Jessen - Gori (Siena) 29.8.1997

Strobl, Georg: Entwicklung und Wiederverwendung wissensbasierter Produktmodelle auf der Grundlage formaler Ontologien. Ref.: Jessen - Furbach (Koblenz) 5.9.1997

Schreiber, Siegfried: Spezifikationstechniken und Generierungswerkzeuge für graphische BenutzungsoberflSchen. Ref.: Eickel - Endres (Karlsruhe) 17.9.1997

Wiesener, Stephan: SemaLink - Ein wissensbasiertes Hypermedia-System. Ref.: Bayer - Mitschang 30.9.1997

Back to contents