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

KIRCHMAIR, CLEMENS: Identifikation von Systemen mit Hysterese mit
Hilfe von Preisach-Neuronen in vorstrukturierten neuronalen Netzen.
Brauer – Protzel (Chemnitz) 5.2.2002
PRENSA-NIETO, LEONOR: Verification of Parallel Programs with the
Owicki-Gries and Rely-Guarantee Methods in Isabelle/HOL.
Nipkow – Esparza 11.2.2002
DEHMEL, ANDREAS: A Compression Engine for Multidimensional Array
Database Systems. Bayer – Huckle 9.4.2002
SCHIELE, PETER: Methodischer Übergang von Spezifikationen in ein
virtuelles Steuergerätenetzwerk. Broy – Schürr (UBwM) 2.5.2002
BRANDL, ALFONS: Generierung interaktiver Informationssysteme und
ihrer Benutzungsoberflächen für mehrere Benutzer.
Eickel – Schlichter 7.6.2002
HANSEN, CHRISTOPH: Modellgetriebene Verfolgung formvariabler Objekte
in Videobildfolgen. Radig – Mayer (UBwM) 17.6.2002
LINDERMEIER, MARKUS: Ein Konzept zur Lastenverwaltung in verteilten
objektorientierten Systemen. Bode – Jessen 18.6.2002
BRAND, CLAUDIA: Neuronale Idenfikation von Totzeiten.
Brauer – Jessen 24.6.2002
KOCH, JÜRGEN: Unterstützung der Formierung und Analyse von virtuellen
Communities. Schlichter – Baumgarten – Zenger 3.7.2002
RAMSAK, FRANK: Towards a general-purpose, multidimensional index:
Integration, Optimization, and Enhancement of UB-Trees.
Bayer – Sellis (U Athen) 3.7.2002
HEISE, ANDREAS: Grundlagen strukturierten Spezifizierens mit höheren
Netzen. Brauer – Ehrig (TU Berlin) 15.7.2002
MOLTERER, SASCHA: Ein methodisches Framework zur Entwicklung offener,
unternehmensweiter Systeme und Anwendungen mit Business
Objects. Broy – Lehner (Regensburg) 15.7.2002
STAUDACHER, JOCHEN: Multigrid methods for matrices with structure
and applications in image precessing. Huckle – Fassbender 16.7.2002
SALZMANN, CHRISTIAN: Modellbasierter Entwurf spontaner Komponentensysteme.
Broy – Baumgarten 22.7.2002
KRANZ, CHRISTOPH: Untersuchungen zur Kombinationstechnik bei der
numerischen Strömungssimulation auf versetzten Gittern.
Zenger – Durst (Erlangen-Nürnberg) 14.8.2002
FRIEDETZKY, THOMAS: Randomised Dynamic Load Balancing.
Mayr – Meyer auf der Heide (Paderborn) 24.8.2002
STENZ, GERNOT: The Disconnection Calculus.
Jessen – Schmitt (Karlsruhe) 20.9.2002
425