other persons with the same name:
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 |
1 | Raymond T. Boute | [4] |
2 | Jakob Erdmann | [9] |
3 | Dietmar Fey | [8] [9] [10] |
4 | Mathias John | [11] |
5 | Christian Kauhaus | [9] |
6 | Jan-David Quesel | [5] |