MERILL: An Equational Reasoning System in Standard ML. - Brian Matthews (RTA, 1993)

Formal Methods in Practice: A Comparison of Two Support Systems for Proof. - Juan Bicarregui; Brian Matthews (SOFSEM, 1995)

Formal methods into practice: case studies in the application of the B method. - Juan Bicarregui; D. L. Clutterbuck; Gavin R. Finnie; Howard P. Haughton; Kevin Lano; H. Lesan; D. W. R. M. Marsh; B. M. Matthews; Michael R. Moulding; A. Richard Newton; Brian Ritchie; T. G. A. Rushton; et al. (IEE Proc. Softw. Eng., 1997)

Making the Most of Formal Specification Through Animation, Testing and Proof. - Juan Bicarregui; Jeremy Dick; Brian Matthews; Eoin Woods (Sci. Comput. Program., 1997)

The Specification and Proof of an EXPRESS to SQL "Compiler". - Juan Bicarregui; Brian Matthews (Proof in VDM, 1998)

Synthesising Structure from Flat Specifications. - Brian Matthews; Brian Ritchie; Juan Bicarregui (B, 1998)

On the Relationship between ASSO and B. - Elvira Locuratolo; Brian Matthews (EJC, 1998)

Translating Structured Database Schemas into Abstract Machines. - Brian Matthews; Elvira Locuratolo (IWFM, 1998)

Investigating the Integration of two Formal Methods. - Juan Bicarregui; Brian Matthews; Brian Ritchie; Sten Agerholm (Formal Aspects Comput., 1998)

Formal Development of Databases in ASSO and B. - Brian Matthews; Elvira Locuratolo (World Congress on Formal Methods, 1999)

Proof and Refutation in Formal Software Development. - Juan Bicarregui; Brian Matthews (IWFM, 1999)

Ionic Types. - Simon A. Dobson; Brian Matthews (ECOOP, 2000)

Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. - Theodosis Dimitrakos; Juan Bicarregui; Brian Matthews; T. S. E. Maibaum (ZB, 2000)

A Multidisciplinary Scientific Data Portal. - John V. Ashby; Juan Bicarregui; David R. S. Boyd; Kerstin Kleese van Dam; Simon C. Lambert; Brian Matthews; Kevin D. O'Neill (HPCN Europe, 2001)

Having the Right Connections: the LIMBER Project. - Ken Miller; Brian Matthews (J. Digit. Inf., 2001)

Policy-Driven Access Control over a Distributed Firewall Architecture. - Theodosis Dimitrakos; Ivan Djordjevic; Brian Matthews; Juan Bicarregui; Chris I. Phillips 001 (POLICY, 2002)

SWAD-Europe: Semantic Web Advanced Development in Europe. - Dan Brickley; S. Buswell; B. M. Matthews; Libby Miller; D. Reynolds; Michael D. Wilson (ISWC, 2002)

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. - Theodosis Dimitrakos; Brian Matthews; Simon C. Lambert; Juan Bicarregui (MMGPS, 2003)

An Experiment on Modelling Agents and Knowledge for the Semantic Web. - Alvaro E. Arenas; Brian Matthews (AIMSA, 2004)

The Future of the World Wide Web? - Michael D. Wilson; Brian Matthews (BNCOD, 2004)

Toward a Library of Problem-Solving Methods on the Internet. - Alvaro E. Arenas; Brian Matthews (EKAW, 2004)

Deploying Trust Policies on the Semantic Web. - Brian Matthews; Theodosis Dimitrakos (iTrust, 2004)

Accessing Web Databases Using OGSA-DAI in BDWorld. - Shirley Y. Crompton; Brian Matthews; W. Alex Gray; Andrew C. Jones; Richard J. White (Knowledge and Data Management in GRIDs, 2005)

A Metadata Model for the Discovery and Exploitation of Scientific Studies. - Shoaib Sufi; Brian Matthews (Knowledge and Data Management in GRIDs, 2005)

Security and Trust Issues in Semantic Grids. - Daniel Olmedilla; Omer F. Rana; Brian Matthews; Wolfgang Nejdl (Semantic Grid, 2005)

