| 2007 | ||
|---|---|---|
| 4 | EE | Petra Malik, Robi Malik, David Streader, Steve Reeves: Modular Synthesis of Discrete Controllers. ICECCS 2007: 25-34 |
| 2006 | ||
| 3 | EE | Annika Hinze, Petra Malik, Robi Malik: Interaction design for a mobile context-aware system using discrete event modelling. ACSC 2006: 257-266 |
| 2005 | ||
| 2 | EE | Tim Miller, Leo Freitas, Petra Malik, Mark Utting: CZT Support for Z Extensions. IFM 2005: 227-245 |
| 1 | EE | Petra Malik, Mark Utting: CZT: A Framework for Z Tools. ZB 2005: 65-84 |
| 1 | Leo Freitas (Leonardo Freitas) | [2] |
| 2 | Annika Hinze | [3] |
| 3 | Robi Malik | [3] [4] |
| 4 | Tim Miller | [2] |
| 5 | Steve Reeves | [4] |
| 6 | David Streader | [4] |
| 7 | Mark Utting | [1] [2] |