Brian Matthews

	2010
31		Brian Matthews, Arif Shaon, Juan Bicarregui, Catherine Jones, Esther Conway, Jim Woodcock: Considering Software Preservation. ERCIM News 2010(80): (2010)
	2009
30		Koraljka Golub, Jim Moon, Douglas Tudhope, Catherine Jones, Brian Matthews, BartBomiej PuzoD, Marianne Lykke Nielsen: EnTag: enhancing social tagging for discovery. JCDL 2009: 163-172
	2008
29		Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews, Erica Y. Yang: Modelling Security Properties in a Grid-based Operating System with Anti-Goals. ARES 2008: 1429-1436
28		F. Ubis, Tom Kirkham, Brian Matthews, Jose L. Martinez Lastra, Robert Harrison, V. Villaseñor Herrera, A. Chowdrey: The Challenges along the Road to the Realisation of a Factory Automation Lifecycle. COMPSAC 2008: 559-562
27		Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews: Managing Conflicts of Interest in Virtual Organisations. Electr. Notes Theor. Comput. Sci. 197(2): 45-56 (2008)
26		Massimo Coppola, Yvon Jégou, Brian Matthews, Christine Morin, Luis Pablo Prieto, Oscar David Sánchez, Erica Y. Yang, Haiyan Yu: Virtual Organization Support within a Grid-Wide Operating System. IEEE Internet Computing 12(2): 20-28 (2008)
	2007
25		Alvaro Arenas, Michael Wilson, Brian Matthews: On trust management in grids. Autonomics 2007: 4
24		Amit D. Lakhani, Erica Y. Yang, Brian Matthews, Ian Johnson, Syed Naqvi, Gheorghe Cosmin Silaghi: Threat Analysis and Attacks on XtreemOS: a Grid-enabled Operating System. CoreGRID 2007: 53-62
23		Erica Y. Yang, Brian Matthews, Amit D. Lakhani, Yvon Jégou, Christine Morin, Oscar David Sánchez, Carsten Franke, Philip Robinson, Adolf Hohl, Bernd Scheuermann, Daniel Vladusic, Haiyan Yu, An Qin, Rubao Lee, Erich Focht, Massimo Coppola: Virtual Organization Management in XtreemOS: an Overview. CoreGRID 2007: 73-82
	2006
22		Alvaro E. Arenas, Jin Song Dong, Andrew Martin, Brian Matthews: Preface. Electr. Notes Theor. Comput. Sci. 151(2): 1 (2006)
	2005
21		Tom Kirkham, Julian R. Gallop, Simon C. Lambert, Brian Matthews, Damian Mac Randal, Brian Ritchie: Providing Reliable Distributed Grid Services in Mobile Environments. SOAS 2005: 246-255
20		Daniel Olmedilla, Omer F. Rana, Brian Matthews, Wolfgang Nejdl: Security and Trust Issues in Semantic Grids. Semantic Grid 2005
	2004
19		Alvaro E. Arenas, Brian Matthews: An Experiment on Modelling Agents and Knowledge for the Semantic Web. AIMSA 2004: 54-64
18		Michael Wilson, Brian Matthews: The Future of the World Wide Web? BNCOD 2004: 4-15
17		Alvaro E. Arenas, Brian Matthews: Toward a Library of Problem-Solving Methods on the Internet. EKAW 2004: 485-486
16		Brian Matthews, Theodosis Dimitrakos: Deploying Trust Policies on the Semantic Web. iTrust 2004: 369-375
	2003
15		Theodosis Dimitrakos, Brian Matthews, Simon C. Lambert, Juan Bicarregui: Meta-data Management Issues Underpinning Emerging Solutions for Distributed Trust and Contract Management in Enterprise Grid and P2P Systems. Experiences from GRASP, SWAD-Europe, PELLUCID and CORAS projects. MMGPS 2003
	2002
14		Brian Matthews, F. Robert A. Hopgood, Michael Wilson: The Web and the Grid: from e-science to e-business. EuroWeb 2002 Conference, St Anne's College, Oxford, UK. 17-18 December 2002 BCS 2002
13		Theodosis Dimitrakos, Ivan Djordjevic, Brian Matthews, Juan Bicarregui, Chris I. Phillips: Policy-Driven Access Control over a Distributed Firewall Architecture. POLICY 2002: 228-231
	2001
