Brian Ritchie
发表
Brian Ritchie,
B. Ritchie,
1988
.
Brian Ritchie,
Paul Taylor,
B. Ritchie,
1989
.
Julian R. Gallop,
Brian Ritchie,
Tom Kirkham,
2006,
2006 Fifth International Conference on Grid and Cooperative Computing Workshops.
Julian R. Gallop,
Brian Ritchie,
Tom Kirkham,
2006,
15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'06).
Brian Ritchie,
David Giaretta,
Helen Glaves,
2014
.
Brian Ritchie,
Juan Bicarregui,
1993,
FME.
A. Richard Newton,
Kevin Lano,
Brian Ritchie,
1997,
IEE Proc. Softw. Eng..
Brian Ritchie,
Tom Maibaum,
Kevin Lano,
1999,
FM 1999.
Brian Ritchie,
Juan Bicarregui,
1991,
VDM Europe.
Brian Ritchie,
Brian Matthews,
Sten Agerholm,
1998,
Formal Aspects of Computing.
Brian Ritchie,
1996
.
Brian Ritchie,
Juan Bicarregui,
1995,
IEEE Trans. Software Eng..
Julian R. Gallop,
Brian Ritchie,
Tom Kirkham,
2005,
SOAS.
Peter A. Lindsay,
Brian Ritchie,
Juan Bicarregui,
1994
.
Brian Ritchie,
Brian Matthews,
Juan Bicarregui,
1998,
B.
Julian R. Gallop,
Brian Ritchie,
Tom Kirkham,
2007,
Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid '07).
Brian Ritchie,
Juan Bicarregui,
John Fitzgerald,
1994
.
Brian Ritchie,
Ketil Stølen,
Theodosis Dimitrakos,
2002
.
Peter A. Lindsay,
Brian Ritchie,
Juan Bicarregui,
1994
.
Brian Ritchie,
Juan Bicarregui,
Howard P. Haughton,
1994,
FME.
Peter A. Lindsay,
Brian Ritchie,
Juan Bicarregui,
1994
.
Peter A. Lindsay,
Brian Ritchie,
Juan Bicarregui,
1994
.
Peter A. Lindsay,
Brian Ritchie,
Juan Bicarregui,
1993,
Proof in VDM.
Brian Ritchie,
Derek Ross,
Erica Yang,
2016
.
Brian Ritchie,
Ketil Stølen,
Siv Hilde Houmb,
2002,
I3E.
Brian Ritchie,
Juan BicarreguiRutherford,
1998
.
Peter Gorm Larsen,
Brian Ritchie,
Juan Bicarregui,
1993
.