Russell Harmer

17 papers A* 4B 2Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2017 — book
Rule-based meta-modelling for bio-curation. (Meta-modélisation à base de règles pour la curation biologique).
Russell Harmer
2013 J jnl
Constraining rule-based dynamics with types.
Math. Struct. Comput. Sci.
Vincent Danos, Russell Harmer, Glynn Winskel
2012 — conf
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models.
FSTTCS
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Christopher D. Thompson-Walsh, Glynn Winskel
2012 — conf
Models of Tet-On System with Epigenetic Effects.
CMSB
Russell Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine, Guillaume Madelaine, Mirabelle Nebut
2010 A* conf
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction.
LICS
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
2009 J jnl
Rule-Based Modelling and Model Perturbation.
Trans. Comp. Sys. Biology
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
2008 — conf
Investigation of a Biological Repair Scheme.
Workshop on Membrane Computing
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
2008 — conf
Rule-Based Modelling, Symmetries, Refinements.
FMSB
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
2007 A* conf
Categorical Combinatorics for Innocent Strategies.
LICS
Russell Harmer, Martin Hyland, Paul-André Melliès
2007 B conf
Rule-Based Modelling of Cellular Signalling.
CONCUR
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
2006 — conf
The Anatomy of Innocence Revisited.
FSTTCS
Russell Harmer, Olivier Laurent
2005 — conf
Affine strategies in arena games.
GALOP@ETAPS
Russell Harmer
2002 J jnl
Probabilistic game semantics.
ACM Trans. Comput. Log.
Vincent Danos, Russell Harmer
2001 B conf
The Anatomy of Innocence.
CSL
Vincent Danos, Russell Harmer
2000 A* conf
Probabilistic Game Semantics.
LICS
Vincent Danos, Russell Harmer
1999 A* conf
A Fully Abstract Game Semantics for Finite Nondeterminism.
LICS
Russell Harmer, Guy McCusker
1999 — —
Games and full abstraction for non-deterministic languages.
Russell Harmer