Russell Harmer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
1999–2010
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | LICS | Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. | Vincent Danos, Jrme Feret, Walter Fontana, Russell Harmer, Jean Krivine |
| 2007 | CONCUR | Rule-Based Modelling of Cellular Signalling. | Vincent Danos, Jrme Feret, Walter Fontana, Russell Harmer, Jean Krivine |
| 2007 | LICS | Categorical Combinatorics for Innocent Strategies. | Russell Harmer, Martin Hyland, Paul-Andr Mellis |
| 2001 | CSL | The Anatomy of Innocence. | Vincent Danos, Russell Harmer |
| 2000 | LICS | Probabilistic Game Semantics. | Vincent Danos, Russell Harmer |
| 1999 | LICS | A Fully Abstract Game Semantics for Finite Nondeterminism. | Russell Harmer, Guy McCusker |