| |
| 2003 | ||
|---|---|---|
| 6 | EE | Axel Wabenhorst: Stepwise development of fair distributed systems. Acta Inf. 39(4): 233-271 (2003) |
| 5 | EE | Axel Wabenhorst: Induction in the Timed Interval Calculus. Theor. Comput. Sci. 300(1-3): 181-207 (2003) |
| 1998 | ||
| 4 | EE | Colin J. Fidge, Ian J. Hayes, A. P. Martin, Axel Wabenhorst: A Set-Theoretic Model for Real-Time Specification and Reasoning. MPC 1998: 188-206 |
| 3 | Axel Wabenhorst: A model of real-time distributed systems. PROCOMET 1998: 462-482 | |
| 1997 | ||
| 2 | EE | Axel Wabenhorst, John Potter: Modelling Multi-Threading in Java. TOOLS (25) 1997: 153-164 |
| 1996 | ||
| 1 | Axel Wabenhorst: On Fairness in Terminating and Reactive Programs. MFCS 1996: 554-565 | |
| 1 | Colin J. Fidge | [4] |
| 2 | Ian J. Hayes | [4] |
| 3 | A. P. Martin | [4] |
| 4 | John Potter | [2] |