Concepedia

Russell Harmer

RH

Statistics

Publications

6

Citations

619

H-Index

6

Active since

2002

Affiliations

Université Paris Cité(Current)

Harvard University

University of Sussex

Centre National de la Recherche Scientifique

Laboratory Preuves, Programmes et Systèmes

Russell Harmer is an author at Université Paris Cité specializing in computer science, game theory, and game-theoretic semantics.

Publications per year

2002–2012

6

Publications

6

Rule-Based Modelling of Cellular Signalling

Vincent Danos, Jérôme Ferêt, Walter Fontana et al. · Lecture notes in computer science · 2007 · 282 citations · Full text

, , +12

Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction

Vincent Danos, Jérôme Ferêt, Walter Fontana et al. · 2010 · 84 citations · Full text

, , +10

Probabilistic game semantics

Vincent Danos, Russell Harmer · ACM Transactions on Computational Logic · 2002 · 80 citations

, , +11

A fully abstract game semantics for finite nondeterminism

Russell Harmer, Guy McCusker · 2003 · 76 citations

, , +10

Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models

Vincent Danos, Jérôme Ferêt, Walter Fontana et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 70 citations · Full text

, , +13

1–5 of 6