dblp.uni-trier.dewww.uni-trier.de

Brian Matthews Vis

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

*2009
30EEKoraljka 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
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)
2007
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
2006
22EEAlvaro E. Arenas, Jin Song Dong, Andrew Martin, Brian Matthews: Preface. Electr. Notes Theor. Comput. Sci. 151(2): 1 (2006)
2005
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
2004
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
2003
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
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
13EETheodosis Dimitrakos, Ivan Djordjevic, Brian Matthews, Juan Bicarregui, Chris I. Phillips: Policy-Driven Access Control over a Distributed Firewall Architecture. POLICY 2002: 228-231
2001
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
2000
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
1999
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
1998
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)
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
1EEBrian 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]
18Koraljka Golub [30]
19R. Harrison [28]
20V. Villaseñor Herrera [28]
21Adolf Hohl [23]
22F. Robert A. Hopgood [14]
23Yvon Jégou [23] [26]
24Ian Johnson [24]
25Catherine Jones [30]
26Tom Kirkham [21] [28]
27Amit D. Lakhani [23] [24]
28Simon C. Lambert [12] [15] [21]
29Jose L. Martinez Lastra [28]
30Rubao Lee [23]
31Elvira Locuratolo [5] [6] [8]
32Marianne Lykke (Marianne Lykke Nielsen) [30]
33T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [10]
34Andrew Martin [22]
35Jim Moon [30]
36Christine Morin [23] [26]
37Syed Naqvi [24]
38Wolfgang Nejdl [20]
39Kevin D. O'Neill [12]
40Daniel Olmedilla [20]
41Chris I. Phillips [13]
42Luis Pablo Prieto [26]
43BartBomiej PuzoD [30]
44An Qin [23]
45Omer F. Rana [20]
46Damian Mac Randal [21]
47Brian Ritchie [4] [7] [21]
48Philip Robinson [23]
49Oscar David Sánchez [23] [26]
50Bernd Scheuermann [23]
51Gheorghe Cosmin Silaghi [24]
52Douglas Tudhope [30]
53F. Ubis [28]
54Daniel Vladusic [23]
55Michael Wilson [14] [18] [25]
56Eoin Woods [3]
57Erica Y. Yang [23] [24] [26] [29]
58Haiyan Yu [23] [26]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)