 | 2009 |
|---|
| 7 |       | Hong Zhu,
Ian Bayley,
Lijun Shan,
Richard Amphlett:
Tool Support for Design Pattern Recognition at Model Level.
COMPSAC (1) 2009: 228-233 |
| 2008 |
|---|
| 6 | | Ian Bayley,
Hong Zhu:
Specifying Behavioural Features of Design Patterns in First Order Logic.
COMPSAC 2008: 203-210 |
| 5 | | Ian Bayley,
Hong Zhu:
On the Composition of Design Patterns.
QSIC 2008: 27-36 |
| 2007 |
|---|
| 4 | | Ian Bayley:
Formalising Design Patterns in Predicate Logic.
SEFM 2007: 25-36 |
| 2005 |
|---|
| 3 | | Ian Bayley,
Sam Shiel:
JVM Bytecode Verification Without Dataflow Analysis.
Electr. Notes Theor. Comput. Sci. 141(1): 203-220 (2005) |
| 2 | | 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 | | Clare E. Martin,
Jeremy Gibbons,
Ian Bayley:
Disciplined, efficient, generalised folds for nested datatypes.
Formal Asp. Comput. 16(1): 19-35 (2004) |
