Brian Matthews

According to our database1, Brian Matthews
  • authored at least 67 papers between 1993 and 2016.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 




Metadata for Nanoscience Experiments.
Proceedings of the Selected Papers of the XVIII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2016), 2016

Capturing the Experimental Context via Research Objects.
ERCIM News, 2015

e-Infrastructure across Photon and Neutron Sources.
ERCIM News, 2015

Cloud computing in e-Science: research challenges and opportunities.
The Journal of Supercomputing, 2014

Data authenticity and data value in policy-driven digital collections.
OCLC Systems & Services, 2014

Data Management and Preservation Planning for Big Science.
IJDC, 2013

Enhancing the core scientific metadata model to incorporate derived data.
Future Generation Comp. Syst., 2013

Investigations as Research Objects Within Facilities Science.
Proceedings of the Theory and Practice of Digital Libraries - TPDL 2013 Selected Workshops, 2013

Data Curation Framework for Facilities Science.
Proceedings of the DATA 2013 - Proceedings of the 2nd International Conference on Data Technologies and Applications, Reykjavík, Iceland, 29, 2013

Richer Requirements for Better Clouds.
Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

Opening Up Climate Research: A Linked Data Approach to Publishing Data Provenance.
IJDC, 2012

Managing Risks in the Preservation of Research Data with Preservation Networks.
IJDC, 2012

A multi-level metadata approach for a Public Sector Information data infrastructure.
Proceedings of the 11th International Conference on Current Research Information Systems, 2012

Enabling scientific data sharing and re-use.
Proceedings of the 8th IEEE International Conference on E-Science, 2012

Collaborative information management in scientific research processes.
Proceedings of the 8th IEEE International Conference on E-Science, 2012

Citation and Peer Review of Data: Moving Towards Formal Data Publication.
IJDC, 2011

Curating Scientific Research Data for the Long Term: A Preservation Analysis Method in Context.
IJDC, 2011

Building a Video Wall for Earth Observation Data.
Proceedings of the Theory and Practice of Computer Graphics, 2011

An Autonomic Security Monitor for Distributed Operating Systems - (Invited Paper).
Proceedings of the Towards a Service-Based Internet - 4th European Conference, 2011

Enforcing Scientific Data Sharing Agreements.
Proceedings of the IEEE 7th International Conference on E-Science, 2011

A Linked Data Approach to Publishing Complex Scientific Workflows.
Proceedings of the IEEE 7th International Conference on E-Science, 2011

Execution Management for Mobile Service-Oriented Environments.
IJSSOE, 2010

Using a Core Scientific Metadata Model in Large-Scale Facilities.
IJDC, 2010

A Framework for Software Preservation.
IJDC, 2010

Considering Software Preservation.
ERCIM News, 2010

An evaluation of enhancing social tagging with a knowledge organization system.
Aslib Proceedings, 2010

Enhancing the Core Scientific Metadata Model to Incorporate Derived Data.
Proceedings of the Sixth International Conference on e-Science, 2010

DToken: A Lightweight and Traceable Delegation Architecture for Distributed Systems.
Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

EnTag: enhancing social tagging for discovery.
Proceedings of the 2009 Joint International Conference on Digital Libraries, 2009

A Protocol for Exchanging Scientific Citations.
Proceedings of the Fifth International Conference on e-Science, 2009

ICAT: Integrating Data Infrastructure for Facilities Based Science.
Proceedings of the Fifth International Conference on e-Science, 2009

Virtual Organization Support within a Grid-Wide Operating System.
IEEE Internet Computing, 2008

Managing Conflicts of Interest in Virtual Organisations.
Electr. Notes Theor. Comput. Sci., 2008

The Challenges along the Road to the Realisation of a Factory Automation Lifecycle.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Modelling Security Properties in a Grid-based Operating System with Anti-Goals.
Proceedings of the The Third International Conference on Availability, 2008

Virtual Organization Management in XtreemOS: an Overview.
Proceedings of the Towards Next Generation Grids, 2007

Threat Analysis and Attacks on XtreemOS: a Grid-enabled Operating System.
Proceedings of the Towards Next Generation Grids, 2007

On trust management in grids.
Proceedings of the 1st International Conference on Autonomic Computing and Communication Systems, 2007

Electr. Notes Theor. Comput. Sci., 2006

OGSA-DAI and Bioinformatics Grids: Challenges, Experience and Strategies.
Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 2006

Providing Reliable Distributed Grid Services in Mobile Environments.
Proceedings of the Self-Organization and Autonomic Informatics (I), 2005

Request Based Virtual Organisations (RBVO): An Implementation Scenario.
Proceedings of the Collaborative Networks and Their Breeding Environments, 2005

SKOS Core: Simple knowledge organisation for the Web.
Proceedings of the Vocabularies in Practice: Proceedings of the 2005 International Conference on Dublin Core and Metadata Applications, 2005

Security and Trust Issues in Semantic Grids.
Proceedings of the Semantic Grid: The Convergence of Technologies, 3.-8. July 2005, 2005

A Metadata Model for the Discovery and Exploitation of Scientific Studies.
Proceedings of the First Workshop on Knowledge and Data Management in GRIDs, 2005

Accessing Web Databases Using OGSA-DAI in BDWorld.
Proceedings of the First Workshop on Knowledge and Data Management in GRIDs, 2005

Deploying Trust Policies on the Semantic Web.
Proceedings of the Trust Management, Second International Conference, 2004

Toward a Library of Problem-Solving Methods on the Internet.
Proceedings of the Engineering Knowledge in the Age of the Semantic Web, 2004

The Future of the World Wide Web?
Proceedings of the Key Technologies for Data Management, 2004

An Experiment on Modelling Agents and Knowledge for the Semantic Web.
Proceedings of the Artificial Intelligence: Methodology, 2004

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.
Proceedings of the MMGPS, 2003

SWAD-Europe: Semantic Web Advanced Development in Europe.
Proceedings of the Semantic Web, 2002

Policy-Driven Access Control over a Distributed Firewall Architecture.
Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY 2002), 2002

Having the Right Connections: the LIMBER Project.
J. Digit. Inf., 2001

A Multidisciplinary Scientific Data Portal.
Proceedings of the High-Performance Computing and Networking, 9th International Conference, 2001

Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Ionic Types.
Proceedings of the ECOOP 2000, 2000

Proof and Refutation in Formal Software Development.
Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999, 1999

Formal Development of Databases in ASSO and B.
Proceedings of the FM'99 - Formal Methods, 1999

Investigating the Integration of two Formal Methods.
Formal Asp. Comput., 1998

Translating Structured Database Schemas into Abstract Machines.
Proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998, 1998

On the Relationship between ASSO and B.
Proceedings of the Information Modelling and Knowledge Bases X: 8th European-Japanese Conferences on Information Modelling and Knowledge Bases, 1998

Synthesising Structure from Flat Specifications.
Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

Making the Most of Formal Specification Through Animation, Testing and Proof.
Sci. Comput. Program., 1997

Formal methods into practice: case studies in the application of the B method.
Software Engineering - IEE Proceedings, 1997

Formal Methods in Practice: A Comparison of Two Support Systems for Proof.
Proceedings of the SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23, 1995

MERILL: An Equational Reasoning System in Standard ML.
Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993