2006 |
3 | EE | S. Y. Crompton,
B. M. Matthews,
W. A. Gray,
Andrew C. Jones,
Richard J. White,
Jaspreet Singh Pahwa:
OGSA-DAI and Bioinformatics Grids: Challenges, Experience and Strategies.
CCGRID 2006: 193-200 |
2002 |
2 | EE | Dan Brickley,
S. Buswell,
B. M. Matthews,
L. Miller,
D. Reynolds,
M. D. Wilson:
SWAD-Europe: Semantic Web Advanced Development in Europe.
International Semantic Web Conference 2002: 409-413 |
1997 |
1 | | Juan Bicarregui,
D. L. Clutterbuck,
Gavin R. Finnie,
Howard P. Haughton,
Kevin Lano,
H. Lesan,
D. W. R. M. Marsh,
B. M. Matthews,
Michael R. Moulding,
A. Richard Newton,
Brian Ritchie,
T. G. A. Rushton,
P. N. Scharbach:
Formal methods into practice: case studies in the application of the B method.
IEE Proceedings - Software 144(2): 119-133 (1997) |