| |
| 2009 | ||
|---|---|---|
| 5 | EE | Frank Zeyda, Ana Cavalcanti: Mechanised Translation of Control Law Diagrams into Circus. IFM 2009: 151-166 |
| 2007 | ||
| 4 | EE | Bill Stoddart, Dominique Cansell, Frank Zeyda: Modelling and Proof Analysis of Interrupt Driven Scheduling. B 2007: 155-170 |
| 2006 | ||
| 3 | EE | Bill Stoddart, Frank Zeyda, Robert Lynas: A Design-Based Model of Reversible Computation. UTP 2006: 63-83 |
| 2005 | ||
| 2 | EE | Frank Zeyda, Bill Stoddart, Steve Dunne: A Prospective-Value Semantics for the GSL. ZB 2005: 187-202 |
| 2003 | ||
| 1 | EE | Bill Stoddart, Frank Zeyda: Expression Transformers in B-GSL. ZB 2003: 197-215 |
| 1 | Dominique Cansell | [4] |
| 2 | Ana Cavalcanti | [5] |
| 3 | Steve Dunne | [2] |
| 4 | Robert Lynas | [3] |
| 5 | Bill Stoddart | [1] [2] [3] [4] |