A Fully Abstract Game Semantics for Finite Nondeterminism. - Russell Harmer; Guy McCusker (LICS, 1999)

Games and full abstraction for non-deterministic languages. - Russell Harmer (1999)

The Anatomy of Innocence. - Vincent Danos; Russell Harmer (CSL, 2001)

Probabilistic game semantics. - Vincent Danos; Russell Harmer (ACM Trans. Comput. Log., 2002)

Affine strategies in arena games. - Russell Harmer (GALOP@ETAPS, 2005)

The Anatomy of Innocence Revisited. - Russell Harmer; Olivier Laurent 001 (FSTTCS, 2006)

Rule-Based Modelling of Cellular Signalling. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jean Krivine (CONCUR, 2007)

Categorical Combinatorics for Innocent Strategies. - Russell Harmer; Martin Hyland; Paul-André Melliès (LICS, 2007)

Rule-Based Modelling, Symmetries, Refinements. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jean Krivine (FMSB, 2008)

Investigation of a Biological Repair Scheme. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jean Krivine (Workshop on Membrane Computing, 2008)

Rule-based Modelling and Tunable Resolution - Russ Harmer (DCM, 2009)

Internal coarse-graining of molecular systems. - Jérôme Feret; Vincent Danos; Jean Krivine; Russ Harmer; Walter Fontana (Proc. Natl. Acad. Sci. USA, 2009)

Rule-Based Modelling and Model Perturbation. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jean Krivine (Trans. Comp. Sys. Biology, 2009)

Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jean Krivine (LICS, 2010)

Totality in arena games. - Pierre Clairambault; Russ Harmer (Ann. Pure Appl. Log., 2010)

Foreword. - Dan R. Ghica; Russ Harmer (Ann. Pure Appl. Log., 2010)

Models of Tet-On System with Epigenetic Effects. - Russell Harmer; Jean Krivine; Élise Laruelle; Cédric Lhoussaine; Guillaume Madelaine; Mirabelle Nebut (CMSB, 2012)

Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jonathan Hayman; Jean Krivine; Christopher D. Thompson-Walsh; Glynn Winskel (FSTTCS, 2012)

Constraining rule-based dynamics with types. - Vincent Danos; Russell Harmer; Glynn Winskel (Math. Struct. Comput. Sci., 2013)

A knowledge representation meta-model for rule-based modelling of signalling networks. - Adrien Basso-Blandin; Walter Fontana; Russ Harmer (DCM, 2015)

Thermodynamic graph-rewriting. - Vincent Danos; Russ Harmer; Ricardo Honorato-Zimmer (Log. Methods Comput. Sci., 2015)

Rule-based meta-modelling for bio-curation. (Meta-modélisation à base de règles pour la curation biologique). - Russell Harmer (2017)

KAMIStudio: An Environment for Biocuration of Cellular Signalling Knowledge. - Russ Harmer; Eugenia Oshurko (CMSB, 2019)

Schema Validation and Evolution for Graph Databases. - Angela Bonifati; Peter Furniss; Alastair Green; Russ Harmer; Eugenia Oshurko; Hannes Voigt (ER, 2019)

Bio-Curation for Cellular Signalling: The KAMI Project. - Russ Harmer; Yves-Stan Le Cornec; Sébastien Légaré; Eugenia Oshurko (IEEE ACM Trans. Comput. Biol. Bioinform., 2019)

Reversibility and Composition of Rewriting in Hierarchies. - Russ Harmer; Eugenia Oshurko (GCM@STAF, 2020)

Knowledge representation and update in hierarchies of graphs. - Russ Harmer; Eugenia Oshurko (J. Log. Algebraic Methods Program., 2020)

Schema Inference for Property Graphs. - Hanâ Lbath; Angela Bonifati; Russ Harmer (EDBT, 2021)

Concurrency Theorems for Non-linear Rewriting Theories. - Nicolas Behr; Russ Harmer; Jean Krivine (ICGT, 2021)

A Living Monograph for Graph Transformation. - Nicolas Behr; Russ Harmer (ICGT, 2023)

Fundamentals of compositional rewriting theory. - Nicolas Behr; Russ Harmer; Jean Krivine (J. Log. Algebraic Methods Program., 2023)