12		John V. Ashby, Juan Bicarregui, David R. S. Boyd, Kerstin Kleese van Dam, Simon C. Lambert, Brian Matthews, Kevin D. O'Neill: A Multidisciplinary Scientific Data Portal. HPCN Europe 2001: 13-22
	2000
11		Simon A. Dobson, Brian Matthews: Ionic Types. ECOOP 2000: 296-312
10		Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum: Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. ZB 2000: 107-126
	1999
9		Juan Bicarregui, Brian Matthews: Proof and Refutation in Formal Software Development. IWFM 1999
8		Brian Matthews, Elvira Locuratolo: Formal Development of Databases in ASSO and B. World Congress on Formal Methods 1999: 388-410
	1998
7		Brian Matthews, Brian Ritchie, Juan Bicarregui: Synthesising Structure from Flat Specifications. B 1998: 148-161
6		Elvira Locuratolo, Brian Matthews: On the Relationship between ASSO and B. EJC 1998: 235-253
5		Brian Matthews, Elvira Locuratolo: Translating Structured Database Schemas into Abstract Machines. IWFM 1998
4		Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm: Investigating the Integration of two Formal Methods. Formal Asp. Comput. 10(5-6): 532-549 (1998)
	1997
3		Juan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods: Making the Most of Formal Specification Through Animation, Testing and Proof. Sci. Comput. Program. 29(1-2): 53-78 (1997)
	1995
2		Juan Bicarregui, Brian Matthews: Formal Methods in Practice: A Comparison of Two Support Systems for Proof. SOFSEM 1995: 184-205
	1993
1		Brian Matthews: MERILL: An Equational Reasoning System in Standard ML. RTA 1993: 441-445

Coauthor Index

1	Sten Agerholm	[4]
2	Álvaro Enrique Arenas (Alvaro E. Arenas, Alvaro Arenas)	[17] [19] [22] [25] [27] [29]
3	John V. Ashby	[12]
4	Benjamin Aziz	[27] [29]
5	Juan Bicarregui	[2] [3] [4] [7] [9] [10] [12] [13] [15] [27] [29] [31]
6	David R. S. Boyd	[12]
7	A. Chowdrey	[28]
8	Esther Conway	[31]
9	Massimo Coppola	[23] [26]
10	Kerstin Kleese van Dam	[12]
11	Jeremy Dick	[3]
12	Theodosis Dimitrakos	[10] [13] [15] [16]
13	Ivan Djordjevic	[13]
14	Simon A. Dobson (Simon Dobson)	[11]
15	Jin Song Dong	[22]
16	Erich Focht	[23]
17	Carsten Franke	[23]
18	Julian R. Gallop	[21]
19	Koraljka Golub	[30]
20	Robert Harrison	[28]
21	V. Villaseñor Herrera	[28]
22	Adolf Hohl	[23]
23	F. Robert A. Hopgood	[14]
24	Yvon Jégou	[23] [26]
25	Ian Johnson	[24]
26	Catherine Jones	[30] [31]
27	Tom Kirkham	[21] [28]
28	Amit D. Lakhani	[23] [24]
29	Simon C. Lambert	[12] [15] [21]
30	Jose L. Martinez Lastra	[28]
31	Rubao Lee	[23]
32	Elvira Locuratolo	[5] [6] [8]
33	Marianne Lykke (Marianne Lykke Nielsen)	[30]
34	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[10]
35	Andrew Martin	[22]
36	Jim Moon	[30]
37	Christine Morin	[23] [26]
38	Syed Naqvi	[24]
39	Wolfgang Nejdl	[20]
40	Kevin D. O'Neill	[12]
41	Daniel Olmedilla	[20]
42	Chris I. Phillips	[13]
43	Luis Pablo Prieto	[26]
44	BartBomiej PuzoD	[30]
45	An Qin	[23]
46	Omer F. Rana	[20]
47	Damian Mac Randal	[21]
48	Brian Ritchie	[4] [7] [21]
49	Philip Robinson	[23]
50	Oscar David Sánchez	[23] [26]
51	Bernd Scheuermann	[23]
52	Arif Shaon	[31]
53	Gheorghe Cosmin Silaghi	[24]
54	Douglas Tudhope	[30]
55	F. Ubis	[28]
56	Daniel Vladusic	[23]
57	Michael Wilson	[14] [18] [25]
58	Jim Woodcock (J. C. P. Woodcock)	[31]
59	Eoin Woods	[3]
60	Erica Y. Yang	[23] [24] [26] [29]
61	Haiyan Yu	[23] [26]

Colors in the list of coauthors