13 citations · 30 across the 5 of their papers we have counts for
7 papers
Reversibility and Composition of Rewriting in Hierarchies
Russ Harmer, Eugenia Oshurko
In this paper, we study how graph transformations based on sesqui-pushout rewriting can be reversed and how the composition of rewrites can be constructed. We illustrate how such r…
Knowledge representation and update in hierarchies of graphs
Russ Harmer, Eugenia Oshurko
A mathematical theory is presented for the representation of knowledge in the form of a directed acyclic hierarchy of objects in a category where all paths between any given pair o…
Schema Validation and Evolution for Graph Databases
Angela Bonifati, Peter Furniss, Alastair Green +3
Despite the maturity of commercial graph databases, little consensus has been reached so far on the standardization of data definition languages (DDLs) for property graphs (PG). Th…
A knowledge representation meta-model for rule-based modelling of signalling networks
Adrien Basso-Blandin, Walter Fontana, Russ Harmer
The study of cellular signalling pathways and their deregulation in disease states, such as cancer, is a large and extremely complex task. Indeed, these systems involve many parts…
Proceedings Tenth International Workshop on Developments in Computational Models
Ugo Dal Lago, Russ Harmer
This volume contains the papers presented at the Tenth International Workshop on Developments in Computational Models (DCM) held in Vienna, Austria on 13th July 2014, as part of th…
Thermodynamic graph-rewriting
Vincent Danos, Russell Harmer, Ricardo Honorato-Zimmer
We develop a new thermodynamic approach to stochastic graph-rewriting. The ingredients are a finite set of reversible graph-rewriting rules called generating rules, a finite set of…
Rule-based Modelling and Tunable Resolution
Russ Harmer
We investigate the use of an extension of rule-based modelling for cellular signalling to create a structured space of model variants. This enables the incremental development of r…