2000-06
Berchtold, Clemens
Parallele und verteilte Simulation

2000-04
Köster, Andreas
Modellbildung und Simulation unter Verwendung wissensbasierter Konzepte

2000-03
Brade, Dirk
Modeling and Simulation Verification, Validation and Accreditation

2000-02
Kahl, Wolfram; Schmidt, Gunther
Exploring (Finite) Relation Algebras using Tools written in Haskell

2000-01
Kahl, Wolfram; Braun, Oliver; Scheffczyk, Jan
Editor Combinators - A First Account

2001-03
Schürr, Andy
OMER-2 Workshop Proceedings

2001-02
Kahl, Wolfram; Parnas, David L.; Schmidt, Gunther
Relational Methods in Software, RelMiS 2001

2001-01
Kahl, Wolfram
Parallel Composition and Decomposition of Spezifications

2002-09
Schmidt, Gunther
Decomposing Relations

2002-08
Stiller, Burkhard; Braun, Oliver; Heursch, Arnd
Mobile Systems I