A Linked Data Approach to Publishing Complex Scientific Workflows

A Metadata Model for the Discovery and Exploitation of Scientific Studies

article

A Protocol for Exchanging Scientific Citations

Accessing Web Databases Using OGSA-DAI in BDWorld

An Autonomic Security Monitor for Distributed Operating Systems

An evaluation of enhancing social tagging with a knowledge organization system

Citation and Peer Review of Data: Moving Towards Formal Data Publication

artículo científico publicado en 2011

Cloud computing in e-Science: research challenges and opportunities

scholarly article by Xiaoyu Yang et al published 17 August 2014 in The Journal of Supercomputing

Collaborative information management in scientific research processes

Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context

article

DToken: A Lightweight and Traceable Delegation Architecture for Distributed Systems

Data authenticity and data value in policy-driven digital collections

Deploying Trust Policies on the Semantic Web

article by Brian Matthews & Theo Dimitrakos published 2004 in Lecture Notes in Computer Science

EnTag

Enabling Sharing and Reuse of Scientific Data

article

Enabling scientific data sharing and re-use

Enforcing Scientific Data Sharing Agreements

Enhancing the Core Scientific Metadata Model to Incorporate Derived Data

Enhancing the core scientific metadata model to incorporate derived data

article

Execution Management for Mobile Service-Oriented Environments

Experiences with a researcher-centric ELN.

artículo científico publicado en 2014

Formal Development of Databases in ASSO and B

article

ICAT: Integrating Data Infrastructure for Facilities Based Science

Investigating the Integration of two Formal Methods

Investigations as Research Objects Within Facilities Science

Ionic Types

MERILL: An equational reasoning system in standard ML

Making the most of formal specification through animation, testing and proof

Managing Conflicts of Interest in Virtual Organisations

Modelling Security Properties in a Grid-based Operating System with Anti-Goals

On Trust Management in Grids

scholarly article published 2007

PaNdata: Open Data Infrastructure for Photon and Neutron Sources

Preface

Request Based Virtual Organisations (RBVO): An Implementation Scenario

Richer Requirements for Better Clouds

SWAD-Europe: Semantic Web Advanced Development in Europe

artículo científico publicado en 2002

Synthesising structure from flat specifications

The Challenges along the Road to the Realisation of a Factory Automation Lifecycle

article published in 2008

The Future of the World Wide Web ?

scholarly article by Michael Wilson & Brian Matthews published 2004 in Lecture Notes in Computer Science

The Research Data Alliance Photon and Neutron Science Interest Group

The Specification and Proof of an EXPRESS to SQL “Compiler”

Threat Analysis and Attacks on XtreemOS: a Grid–enabled Operating System

Towards the Interoperable Data Environment for Facilities Science

Towards the Preservation of the Scientific Memory

Using a Core Scientific Metadata Model in Large-Scale Facilities

article

Virtual Organization Support within a Grid-Wide Operating System