| 2008 |
|---|
| 7 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Russell Harmer,
Jean Krivine:
Rule-Based Modelling, Symmetries, Refinements.
FMSB 2008: 103-122 |
| 2007 |
|---|
| 6 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Russell Harmer,
Jean Krivine:
Rule-Based Modelling of Cellular Signalling.
CONCUR 2007: 17-41 |
| 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 |
