dblp.uni-trier.dewww.uni-trier.de

Andreas Schäfer

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
11EEAndreas Schäfer, Mathias John: Conceptional Modeling and Analysis of Spatio-Temporal Processes in Biomolecular Systems. APCCM 2009: 39-48
2008
10EEAndreas 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
8EEAndreas 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
6EEAndreas Schäfer: Axiomatisation and decidability of multi-dimensional Duration Calculus. Inf. Comput. 205(1): 25-64 (2007)
2006
5EEJan-David Quesel, Andreas Schäfer: Spatio-temporal Model Checking for Mobile Real-Time Systems. ICTAC 2006: 347-361
2005
4EERaymond T. Boute, Andreas Schäfer: The Timer Cascade: Functional Modelling and Real Time Calculi. ICTAC 2005: 242-256
3EEAndreas Schäfer: Axiomatisation and Decidability of Multi-dimensional Duration Calculus. TIME 2005: 122-130
2004
2EEAndreas Schäfer: A Calculus for Shapes in Time and Space. ICTAC 2004: 463-477
2003
1EEAndreas Schäfer: Combining Real-Time Model-Checking and Fault Tree Analysis. FME 2003: 522-541

Coauthor Index

1Raymond T. Boute [4]
2Jakob Erdmann [9]
3Dietmar Fey [8] [9] [10]
4Mathias John [11]
5Christian Kauhaus [9]
6Jan-David Quesel [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)