Ian Bayley

	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)

Coauthor Index

1	Jeremy Gibbons	[1]
2	Clare E. Martin	[1]
3	Sam Shiel	[2] [3]
4	Hong Zhu	[5] [6]

Colors in the list of coauthors