Russell Harmer

	2010
12		Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. LICS 2010: 362-381
	2009
11		Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling and Model Perturbation. T. Comp. Sys. Biology 11: 116-137 (2009)
	2008
10		Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling, Symmetries, Refinements. FMSB 2008: 103-122
9		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		Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling of Cellular Signalling. CONCUR 2007: 17-41
7		Russell Harmer, Martin Hyland, Paul-André Melliès: Categorical Combinatorics for Innocent Strategies. LICS 2007: 379-388
	2006
6		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		Vincent Danos, Russell Harmer: Probabilistic game semantics. ACM Trans. Comput. Log. 3(3): 359-382 (2002)
	2001
3		Vincent Danos, Russell Harmer: The Anatomy of Innocence. CSL 2001: 188-202
	2000
2		Vincent Danos, Russell Harmer: Probabilistic Game Semantics. LICS 2000: 204-213
	1999
1		Russell Harmer, Guy McCusker: A Fully Abstract Game Semantics for Finite Nondeterminism. LICS 1999: 422-430

Coauthor Index

1	Vincent Danos	[2] [3] [4] [8] [9] [10] [11] [12]
2	Jérôme Feret	[8] [9] [10] [11] [12]
3	Walter Fontana	[8] [9] [10] [11] [12]
4	Martin Hyland (J. M. E. Hyland)	[7]
5	Jean Krivine	[8] [9] [10] [11] [12]
6	Olivier Laurent	[6]
7	Guy McCusker	[1]
8	Paul-André Melliès	[7]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page