SKOS Core: Simple knowledge organisation for the Web. - Alistair Miles; Brian Matthews; Michael D. Wilson; Dan Brickley (Dublin Core Conference, 2005)

Request Based Virtual Organisations (RBVO): An Implementation Scenario. - Bob Roberts; Adomas Svirskas; Brian Matthews (PRO-VE, 2005)

Providing Reliable Distributed Grid Services in Mobile Environments. - Tom Kirkham; Julian R. Gallop; Simon C. Lambert; Brian Matthews; Damian Mac Randal; Brian Ritchie (SOAS, 2005)

Preface. - Alvaro E. Arenas; Jin Song Dong; Andrew P. Martin; Brian Matthews (WLFM@FM, 2005)

OGSA-DAI and Bioinformatics Grids: Challenges, Experience and Strategies. - Shirley Y. Crompton; B. M. Matthews; W. A. Gray; Andrew C. Jones; Richard J. White; Jaspreet Singh Pahwa (CCGRID, 2006)

On trust management in grids. - Alvaro Arenas; Michael D. Wilson; Brian Matthews (Autonomics, 2007)

Threat Analysis and Attacks on XtreemOS: a Grid-enabled Operating System. - Amit D. Lakhani; Erica Y. Yang; Brian Matthews; Ian J. Johnson; Syed Naqvi; Gheorghe Cosmin Silaghi (CoreGRID, 2007)

Virtual Organization Management in XtreemOS: an Overview. - Erica Y. Yang; Brian Matthews; Amit D. Lakhani; Yvon Jégou; Christine Morin; Oscar David Sánchez; Carsten Franke 001; Philip Robinson; Adolf Hohl; Bernd Scheuermann; Daniel Vladusic; Haiyan Yu; et al. (CoreGRID, 2007)

Managing Conflicts of Interest in Virtual Organisations. - Alvaro Arenas; Benjamin Aziz; Juan Bicarregui; Brian Matthews (STM@ESORICS, 2007)

Modelling Security Properties in a Grid-based Operating System with Anti-Goals. - Alvaro Arenas; Benjamin Aziz; Juan Bicarregui; Brian Matthews; Erica Y. Yang (ARES, 2008)

The Challenges along the Road to the Realisation of a Factory Automation Lifecycle. - F. Ubis; Tom Kirkham; Brian Matthews; Jose L. Martinez Lastra; Robert Harrison; Vladimir Villaseñor Herrera; A. Chowdrey (COMPSAC, 2008)

Virtual Organization Support within a Grid-Wide Operating System. - Massimo Coppola; Yvon Jégou; Brian Matthews; Christine Morin; Luis Pablo Prieto; Oscar David Sánchez; Erica Y. Yang; Haiyan Yu (IEEE Internet Comput., 2008)

ICAT: Integrating Data Infrastructure for Facilities Based Science. - Damian Flannery; Brian Matthews; Tom Griffin; Juan Bicarregui; Michael Gleaves; Laurent Lerusse; Roger Downing; Alun Ashton; Shoaib Sufi; Glen Drinkwater; Kerstin Kleese van Dam (eScience, 2009)

A Protocol for Exchanging Scientific Citations. - Brian Matthews; Alastair Duncan; Catherine Mary Jones; Cameron Neylon; Mark Borkum; Simon J. Coles; Philip Hunter (eScience, 2009)

Significant Properties, Authenticity, Provenance, Representation Information and OAIS Information. - David Giaretta; Donald M. Sawyer; Giovanni Michetti; Mariella Guercio; Simon C. Lambert; Juan Bicarregui; Brian Matthews (iPRES, 2009)

Towards a Methodology for Software Preservation. - Brian Matthews; Esther Conway; Jim Woodcock 001; Catherine Mary Jones; Juan Bicarregui; Arif Shaon (iPRES, 2009)

EnTag: enhancing social tagging for discovery. - Koraljka Golub; Jim Moon; Douglas Tudhope; Catherine Mary Jones; Brian Matthews; Bartlomiej Puzon; Marianne Lykke Nielsen (JCDL, 2009)

DToken: A Lightweight and Traceable Delegation Architecture for Distributed Systems. - Erica Y. Yang; Brian Matthews (SRDS, 2009)

