Russ Harmer

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 17

Top Topics

Graph Databases

Knowledge Representation

Top Venues

J. Log. Algebraic Methods Program.

Publications

Nicolas Behr, Russ Harmer
A Living Monograph for Graph Transformation. ICGT (2023)
Nicolas Behr, Russ Harmer, Jean Krivine
Fundamentals of compositional rewriting theory. J. Log. Algebraic Methods Program. 135 (2023)
Nicolas Behr, Russ Harmer, Jean Krivine
Fundamentals of Compositional Rewriting Theory. CoRR (2022)
Nicolas Behr, Russ Harmer, Jean Krivine
Concurrency Theorems for Non-linear Rewriting Theories. ICGT (2021)
Hanâ Lbath, Angela Bonifati, Russ Harmer
Schema Inference for Property Graphs. EDBT (2021)
Nicolas Behr, Russ Harmer, Jean Krivine
Concurrency Theorems for Non-linear Rewriting Theories. CoRR (2021)
Russ Harmer, Eugenia Oshurko
Knowledge representation and update in hierarchies of graphs. J. Log. Algebraic Methods Program. 114 (2020)
Russ Harmer, Eugenia Oshurko
Knowledge representation and update in hierarchies of graphs. CoRR (2020)
Russ Harmer, Eugenia Oshurko
Reversibility and Composition of Rewriting in Hierarchies. GCM@STAF (2020)
Russ Harmer, Eugenia Oshurko
Knowledge Representation and Update in Hierarchies of Graphs. ICGT (2019)
Angela Bonifati, Peter Furniss, Alastair Green, Russ Harmer, Eugenia Oshurko, Hannes Voigt
Schema Validation and Evolution for Graph Databases. ER (2019)
Russ Harmer, Eugenia Oshurko
KAMIStudio: An Environment for Biocuration of Cellular Signalling Knowledge. CMSB (2019)
Angela Bonifati, Peter Furniss, Alastair Green, Russ Harmer, Eugenia Oshurko, Hannes Voigt
Schema Validation and Evolution for Graph Databases. CoRR (2019)
Russ Harmer, Yves-Stan Le Cornec, Sébastien Légaré, Eugenia Oshurko
Bio-Curation for Cellular Signalling: The KAMI Project. IEEE ACM Trans. Comput. Biol. Bioinform. 16 (5) (2019)
Russ Harmer, Yves-Stan Le Cornec, Sébastien Légaré, Ievgeniia Oshurko
Bio-Curation for Cellular Signalling: The KAMI Project. CMSB (2017)
Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer
Thermodynamic graph-rewriting. Log. Methods Comput. Sci. 11 (2) (2015)
Adrien Basso-Blandin, Walter Fontana, Russ Harmer
A knowledge representation meta-model for rule-based modelling of signalling networks. DCM (2015)
Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer
Thermodynamic Graph-Rewriting. CONCUR (2013)
Dan R. Ghica, Russ Harmer
Foreword. Ann. Pure Appl. Log. 161 (5) (2010)
Pierre Clairambault, Russ Harmer
Totality in arena games. Ann. Pure Appl. Log. 161 (5) (2010)
Russ Harmer
Rule-based Modelling and Tunable Resolution DCM (2009)
Jérôme Feret, Vincent Danos, Jean Krivine, Russ Harmer, Walter Fontana
Internal coarse-graining of molecular systems. Proc. Natl. Acad. Sci. USA 106 (16) (2009)