Russell Harmer

According to our database, Russell Harmer authored at least 31 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Fundamentals of compositional rewriting theory.

Nicolas Behr, Russ Harmer, Jean Krivine

J. Log. Algebraic Methods Program., October, 2023

A Living Monograph for Graph Transformation.

Nicolas Behr, Russ Harmer

Proceedings of the Graph Transformation - 16th International Conference, 2023

2021

Concurrency Theorems for Non-linear Rewriting Theories.

Nicolas Behr, Russ Harmer, Jean Krivine

Proceedings of the Graph Transformation - 14th International Conference, 2021

Schema Inference for Property Graphs.

Hanâ Lbath, Angela Bonifati, Russ Harmer

Proceedings of the 24th International Conference on Extending Database Technology, 2021

2020

Knowledge representation and update in hierarchies of graphs.

Russ Harmer, Eugenia Oshurko

J. Log. Algebraic Methods Program., 2020

Reversibility and Composition of Rewriting in Hierarchies.

Russ Harmer, Eugenia Oshurko

Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020

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

Schema Validation and Evolution for Graph Databases.

Angela Bonifati, Peter Furniss, Alastair Green, Russ Harmer, Eugenia Oshurko, Hannes Voigt

Proceedings of the Conceptual Modeling - 38th International Conference, 2019

KAMIStudio: An Environment for Biocuration of Cellular Signalling Knowledge.

Russ Harmer, Eugenia Oshurko

Proceedings of the Computational Methods in Systems Biology, 2019

2017

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

Russell Harmer

, 2017

2015

Thermodynamic graph-rewriting.

Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer

Log. Methods Comput. Sci., 2015

A knowledge representation meta-model for rule-based modelling of signalling networks.

Adrien Basso-Blandin, Walter Fontana, Russ Harmer

Proceedings of the Eleventh International Workshop on Developments in Computational Models, 2015

2013

Constraining rule-based dynamics with types.

Vincent Danos, Russell Harmer, Glynn Winskel

Math. Struct. Comput. Sci., 2013

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

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

Models of Tet-On System with Epigenetic Effects.

Russell Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine, Guillaume Madelaine, Mirabelle Nebut

Proceedings of the Computational Methods in Systems Biology, 2012

2010

Foreword.

Dan R. Ghica, Russ Harmer

Ann. Pure Appl. Log., 2010

Totality in arena games.

Pierre Clairambault, Russ Harmer

Ann. Pure Appl. Log., 2010

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

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009

Rule-Based Modelling and Model Perturbation.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine

Trans. Comp. Sys. Biology, 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 Tunable Resolution

Russ Harmer

Proceedings of the Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, 2009

2008

Investigation of a Biological Repair Scheme.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine

Proceedings of the Membrane Computing - 9th International Workshop, 2008

Rule-Based Modelling, Symmetries, Refinements.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine

Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

2007

Categorical Combinatorics for Innocent Strategies.

Russell Harmer, Martin Hyland, Paul-André Melliès

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Rule-Based Modelling of Cellular Signalling.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

The Anatomy of Innocence Revisited.

Russell Harmer, Olivier Laurent

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

2005

Affine strategies in arena games.

Russell Harmer

Proceedings of the 1st Workshop on Games for Logic and Programming Languages, 2005

2002

Probabilistic game semantics.

Vincent Danos, Russell Harmer

ACM Trans. Comput. Log., 2002

2001

The Anatomy of Innocence.

Vincent Danos, Russell Harmer

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

1999

Games and full abstraction for non-deterministic languages.

Russell Harmer

PhD thesis, 1999

A Fully Abstract Game Semantics for Finite Nondeterminism.

Russell Harmer, Guy McCusker

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999