Brian Matthews Coauthor index DBLP Vis pubzone.org

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

DBLP keys2010
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian Matthews, Arif Shaon, Juan Bicarregui, Catherine Jones, Esther Conway, Jim Woodcock: Considering Software Preservation. ERCIM News 2010(80): (2010)
2009
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoraljka 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlvaro 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLF. 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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews: Managing Conflicts of Interest in Virtual Organisations. Electr. Notes Theor. Comput. Sci. 197(2): 45-56 (2008)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlvaro Arenas, Michael Wilson, Brian Matthews: On trust management in grids. Autonomics 2007: 4
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmit 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErica 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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlvaro E. Arenas, Jin Song Dong, Andrew Martin, Brian Matthews: Preface. Electr. Notes Theor. Comput. Sci. 151(2): 1 (2006)
2005
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Olmedilla, Omer F. Rana, Brian Matthews, Wolfgang Nejdl: Security and Trust Issues in Semantic Grids. Semantic Grid 2005
2004
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlvaro E. Arenas, Brian Matthews: An Experiment on Modelling Agents and Knowledge for the Semantic Web. AIMSA 2004: 54-64
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wilson, Brian Matthews: The Future of the World Wide Web? BNCOD 2004: 4-15
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlvaro E. Arenas, Brian Matthews: Toward a Library of Problem-Solving Methods on the Internet. EKAW 2004: 485-486
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian Matthews, Theodosis Dimitrakos: Deploying Trust Policies on the Semantic Web. iTrust 2004: 369-375
2003
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheodosis 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
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheodosis Dimitrakos, Ivan Djordjevic, Brian Matthews, Juan Bicarregui, Chris I. Phillips: Policy-Driven Access Control over a Distributed Firewall Architecture. POLICY 2002: 228-231
2001
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon A. Dobson, Brian Matthews: Ionic Types. ECOOP 2000: 296-312
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheodosis 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Bicarregui, Brian Matthews: Proof and Refutation in Formal Software Development. IWFM 1999
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian Matthews, Elvira Locuratolo: Formal Development of Databases in ASSO and B. World Congress on Formal Methods 1999: 388-410
1998
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian Matthews, Brian Ritchie, Juan Bicarregui: Synthesising Structure from Flat Specifications. B 1998: 148-161
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElvira Locuratolo, Brian Matthews: On the Relationship between ASSO and B. EJC 1998: 235-253
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian Matthews, Elvira Locuratolo: Translating Structured Database Schemas into Abstract Machines. IWFM 1998
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm: Investigating the Integration of two Formal Methods. Formal Asp. Comput. 10(5-6): 532-549 (1998)
1997
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Bicarregui, Brian Matthews: Formal Methods in Practice: A Comparison of Two Support Systems for Proof. SOFSEM 1995: 184-205
1993
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian 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] [31]
6David R. S. Boyd [12]
7A. Chowdrey [28]
8Esther Conway [31]
9Massimo Coppola [23] [26]
10Kerstin Kleese van Dam [12]
11Jeremy Dick [3]
12Theodosis Dimitrakos [10] [13] [15] [16]
13Ivan Djordjevic [13]
14Simon A. Dobson (Simon Dobson) [11]
15Jin Song Dong [22]
16Erich Focht [23]
17Carsten Franke [23]
18Julian R. Gallop [21]
19Koraljka Golub [30]
20Robert Harrison [28]
21V. Villaseñor Herrera [28]
22Adolf Hohl [23]
23F. Robert A. Hopgood [14]
24Yvon Jégou [23] [26]
25Ian Johnson [24]
26Catherine Jones [30] [31]
27Tom Kirkham [21] [28]
28Amit D. Lakhani [23] [24]
29Simon C. Lambert [12] [15] [21]
30Jose L. Martinez Lastra [28]
31Rubao Lee [23]
32Elvira Locuratolo [5] [6] [8]
33Marianne Lykke (Marianne Lykke Nielsen) [30]
34T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [10]
35Andrew Martin [22]
36Jim Moon [30]
37Christine Morin [23] [26]
38Syed Naqvi [24]
39Wolfgang Nejdl [20]
40Kevin D. O'Neill [12]
41Daniel Olmedilla [20]
42Chris I. Phillips [13]
43Luis Pablo Prieto [26]
44BartBomiej PuzoD [30]
45An Qin [23]
46Omer F. Rana [20]
47Damian Mac Randal [21]
48Brian Ritchie [4] [7] [21]
49Philip Robinson [23]
50Oscar David Sánchez [23] [26]
51Bernd Scheuermann [23]
52Arif Shaon [31]
53Gheorghe Cosmin Silaghi [24]
54Douglas Tudhope [30]
55F. Ubis [28]
56Daniel Vladusic [23]
57Michael Wilson [14] [18] [25]
58Jim Woodcock (J. C. P. Woodcock) [31]
59Eoin Woods [3]
60Erica Y. Yang [23] [24] [26] [29]
61Haiyan Yu [23] [26]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)