russ point harmer arobase pps point jussieu 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
GaLoP 1 workshop (PC member).
GaLoP 3 workshop (PC 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).

modélisation biologique / biological 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.
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 model resolution.
Russ Harmer. DCM'09.
EPTCS 9, pp. 65-72 (2009).


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.
APAL 161(5):673--689 (2010).

Cellular strategies and innocent interaction.
Russ Harmer. In revision for MSCS (2009).

4.02.2010