| 2007 |
B |
conf |
CCGRID
Robert B. Piotter, Tom Kirkham, Julian R. Gallop, Ian J. Johnson, Damian Mac Randal, Brian Ritchie
|
| 2006 |
— |
conf |
GCC Workshops
Annalisa Terracina, Stefano Beco, Tom Kirkham, Julian R. Gallop, Ian J. Johnson, Damian Mac Randal, Brian Ritchie
|
| 2006 |
C |
conf |
WETICE
Tom Kirkham, Julian R. Gallop, Ian J. Johnson, Damian Mac Randal, Brian Ritchie, Thomas Varsamidis
|
| 2005 |
— |
conf |
SOAS
Tom Kirkham, Julian R. Gallop, Simon C. Lambert, Brian Matthews, Damian Mac Randal, Brian Ritchie
|
| 2002 |
— |
conf |
I3E
Theodosis Dimitrakos, Brian Ritchie, Dimitris Raptis, Jan Øyvind Aagedal, Folker den Braber, Ketil Stølen, Siv Hilde Houmb
|
| 2002 |
— |
conf |
EuroWeb
Theodosis Dimitrakos, Dimitris Raptis, Brian Ritchie, Ketil Stølen
|
| 1998 |
J |
jnl |
Formal Aspects Comput.
Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm
|
| 1998 |
— |
conf |
B
Brian Matthews, Brian Ritchie, Juan Bicarregui
|
| 1997 |
J |
jnl |
IEE Proc. Softw. Eng.
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
|
| 1995 |
J |
jnl |
IEEE Trans. Software Eng.
Juan Bicarregui, Brian Ritchie
|
| 1994 |
— |
conf |
FME
Brian Ritchie, Juan Bicarregui, Howard P. Haughton
|
| 1994 |
— |
book |
Proof in VDM
Juan Bicarregui, John S. Fitzgerald, Peter A. Lindsay, Richard C. Moore, Brian Ritchie
|
| 1993 |
— |
conf |
FME
Juan Bicarregui, Brian Ritchie
|
| 1991 |
— |
conf |
VDM Europe (1)
Juan Bicarregui, Brian Ritchie
|
| 1988 |
— |
— |
Brian Ritchie
|