40 Jahre Informatik in München - Fakultät für Informatik - TUM

POETZSCH-HEFFTER, ARND: Formale Spezifikation der kontextabhängigen
Syntax von Programmiersprachen. Eickel – Broy 25.7.1991
ABECK, SEBASTIAN: Gewinnung von Fehlerinformation aus OSI-Protokollbeschreibungen
und deren Verwendung in einem offenen Fehlermanagement.
Hegering – Jessen 30.7.1991
LOHMANN, GABRIELE: An Evidential Reasoning Approach to the Classification
of Satellite Images. Radig – Fuchs (Dresden) 7.8.1991
TEEGE, GUNNAR: Ein System zur Repräsentation von deklarativem Gebietswissen
für intelligente Tutorsysteme. Siegert – Radig 29.8.1991
SCHUMANN, JOHANN: Efficient Theorem Provers based on an Abstract
Machine. Jessen – Bode 28.10.1991
KOWARSCHICK, WOLFGANG: Semantische Optimierung rekursiver, insbesondere
∆-transformierter Logikprogramme.
Bayer – Brauer 13.11.1991
STRASSER, ANDREAS: Generierung domänenspezifischer Wissensrepräsentationssysteme
und Transformation von Wissensbasen mit einer
Anwendung in der Rechtsinformatik.
Jessen – Radig – Philipps (LMU) 19.11.1991
FRANK, CHRISTOPH: Ein objektorientiertes Spezifikations- und Verfeinerungsmodell.
Siegert – Paul 11.12.1991
MATZKE, PETRA: Objektivierung des Vorgangs der Modellierung von
Rechensystemen durch Wartenetze.
Jessen – Lehmann, Fritz (UBwM) 27.1.1992
DESEL, JÖRG: Struktur und Analyse von free-choice Petrinetzen.
Reisig – Broy 13.2.1992
WEBER, RAINER: Eine Methodik für die formale Anforderungsspezifikation
verteilter Systeme. Broy – Reisig 13.2.1992
HULIN, MARTIN: Evolutionsstrategien zur Schaltungspartitionierung.
Jessen – Antreich (EI) 14.2.1992
FRIEDRICH, MICHAEL: Sprachmittel und Werkzeuge zur Unterstützung
paralleler und verteilter Programmierung. Paul – Bode 28.2.1992
FILKORN,THOMAS: Symbolische Methoden für die Verifikation endlicher
Zustandssysteme. Brauer – Antreich (EI) 10.4.1992
LAUßERMAIR,THOMAS: Hyperflächen-Annealing: Ein paralleles Optimierungsverfahren
basierend auf selbstorganisierter Musterbildung durch
Relaxation auf gekrümmten Hyperflächen.
Brauer – Schwefel (Dortmund) 10.4.1992
BUNGARTZ, HANS-JOACHIM: Dünne Gitter und deren Anwendung bei
der adaptiven Lösung der dreidimensionalen Poisson-Gleichung.
Zenger – Hoppe – Jessen 12.6.1992
407