According to our database1, Axel Wabenhorst authored at least 6 papers between 1996 and 2003.
Legend:Book In proceedings Article PhD thesis Other
Induction in the Timed Interval Calculus.
Theor. Comput. Sci., 2003
Stepwise development of fair distributed systems.
Acta Inf., 2003
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
Modelling Multi-Threading in Java.
Proceedings of the TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 1997
On Fairness in Terminating and Reactive Programs.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996