Brian Matthews

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

29EEAlvaro 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
28EEF. 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
27EEAlvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews: Managing Conflicts of Interest in Virtual Organisations. Electr. Notes Theor. Comput. Sci. 197(2): 45-56 (2008)
26EEMassimo 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)
25EEAlvaro Arenas, Michael Wilson, Brian Matthews: On trust management in grids. Autonomics 2007: 4
24EEAmit 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
23EEErica 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
22EEAlvaro E. Arenas, Jin Song Dong, Andrew Martin, Brian Matthews: Preface. Electr. Notes Theor. Comput. Sci. 151(2): 1 (2006)
21EETom 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
20EEDaniel Olmedilla, Omer F. Rana, Brian Matthews, Wolfgang Nejdl: Security and Trust Issues in Semantic Grids. Semantic Grid 2005
19EEAlvaro E. Arenas, Brian Matthews: An Experiment on Modelling Agents and Knowledge for the Semantic Web. AIMSA 2004: 54-64
18EEMichael Wilson, Brian Matthews: The Future of the World Wide Web? BNCOD 2004: 4-15
17EEAlvaro E. Arenas, Brian Matthews: Toward a Library of Problem-Solving Methods on the Internet. EKAW 2004: 485-486
16EEBrian Matthews, Theodosis Dimitrakos: Deploying Trust Policies on the Semantic Web. iTrust 2004: 369-375
15EETheodosis 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
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
13EETheodosis Dimitrakos, Ivan Djordjevic, Brian Matthews, Juan Bicarregui, Chris I. Phillips: Policy-Driven Access Control over a Distributed Firewall Architecture. POLICY 2002: 228-231
12EEJohn 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
11EESimon A. Dobson, Brian Matthews: Ionic Types. ECOOP 2000: 296-312
10EETheodosis 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
9 Juan Bicarregui, Brian Matthews: Proof and Refutation in Formal Software Development. IWFM 1999
8EEBrian Matthews, Elvira Locuratolo: Formal Development of Databases in ASSO and B. World Congress on Formal Methods 1999: 388-410
7EEBrian 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
4EEJuan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm: Investigating the Integration of two Formal Methods. Formal Asp. Comput. 10(5-6): 532-549 (1998)
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)
2 Juan Bicarregui, Brian Matthews: Formal Methods in Practice: A Comparison of Two Support Systems for Proof. SOFSEM 1995: 184-205
1 Brian Matthews: MERILL: An Equational Reasoning System in Standard ML. RTA 1993: 441-445

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)