Russell Harmer

Publication Activity (10 Years)

Years Active: 1999-2013
Publications (10 Years): 0

Top Venues

CMSB

Math. Struct. Comput. Sci.

FSTTCS

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Vincent Danos, Russell Harmer, Glynn Winskel
Constraining rule-based dynamics with types. Math. Struct. Comput. Sci. 23 (2) (2013)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Christopher D. Thompson-Walsh, Glynn Winskel
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. FSTTCS (2012)
Russell Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine, Guillaume Madelaine, Mirabelle Nebut
Models of Tet-On System with Epigenetic Effects. CMSB (2012)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. LICS (2010)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
Rule-Based Modelling and Model Perturbation. Trans. Comp. Sys. Biology 11 (2009)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
Rule-Based Modelling, Symmetries, Refinements. FMSB (2008)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
Investigation of a Biological Repair Scheme. Workshop on Membrane Computing (2008)
Russell Harmer, Martin Hyland, Paul-André Melliès
Categorical Combinatorics for Innocent Strategies. LICS (2007)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
Rule-Based Modelling of Cellular Signalling. CONCUR (2007)
Russell Harmer, Olivier Laurent
The Anatomy of Innocence Revisited. FSTTCS (2006)
Russell Harmer
Affine strategies in arena games. GALOP@ETAPS (2005)
Vincent Danos, Russell Harmer
Probabilistic game semantics. ACM Trans. Comput. Log. 3 (3) (2002)
Vincent Danos, Russell Harmer
The Anatomy of Innocence. CSL (2001)
Vincent Danos, Russell Harmer
Probabilistic Game Semantics. LICS (2000)
Russell Harmer, Guy McCusker
A Fully Abstract Game Semantics for Finite Nondeterminism. LICS (1999)

Russell Harmer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Russell Harmer