Russ Harmer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A living monograph for graph transformation	2024-01-12	Paper
Fundamentals of compositional rewriting theory Journal of Logical and Algebraic Methods in Programming	2023-09-25	Paper
Concurrency theorems for non-linear rewriting theories (available as arXiv preprint)	2022-03-21	Paper
scientific article; zbMATH DE number 7456055 (Why is no real title available?)	2022-01-12	Paper
scientific article; zbMATH DE number 7456055 (Why is no real title available?) (available as arXiv preprint)	2022-01-12	Paper
A knowledge representation meta-model for rule-based modelling of signalling networks	2021-12-02	Paper
A knowledge representation meta-model for rule-based modelling of signalling networks (available as arXiv preprint)	2021-12-02	Paper
Rule-based modelling and tunable resolution	2021-01-26	Paper
Knowledge representation and update in hierarchies of graphs Journal of Logical and Algebraic Methods in Programming	2020-07-14	Paper
Knowledge representation and update in hierarchies of graphs Lecture Notes in Computer Science	2020-02-06	Paper
Intrinsic information carriers in combinatorial dynamical systems Chaos: An Interdisciplinary Journal of Nonlinear Science	2015-05-19	Paper
Thermodynamic Graph-Rewriting CONCUR 2013 – Concurrency Theory	2013-08-12	Paper
Constraining rule-based dynamics with types Mathematical Structures in Computer Science	2013-04-29	Paper
Totality in arena games Annals of Pure and Applied Logic	2011-08-26	Paper
The Anatomy of Innocence Revisited FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science	2008-04-17	Paper

Research outcomes over time

This page was built for person: Russ Harmer