| 2009 |
|---|
| 11 | EE | Andreas Schäfer,
Mathias John:
Conceptional Modeling and Analysis of Spatio-Temporal Processes in Biomolecular Systems.
APCCM 2009: 39-48 |
| 2008 |
|---|
| 10 | EE | Andreas Schäfer,
Dietmar Fey:
Pollarder: An Architecture Concept for Self-adapting Parallel Applications in Computational Science.
ICCS (1) 2008: 174-183 |
| 9 | | Jakob Erdmann,
Andreas Schäfer,
Christian Kauhaus,
Dietmar Fey:
A Profitability Heuristic that Reduces the Parameter Dependence of Dynamic Load Balancing.
Informatiktage 2008: 217-219 |
| 8 | EE | Andreas Schäfer,
Dietmar Fey:
LibGeoDecomp: A Grid-Enabled Library for Geometric Decomposition Codes.
PVM/MPI 2008: 285-294 |
| 7 | | Andreas Schäfer:
Beschreibung und Verifikation räumlicher und zeitlicher Eigenschaften mobiler Systeme (Specification and Verification of Spatio-Temporal Properties of Mobile Systems).
it - Information Technology 50(5): 324-326 (2008) |
| 2007 |
|---|
| 6 | EE | Andreas Schäfer:
Axiomatisation and decidability of multi-dimensional Duration Calculus.
Inf. Comput. 205(1): 25-64 (2007) |
| 2006 |
|---|
| 5 | EE | Jan-David Quesel,
Andreas Schäfer:
Spatio-temporal Model Checking for Mobile Real-Time Systems.
ICTAC 2006: 347-361 |
| 2005 |
|---|
| 4 | EE | Raymond T. Boute,
Andreas Schäfer:
The Timer Cascade: Functional Modelling and Real Time Calculi.
ICTAC 2005: 242-256 |
| 3 | EE | Andreas Schäfer:
Axiomatisation and Decidability of Multi-dimensional Duration Calculus.
TIME 2005: 122-130 |
| 2004 |
|---|
| 2 | EE | Andreas Schäfer:
A Calculus for Shapes in Time and Space.
ICTAC 2004: 463-477 |
| 2003 |
|---|
| 1 | EE | Andreas Schäfer:
Combining Real-Time Model-Checking and Fault Tree Analysis.
FME 2003: 522-541 |