An evaluation of enhancing social tagging with a knowledge organization system. - Brian Matthews; Catherine Mary Jones; Bartlomiej Puzon; Jim Moon; Douglas Tudhope; Koraljka Golub; Marianne Lykke Nielsen (Aslib Proc., 2010)

Considering Software Preservation. - Brian Matthews; Arif Shaon; Juan Bicarregui; Catherine Mary Jones; Esther Conway; Jim Woodcock 001 (ERCIM News, 2010)

A Framework for Software Preservation. - Brian Matthews; Arif Shaon; Juan Bicarregui; Catherine Mary Jones (Int. J. Digit. Curation, 2010)

Using a Core Scientific Metadata Model in Large-Scale Facilities. - Brian Matthews; Shoaib Sufi; Damian Flannery; Laurent Lerusse; Tom Griffin; Michael Gleaves; Kerstin Kleese van Dam (Int. J. Digit. Curation, 2010)

Execution Management for Mobile Service-Oriented Environments. - Kleopatra Konstanteli; Tom Kirkham; Julian R. Gallop; Brian Matthews; Ian J. Johnson; Magdalini Kardara; Theodora A. Varvarigou (Int. J. Syst. Serv. Oriented Eng., 2010)

A Linked Data Approach to Publishing Complex Scientific Workflows. - Arif Shaon; Sarah Callaghan; Bryan Lawrence; Brian Matthews; Andrew Woolf; Timothy Osborn; Colin Harpham (eScience, 2011)

Enforcing Scientific Data Sharing Agreements. - Michael D. Wilson; Shirley Y. Crompton; Brian Matthews; Alexey Orlov (eScience, 2011)

Managing Preservation Networks: Issues of Scale for Scientific Research Assets. - Esther Conway; Arif Shaon; Brian Matthews; Simon C. Lambert (iPRES, 2011)

An Autonomic Security Monitor for Distributed Operating Systems - (Invited Paper). - Alvaro E. Arenas; Benjamin Aziz; Szymon Maj; Brian Matthews (ServiceWave, 2011)

Building a Video Wall for Earth Observation Data. - Victoria Bennett; Adrian Haffegee; Brian Matthews; Srikanth Nagella; Andrew Shaw; Jonathan Styles (TPCG, 2011)

Curating Scientific Research Data for the Long Term: A Preservation Analysis Method in Context. - Esther Conway; David Giaretta; Simon C. Lambert; Brian Matthews (Int. J. Digit. Curation, 2011)

Citation and Peer Review of Data: Moving Towards Formal Data Publication. - Bryan Lawrence; Catherine Mary Jones; Brian Matthews; Sam Pepler; Sarah Callaghan (Int. J. Digit. Curation, 2011)

Collaborative information management in scientific research processes. - Shirley Y. Crompton; Brian Matthews; Erica Y. Yang; Cameron Neylon; Simon J. Coles (eScience, 2012)

Enabling scientific data sharing and re-use. - Robert Darby; Simon C. Lambert; Brian Matthews; Michael D. Wilson; K. Gitmans; Suenje Dallmeier-Tiessen; Salvatore Mele; J. Suhonen (eScience, 2012)

A multi-level metadata approach for a Public Sector Information data infrastructure. - Nikos Houssos; Brigitte Jörg; Brian Matthews (CRIS, 2012)

Towards a Long-term Preservation Infrastructure for Earth Science Data. - Arif Shaon; Felix C. Engel; David Giaretta; Esther Conway; Brian Matthews; Yannis Tzitzikas; Yannis Marketakis; Holger Brocks; Ugo Di Giammatteo; Jinsongdi Yu; Raffaele Guarino; Fulvio Marelli; et al. (iPRES, 2012)

Managing Risks in the Preservation of Research Data with Preservation Networks. - Esther Conway; Brian Matthews; David Giaretta; Simon C. Lambert; Michael D. Wilson; Nick Draper (Int. J. Digit. Curation, 2012)

Opening Up Climate Research: A Linked Data Approach to Publishing Data Provenance. - Arif Shaon; Sarah Callaghan; Bryan Lawrence; Brian Matthews; Timothy Osborn; Colin Harpham; Andrew Woolf (Int. J. Digit. Curation, 2012)

