We stand with Ukraine  

Andreas Schäfer

Affiliations:
  • University of Oldenburg, Germany


According to our database1, Andreas Schäfer authored at least 8 papers between 2003 and 2009.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
Conceptional Modeling and Analysis of Spatio-Temporal Processes in Biomolecular Systems.
[BibTeX]
[DOI]
Andreas Schäfer
,
Mathias John
Proceedings of the Conceptual Modelling 2009, 2009

2007
Axiomatisation and decidability of multi-dimensional Duration Calculus.
[BibTeX]
[DOI]
Andreas Schäfer
Inf. Comput., 2007

2006
Spatio-temporal Model Checking for Mobile Real-Time Systems.
[BibTeX]
[DOI]
Jan-David Quesel
,
Andreas Schäfer
Proceedings of the Theoretical Aspects of Computing, 2006

Specification and verification of mobile real-time systems.
[BibTeX]
[DOI]
Andreas Schäfer
Proceedings of the Ausgezeichnete Informatikdissertationen 2006, 2006

Specification and verification of mobile real-time systems.
[BibTeX]
[DOI]
Andreas Schäfer
PhD thesis, 2006

2005
The Timer Cascade: Functional Modelling and Real Time Calculi.
[BibTeX]
[DOI]
Raymond T. Boute
,
Andreas Schäfer
Proceedings of the Theoretical Aspects of Computing, 2005

2004
A Calculus for Shapes in Time and Space.
[BibTeX]
[DOI]
Andreas Schäfer
Proceedings of the Theoretical Aspects of Computing, 2004

2003
Combining Real-Time Model-Checking and Fault Tree Analysis.
[BibTeX]
[DOI]
Andreas Schäfer
Proceedings of the FME 2003: Formal Methods, 2003


  Loading...