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

SCHMIDT, ALEXANDER: Eine formale Modellierung von Verbindungsstrukturen
in Kommunikationssystemen.
Broy – Eberspächer (EI) 23.6.2003
PIERINGER, ROLAND: Modeling and implementing multidimensional hierarchically
structured Data for Data Warehouses in relational Database
Management Systems and the Implementation into Transbase.
Bayer – Freitag 9.7.2003
LÖTZBEYER, HEIKO: Modellbasierte Testfallermittlung für eingebettete
Systeme in sicherheitskritischen Anwendungen. Broy – Paul 10.7.2003
PRETSCHNER, ALEXANDER: Zum modellbasierten funktionalen Test reaktiver
Systeme. Broy – Müller-Glaser (Karlsruhe) 4.8.2003
WÖRNDL, WOLFGANG: Privatheit bei dezentraler Verwaltung von Benutzerprofilen.
Schlichter – Teege (UBwM) – Bichler 6.8.2003
BRANDT,FELIX: Fundamental Aspects of Privacy and Deception in Electronic
Auctions. Brauer – Bichler 13.8.2003
BERGHOFER, STEFAN: Proofs, Programs and Executable Specifications
in Higher Order Logic. Nipkow – Schwichtenberg (LMU) 20.10.2003
LACHER, MARTIN: Supporting the Exchange of Knowledge in Communities
of Interest via Document Catalog Mediation.
Schlichter – Borghoff (UBwM) 30.10.2003
WOHNER, WOLFGANG: EOS: An Epistemological Ontology-driven System
for Knowledge Processing. Bayer – Paul 30.10.2003
RADETZKY, ARNE: Methoden zur Erhöhung des visuellen Realismus für
die Simulation minimalinvasiver chirurgischer Eingriffe.
Westermann – Preim (Magdeburg) 7.11.2003
STEIN, KLAUS: Qualitative Repräsentation und Generalisierung von Bewegungsverläufen.
Brauer – Freksa (Bremen) 28.11.2003
ACHER, GEORG: JIFFY — Ein FPGA-basierter Java Just-in-Time
Compiler für eingebettete Anwendungen. Bode – Jessen 10.12.2003
BUCK, SEBASTIAN: Experience-Based Control and Coordination of Autonomous
Mobile Systems in Dynamic Environments.
Radig – Palm (Ulm) 12.12.2003
EMANS, MAXIMILIAN: Numerische Simulation des unterkühlten Blasensiedens
in turbulenter Strömung: Ein Euler-Lagrange-Verfahren auf
orthogonalen Gittern. Zenger – Mayinger (MW) 19.12.2003
LANDGRAF, BRITTA: BibRelEx: Erschließung bibliographischer Datenbasen
durch Visualisierung von annotierten inhaltsbasierten Beziehungen.
Brüggemann-Klein – Ottmann (Freiburg) 22.12.2003
BRAUN, PETER: Metamodellbasierte Kopplung von Werkzeugen in der
Softwareentwicklung. Broy – Schürr (Darmstadt) 16.1.2004
427