Ian Bayley Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Richard Amphlett [7]
2Jeremy Gibbons [1]
3Clare E. Martin [1]
4Lijun Shan [7]
5Sam Shiel [2] [3]
6Hong Zhu [5] [6] [7]

Colors in the list of coauthors

Copyright © Fri Nov 27 15:43:12 2009 by Michael Ley (ley@uni-trier.de)