| 2008 |
|---|
| 10 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Russell Harmer,
Jean Krivine:
Rule-Based Modelling, Symmetries, Refinements.
FMSB 2008: 103-122 |
| 9 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Russell Harmer,
Jean Krivine:
Investigation of a Biological Repair Scheme.
Workshop on Membrane Computing 2008: 1-12 |
| 2007 |
|---|
| 8 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Russell Harmer,
Jean Krivine:
Rule-Based Modelling of Cellular Signalling.
CONCUR 2007: 17-41 |
| 7 | EE | Russell Harmer,
Martin Hyland,
Paul-André Melliès:
Categorical Combinatorics for Innocent Strategies.
LICS 2007: 379-388 |
| 2006 |
|---|
| 6 | EE | Russell Harmer,
Olivier Laurent:
The Anatomy of Innocence Revisited.
FSTTCS 2006: 224-235 |
| 2005 |
|---|
| 5 | | Russell Harmer:
Affine strategies in arena games.
GALOP 2005: 48-60 |
| 2002 |
|---|
| 4 | EE | Vincent Danos,
Russell Harmer:
Probabilistic game semantics.
ACM Trans. Comput. Log. 3(3): 359-382 (2002) |
| 2001 |
|---|
| 3 | EE | Vincent Danos,
Russell Harmer:
The Anatomy of Innocence.
CSL 2001: 188-202 |
| 2000 |
|---|
| 2 | EE | Vincent Danos,
Russell Harmer:
Probabilistic Game Semantics.
LICS 2000: 204-213 |
| 1999 |
|---|
| 1 | EE | Russell Harmer,
Guy McCusker:
A Fully Abstract Game Semantics for Finite Nondeterminism.
LICS 1999: 422-430 |
