Brian Matthews

2008
29	EE	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	EE	F. Ubis, Tom Kirkham, Brian Matthews, Jose L. Martinez Lastra, R. 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	EE	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	EE	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	EE	Alvaro Arenas, Michael Wilson, Brian Matthews: On trust management in grids. Autonomics 2007: 4
24	EE	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	EE	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	EE	Alvaro E. Arenas, Jin Song Dong, Andrew Martin, Brian Matthews: Preface. Electr. Notes Theor. Comput. Sci. 151(2): 1 (2006)
2005
21	EE	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	EE	Daniel Olmedilla, Omer F. Rana, Brian Matthews, Wolfgang Nejdl: Security and Trust Issues in Semantic Grids. Semantic Grid 2005
2004
19	EE	Alvaro E. Arenas, Brian Matthews: An Experiment on Modelling Agents and Knowledge for the Semantic Web. AIMSA 2004: 54-64
18	EE	Michael Wilson, Brian Matthews: The Future of the World Wide Web? BNCOD 2004: 4-15
17	EE	Alvaro E. Arenas, Brian Matthews: Toward a Library of Problem-Solving Methods on the Internet. EKAW 2004: 485-486
16	EE	Brian Matthews, Theodosis Dimitrakos: Deploying Trust Policies on the Semantic Web. iTrust 2004: 369-375
2003
15	EE	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	EE	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	EE	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	EE	Simon A. Dobson, Brian Matthews: Ionic Types. ECOOP 2000: 296-312
10	EE	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	EE	Brian Matthews, Elvira Locuratolo: Formal Development of Databases in ASSO and B. World Congress on Formal Methods 1999: 388-410
1998
7	EE	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	EE	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]
6	David R. S. Boyd	[12]
7	A. Chowdrey	[28]
8	Massimo Coppola	[23] [26]
9	Kerstin Kleese van Dam	[12]
10	Jeremy Dick	[3]
11	Theodosis Dimitrakos	[10] [13] [15] [16]
12	Ivan Djordjevic	[13]
13	Simon A. Dobson (Simon Dobson)	[11]
14	Jin Song Dong	[22]
15	Erich Focht	[23]
16	Carsten Franke	[23]
17	Julian R. Gallop	[21]
18	R. Harrison	[28]
19	V. Villaseñor Herrera	[28]
20	Adolf Hohl	[23]
21	F. Robert A. Hopgood	[14]
22	Yvon Jégou	[23] [26]
23	Ian Johnson	[24]
24	Tom Kirkham	[21] [28]
25	Amit D. Lakhani	[23] [24]
26	Simon C. Lambert	[12] [15] [21]
27	Jose L. Martinez Lastra	[28]
28	Rubao Lee	[23]
29	Elvira Locuratolo	[5] [6] [8]
30	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[10]
31	Andrew Martin	[22]
32	Christine Morin	[23] [26]
33	Syed Naqvi	[24]
34	Wolfgang Nejdl	[20]
35	Kevin D. O'Neill	[12]
36	Daniel Olmedilla	[20]
37	Chris I. Phillips	[13]
38	Luis Pablo Prieto	[26]
39	An Qin	[23]
40	Omer F. Rana	[20]
41	Damian Mac Randal	[21]
42	Brian Ritchie	[4] [7] [21]
43	Philip Robinson	[23]
44	Oscar David Sánchez	[23] [26]
45	Bernd Scheuermann	[23]
46	Gheorghe Cosmin Silaghi	[24]
47	F. Ubis	[28]
48	Daniel Vladusic	[23]
49	Michael Wilson	[14] [18] [25]
50	Eoin Woods	[3]
51	Erica Y. Yang	[23] [24] [26] [29]
52	Haiyan Yu	[23] [26]

Colors in the list of coauthors