 |
 |
- Becker, Christian: System Support for Context-aware Computing, Postdoctoral Qualification, 2004.
- Haala, Norbert: Multi-Sensor-Photogrammetrie - Vision oder Wirklichkeit?, Postdoctoral Qualification, 2005.
- König, Barbara: Analysis and Verification of Systems with Dynamically Evolving Structure, Postdoctoral Qualification, 2004.
- Lohrey, Markus: Computational and logical aspects of infinite monoids, Postdoctoral Qualification, 2003.
- Petersen, Holger: Gegenseitige Simulation von Datenstrukturen, Postdoctoral Qualification, 2003.
- Schanz, M.: The AnT project: On the simulation and analysis of dynamical systems, Postdoctoral Qualification, 2005.
|
|