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

APPL, MARTIN: Model-Based Reinforcement Learning in Continuous
Environments. Brauer – Schürmann (Siemens AG) 22.12.2000
KLUPSCH, MICHAEL: Objektorientierte Daten- und Zeitmodellierung für
die Echtzeit-Bildfolgenauswertung. Radig – Paul 24.1.2001
GOGL, HELMUT: Measurement and Characterization of Traffic Streams
in High-Speed Wide Area Networks. Jessen – Swoboda (EI) 2.2.2001
HELLER, ULRICH: Process-oriented Consistencybased Diagnosis — Theory,
Implementation and Applications. Struss – Brauer 8.2.2001
OHEIMB, DAVID VON: Analyzing Java in Isabelle/HOL: Formalization,
Type Safety and Hoare Logic.
Nipkow – Poetzsch-Heffter (FU Hagen) 9.2.2001
RÖCKL, CHRISTINE: On the Mechanized Validation of Infinite-State and
Parameterized Reactive and Mobile Systems.
Esparza – Brauer – Sangiorgi (INRIA-Sophia Antipolis, F) 12.2.2001
RACKL, GÜNTHER: Monitoring and Managing Heterogeneous Middleware.
Bode – Jessen 13.2.2001
NARASCHEWSKI, WOLFGANG: Teams as Types — A Formal Treatment
of Authorisation in Groupware.
Brügge – Scott (Carnegie-Mellon, Pittsburgh, PA, USA) 21.3.2001
LANGER,MICHAEL: Konzeption und Anwendung einer Customer Service
Management Architektur. Hegering – Jessen 22.3.2001
NERB, MICHAEL: Customer Service Management als Basis für interorganisationales
Dienstmanagement. Hegering – Schlichter 22.3.2001
ZOLLER, PETER: HMT: Modeling Interactive and Adaptive Databasedriven
Hypermedia Applications. Bayer – Specht (Ilmenau) 7.5.2001
WAGNER, MICHAEL: Dynamic Migration of Object Semantics among
Heterogeneous Environments. Schlichter – Brügge 15.5.2001
STECK, HARALD: Constraint-Based Structural Learning in Bayesian
Networks Using Finite Data Sets.
Brauer – Lauritzen (Aalborg, DK) 18.5.2001
SAPIA, CARSTEN: PROMISE — Modeling and Predicting User Behavior
for Online Analytical Processing Applications.
Bayer – Stoyan (Erlangen-Nürnberg) 29.5.2001
BADER,MICHAEL: Robuste, parallele Mehrgitterverfahren für die Konvektions-Diffusions-Gleichung.
Zenger – Durst (Erlangen-Nürnberg) 30.5.2001
BREITLING, MAX: Formale Fehlermodellierung für verteilte reaktive
Systeme. Broy – Jessen 25.6.2001
DRUM, PHILIPP: Effiziente Methoden für global verteiltes wissenschaftliches
Rechnen. Bode – Jessen 6.7.2001
423