Axel Wabenhorst

According to our database1, Axel Wabenhorst
  • authored at least 6 papers between 1996 and 2003.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2003
Induction in the Timed Interval Calculus.
Theor. Comput. Sci., 2003

Stepwise development of fair distributed systems.
Acta Inf., 2003

1998
A model of real-time distributed systems.
Proceedings of the Programming Concepts and Methods, 1998

A Set-Theoretic Model for Real-Time Specification and Reasoning.
Proceedings of the Mathematics of Program Construction, 1998

1997
Modelling Multi-Threading in Java.
Proceedings of the TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 1997

1996
On Fairness in Terminating and Reactive Programs.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996


  Loading...