Andreas Schäfer Vis

other persons with the same name:

• Andreas Schäfer

*	2009
13	EE	Andreas Schäfer, Mathias John: Conceptional Modeling and Analysis of Spatio-Temporal Processes in Biomolecular Systems. APCCM 2009: 39-48
12	EE	Nigel Cundy, Stefan Krieg, Thomas Lippert, Andreas Schäfer: Topological tunnelling with dynamical overlap fermions. Computer Physics Communications 180(2): 201-208 (2009)
	2008
11	EE	Andreas Schäfer, Dietmar Fey: Pollarder: An Architecture Concept for Self-adapting Parallel Applications in Computational Science. ICCS (1) 2008: 174-183
10		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
9	EE	Andreas Schäfer, Dietmar Fey: LibGeoDecomp: A Grid-Enabled Library for Geometric Decomposition Codes. PVM/MPI 2008: 285-294
8		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
7	EE	Andreas Schäfer: Axiomatisation and decidability of multi-dimensional Duration Calculus. Inf. Comput. 205(1): 25-64 (2007)
	2006
6	EE	Jan-David Quesel, Andreas Schäfer: Spatio-temporal Model Checking for Mobile Real-Time Systems. ICTAC 2006: 347-361
	2005
5	EE	Raymond T. Boute, Andreas Schäfer: The Timer Cascade: Functional Modelling and Real Time Calculi. ICTAC 2005: 242-256
4	EE	Andreas Schäfer: Axiomatisation and Decidability of Multi-dimensional Duration Calculus. TIME 2005: 122-130
	2004
3	EE	Andreas Schäfer: A Calculus for Shapes in Time and Space. ICTAC 2004: 463-477
	2003
2	EE	Andreas Schäfer: Combining Real-Time Model-Checking and Fault Tree Analysis. FME 2003: 522-541
1	EE	Daniel B. Leineweber, Andreas Schäfer, Hans Georg Bock, Johannes P. Schlöder: An efficient multiple shooting based reduced SQP strategy for large-scale dynamic process optimization: Part II: Software aspects and applications. Computers & Chemical Engineering 27(2): 167-174 (2003)

Coauthor Index

1	Hans Georg Bock	[1]
2	Raymond T. Boute	[5]
3	Nigel Cundy	[12]
4	Jakob Erdmann	[10]
5	Dietmar Fey	[9] [10] [11]
6	Mathias John	[13]
7	Christian Kauhaus	[10]
8	Stefan Krieg	[12]
9	Daniel B. Leineweber	[1]
10	Thomas Lippert	[12]
11	Jan-David Quesel	[6]
12	Johannes P. Schlöder	[1]

Colors in the list of coauthors