On Fairness in Terminating and Reactive Programs. - Axel Wabenhorst (MFCS, 1996)

Modelling Multi-Threading in Java. - Axel Wabenhorst; John Potter (TOOLS (25), 1997)

A Set-Theoretic Model for Real-Time Specification and Reasoning. - Colin J. Fidge; Ian J. Hayes; Andrew P. Martin; Axel Wabenhorst (MPC, 1998)

A model of real-time distributed systems. - Axel Wabenhorst (PROCOMET, 1998)

Stepwise development of fair distributed systems. - Axel Wabenhorst (Acta Informatica, 2003)

Induction in the Timed Interval Calculus. - Axel Wabenhorst (Theor. Comput. Sci., 2003)