| 2008 |
|---|
| 25 | 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 |
| 24 | 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) |
| 2007 |
|---|
| 23 | EE | Alvaro Arenas,
Michael Wilson,
Brian Matthews:
On trust management in grids.
Autonomics 2007: 4 |
| 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,
S. 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 |
