russ point harmer arobase pps point univ tiret paris tiret diderot point fr
Chargé de Recherche au CNRS
PPS, CNRS et Paris Diderot

Jatasya hi dhruvo mrityur dhruvam janma mritasya ca; 
Tasmad apariharye rthe na tvam socitum arhasi.

événements / events
passés / past
GaLoP 1 workshop (PC member).
ASCB annual meeting 2007, SIG 'Systems Biology of Receptor Tyrosine Kinase Networks' (invited speaker).
GaLoP 3 workshop (co-chair).
1st International Workshop on Computational models for cell processes (invited speaker).
Special issue of APAL for the GaLoP 3 workshop (co-editor).
Biopathways 10 (invited speaker).
2nd International Workshop on Computational models for cell processes (PC member).
1st International Workshop on Computer Science to Systems Biology (PC member).
3rd LICS Workshop on Logic and Systems Biology (co-chair).
Developments in Computational Models (DCM'10) Workshop (invited speaker).
3rd International Workshop on Computational models for cell processes (PC member).
Workshop on Systems Biology and Formal Methods (invited speaker).
4th LICS Workshop on Logic and Systems Biology (co-chair).
3rd SASB International Workshop (invited speaker).
futurs / future
Rule Base in Paris (co-organizer).
4th SASB International Workshop (PC member).
4th International Workshop on Computational models for cell processes (PC member).

modélisation à base de règles / rule-based modelling
Rule-based modelling of cellular signalling.
Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer and Jean Krivine. CONCUR'07 (2007).

Rule-based modelling, symmetries, refinement.
Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer and Jean Krivine. FMSB'08 (2008).

Investigation of a biological repair scheme.
Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer and Jean Krivine. WMC'08 (2009).

Internal coarse-graining of molecular systems.
Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer and Jean Krivine.
PNAS 106(16):6453-6458 (2009).

Rule-based modelling and model refinement.
Elaine Murphy, Vincent Danos, Jérome Feret, Russ Harmer and Jean Krivine.
Chapter 4 of Elements of Computational Systems Biology (2009).

Rule-based modelling and model perturbation. [pre-print]
Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer and Jean Krivine.
Transactions on Computational Systems Biology XI, pp. 116-137 (2009).

Rule-based modelling and tunable resolution.
Russ Harmer. DCM'09.
EPTCS 9, pp. 65-72 (2009).

Abstracting the differential semantics of rule-based models: exact and automated model reduction.
Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer and Jean Krivine. LICS'10 (2010).

Intrinsic information carriers in combinatorial dynamical systems. [pre-print]
Russ Harmer, Vincent Danos, Jérôme Feret, Jean Krivine and Walter Fontana.
Chaos 20(3), 037108 (2010).

Models of the Tet-on system with epigenetic effects.
Russ Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine, Guillaume Madelaine and Mirabelle Nebut. CMSB'12 (2012).

Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models.
Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer, Jonathan Hayman, Jean Krivine, Chris Thompson-Walsh, Glynn Winskel. FSTTCS'12. 

Constraining rule-based dynamics with types. [pre-print]
Vincent Danos, Russ Harmer and Glynn Winskel.
MSCS 23(2), pp. 272-289 (2013).


sémantique de jeux / game semantics
A fully abstract game semantics for finite nondeterminism.
Russ Harmer and Guy McCusker. LICS'99 (1999).
PhD: tesi (vo, 31 decembre 1999)

Probabilistic game semantics (extended abstract).
Vincent Danos and Russ Harmer. LICS'00 (2000).

The anatomy of innocence.
Vincent Danos and Russ Harmer. CSL'01 (2001).

Probabilistic game semantics.
Vincent Danos and Russ Harmer.
Special issue for LICS'00. ACM Transactions on Computational Logic 3(3) (2002).

lecture notes on game semantics (MPRI 2004-2007)

Affine strategies in arena games.
Russ Harmer. GaLoP 1, 2005.

An analysis of innocent interaction.
Russ Harmer. GaLoP 2, 2006.

The anatomy of innocence revisited.
Russ Harmer and Olivier Laurent. FSTTCS'06 (2006).

Categorical combinatorics for innocent strategies.
Russ Harmer, Martin Hyland and Paul-André Melliès. LICS'07 (2007).

Totality in arena games.
Pierre Clairambault and Russ Harmer. [pre-print]
APAL 161(5):673--689 (2010).


1.03.2013