Richer Requirements for Better Clouds. - Tom Kirkham; Brian Matthews; Keith G. Jeffery; Karim Djemame; Django Armstrong (CloudCom (2), 2013)

Data Curation Framework for Facilities Science. - Vasily Bunakov; Brian Matthews (DATA, 2013)

Investigations as Research Objects Within Facilities Science. - Brian Matthews; Vasily Bunakov; Catherine Mary Jones; Shirley Y. Crompton (TPDL Workshops, 2013)

Modelling Data Value in Digital Preservation. - Giuseppa Caruso; Luigi Briguglio; Brian Matthews; Calogera Tona; Mirko Albani (iPRES, 2013)

Enhancing the core scientific metadata model to incorporate derived data. - Erica Y. Yang; Brian Matthews; Michael D. Wilson (Future Gener. Comput. Syst., 2013)

Data Management and Preservation Planning for Big Science. - Juan Bicarregui; Norman Gray; Rob Henderson; Roger Jones; Simon C. Lambert; Brian Matthews (Int. J. Digit. Curation, 2013)

Data authenticity and data value in policy-driven digital collections. - Vasily Bunakov; Catherine Mary Jones; Brian Matthews; Michael D. Wilson (OCLC Syst. Serv., 2014)

Cloud computing in e-Science: research challenges and opportunities. - Xiaoyu Yang; David Wallom; Simon Waddington; Jianwu Wang 001; Arif Shaon; Brian Matthews; Michael D. Wilson; Yike Guo; Li Guo 002; Jon D. Blower; Athanasios V. Vasilakos; Kecheng Liu; et al. (J. Supercomput., 2014)

Software Reuse, Repurposing and Reproducibility. - Catherine Mary Jones; Brian Matthews; Ian Gent (iPRES, 2015)

e-Infrastructure across Photon and Neutron Sources. - Juan Bicarregui; Brian Matthews (ERCIM News, 2015)

Capturing the Experimental Context via Research Objects. - Catherine Mary Jones; Brian Matthews; Antony Wilson (ERCIM News, 2015)

Metadata for Nanoscience Experiments. - Vasily Bunakov; Tom Griffin; Brian Matthews; Stefano Cozzini (DAMDID/RCDL, 2016)

Metadata for Experiments in Nanoscience Foundries. - Vasily Bunakov; Tom Griffin; Brian Matthews; Stefano Cozzini (DAMDID/RCDL (Selected Papers), 2016)

Metadata for Nanotechnology: Interoperability Aspects. - Vasily Bunakov; Brian Matthews (MTSR, 2017)

Persistent Identifiers for Facilities Research: Current Practices and Opportunities. - Vasily Bunakov; Simon Lambert; Brian Matthews (DAMDID/RCDL, 2018)

Identifying the business model dimensions of data sharing: A value-based approach. - Alvaro E. Arenas; Jie Mein Goh; Brian Matthews (J. Assoc. Inf. Sci. Technol., 2019)

Translating the InChI: adapting neural machine translation to predict IUPAC names from a chemical identifier. - Jennifer Handsel; Brian Matthews; Nicola J. Knight; Simon J. Coles (J. Cheminformatics, 2021)

A Workflow Demonstrator for Processing Catalysis Research Data. - Abraham Nieva de la Hidalga; Donato Decarolis; Shaojun Xu; Santhosh Matam; Willinton Yesid Hernández Enciso; Josephine Goodall; Brian Matthews; C. Richard A. Catlow (Data Intell., 2022)

Connecting Infrastructures: The Physical Sciences Data Infrastructure (PSDI) in the UK. - Juan Bicarregui; Simon J. Coles; Brian Matthews; Jeremy G. Frey; Barbara Montanari; Vasily Bunakov; Nicola J. Knight (CoRDI, 2023)

Adapting FAIR Evaluation to Photon and Neutron Facilities. - Simon C. Lambert; Abigail McBirnie; Brian Matthews (Int. J. Digit. Curation, 2024)

A Framework for Active DMPs in Photon and Neutron Science Large-Scale Facilities. - Heike Görzig; Alejandra N. González-Beltrán; Felix Engel 002; Brian Matthews (Data Sci. J., 2024)