| |
| 2008 | ||
|---|---|---|
| 6 | EE | Ian Bayley, Hong Zhu: Specifying Behavioural Features of Design Patterns in First Order Logic. COMPSAC 2008: 203-210 |
| 5 | EE | Ian Bayley, Hong Zhu: On the Composition of Design Patterns. QSIC 2008: 27-36 |
| 2007 | ||
| 4 | EE | Ian Bayley: Formalising Design Patterns in Predicate Logic. SEFM 2007: 25-36 |
| 2005 | ||
| 3 | EE | Ian Bayley, Sam Shiel: JVM Bytecode Verification Without Dataflow Analysis. Electr. Notes Theor. Comput. Sci. 141(1): 203-220 (2005) |
| 2 | EE | Sam Shiel, Ian Bayley: A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine. Electr. Notes Theor. Comput. Sci. 141(1): 35-52 (2005) |
| 2004 | ||
| 1 | EE | Clare E. Martin, Jeremy Gibbons, Ian Bayley: Disciplined, efficient, generalised folds for nested datatypes. Formal Asp. Comput. 16(1): 19-35 (2004) |
| 1 | Jeremy Gibbons | [1] |
| 2 | Clare E. Martin | [1] |
| 3 | Sam Shiel | [2] [3] |
| 4 | Hong Zhu | [5] [6] |