Russ Harmer

26 papers A 1B 7Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2026 B conf
Adhesive Category Theory for Graph Rewriting in Rocq.
CPP
Samuel Arsac, Russ Harmer, Damien Pous
2025 J jnl
Adhesive category theory for graph rewriting in Rocq.
CoRR
Samuel Arsac, Russ Harmer, Damien Pous
2024 B ed.
Graph Transformation - 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings
ICGT
Russ Harmer, Jens Kosiol
2023 B conf
A Living Monograph for Graph Transformation.
ICGT
Nicolas Behr, Russ Harmer
2023 J jnl
Fundamentals of compositional rewriting theory.
J. Log. Algebraic Methods Program.
Nicolas Behr, Russ Harmer, Jean Krivine
2022 J jnl
Fundamentals of Compositional Rewriting Theory.
CoRR
Nicolas Behr, Russ Harmer, Jean Krivine
2021 B conf
Concurrency Theorems for Non-linear Rewriting Theories.
ICGT
Nicolas Behr, Russ Harmer, Jean Krivine
2021 J jnl
Concurrency Theorems for Non-linear Rewriting Theories.
CoRR
Nicolas Behr, Russ Harmer, Jean Krivine
2021 B conf
Schema Inference for Property Graphs.
EDBT
Hanâ Lbath, Angela Bonifati, Russ Harmer
2020 J jnl
Knowledge representation and update in hierarchies of graphs.
CoRR
Russ Harmer, Eugenia Oshurko
2020 J jnl
Knowledge representation and update in hierarchies of graphs.
J. Log. Algebraic Methods Program.
Russ Harmer, Eugenia Oshurko
2020 — conf
Reversibility and Composition of Rewriting in Hierarchies.
GCM@STAF
Russ Harmer, Eugenia Oshurko
2019 J jnl
Bio-Curation for Cellular Signalling: The KAMI Project.
IEEE ACM Trans. Comput. Biol. Bioinform.
Russ Harmer, Yves-Stan Le Cornec, Sébastien Légaré, Eugenia Oshurko
2019 — conf
KAMIStudio: An Environment for Biocuration of Cellular Signalling Knowledge.
CMSB
Russ Harmer, Eugenia Oshurko
2019 B conf
Knowledge Representation and Update in Hierarchies of Graphs.
ICGT
Russ Harmer, Eugenia Oshurko
2019 A conf
Schema Validation and Evolution for Graph Databases.
ER
Angela Bonifati, Peter Furniss, Alastair Green, Russ Harmer, Eugenia Oshurko, Hannes Voigt
2019 J jnl
Schema Validation and Evolution for Graph Databases.
CoRR
Angela Bonifati, Peter Furniss, Alastair Green, Russ Harmer, Eugenia Oshurko, Hannes Voigt
2017 — conf
Bio-Curation for Cellular Signalling: The KAMI Project.
CMSB
Russ Harmer, Yves-Stan Le Cornec, Sébastien Légaré, Ievgeniia Oshurko
2015 — conf
A knowledge representation meta-model for rule-based modelling of signalling networks.
DCM
Adrien Basso-Blandin, Walter Fontana, Russ Harmer
2015 — ed.
Proceedings Tenth International Workshop on Developments in Computational Models, DCM 2014, Vienna, Austria, 13th July 2014.
DCM
Ugo Dal Lago, Russ Harmer
2015 J jnl
Thermodynamic graph-rewriting.
Log. Methods Comput. Sci.
Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer
2013 B conf
Thermodynamic Graph-Rewriting.
CONCUR
Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer
2010 J jnl
Foreword.
Ann. Pure Appl. Log.
Dan R. Ghica, Russ Harmer
2010 J jnl
Totality in arena games.
Ann. Pure Appl. Log.
Pierre Clairambault, Russ Harmer
2009 J jnl
Internal coarse-graining of molecular systems.
Proc. Natl. Acad. Sci. USA
Jérôme Feret, Vincent Danos, Jean Krivine, Russ Harmer, Walter Fontana
2009 — conf
Rule-based Modelling and Tunable Resolution
DCM
Russ Harmer