Follow
Russ Harmer
Russ Harmer
CNRS, Lyon
Verified email at ens-lyon.fr - Homepage
Title
Cited by
Cited by
Year
Rule-based modelling of cellular signalling
V Danos, J Feret, W Fontana, R Harmer, J Krivine
International Conference on Concurrency Theory (CONCUR), 17-41, 2007
4332007
Internal coarse-graining of molecular systems
J Feret, V Danos, J Krivine, R Harmer, W Fontana
Proceedings of the National Academy of Sciences 106 (16), 6453, 2009
2472009
A fully abstract game semantics for finite nondeterminism
R Harmer, G McCusker
14th Annual IEEE Symposium on Logic in Computer Science (LICS), 422-430, 1999
1421999
Probabilistic game semantics
V Danos, R Harmer
ACM Transactions on Computational Logic (TOCL) 3 (3), 359-382, 2002
1392002
Games and full abstraction for non-deterministic languages
R Harmer
University of London, 1999
1121999
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
V Danos, J Feret, W Fontana, R Harmer, J Hayman, J Krivine, ...
32nd IARCS Conference on Foundations of Software Technology and Theoretical …, 2012
1012012
Rule-based modelling, symmetries, refinements
V Danos, J Feret, W Fontana, R Harmer, J Krivine
International Workshop on Formal Methods in Systems Biology, 103-122, 2008
982008
Abstracting the differential semantics of rule-based models: exact and automated model reduction
V Danos, J Feret, W Fontana, R Harmer, J Krivine
25th Annual IEEE Symposium on Logic in Computer Science (LICS), 362-381, 2010
942010
Rule-based modelling and model perturbation
V Danos, J Feret, W Fontana, R Harmer, J Krivine
Transactions on Computational Systems Biology XI (TCSB), 116-137, 2009
922009
Categorical combinatorics for innocent strategies
R Harmer, M Hyland, PA Melliès
22nd Annual IEEE Symposium on Logic in Computer Science (LICS), 379-388, 2007
782007
Intrinsic information carriers in combinatorial dynamical systems
R Harmer, V Danos, J Feret, J Krivine, W Fontana
Chaos: An Interdisciplinary Journal of Nonlinear Science 20 (3), 037108, 2010
622010
Rule‐Based Modeling and Model Refinement
E Murphy, V Danos, J Feret, J Krivine, R Harmer
Elements of Computational Systems Biology, 83-114, 2009
332009
Schema validation and evolution for graph databases
A Bonifati, P Furniss, A Green, R Harmer, E Oshurko, H Voigt
38th International Conference on Conceptual Modeling (ER), 2019
282019
Totality in arena games
P Clairambault, R Harmer
Annals of pure and applied logic 161 (5), 673-689, 2010
232010
The anatomy of innocence
V Danos, R Harmer
15th International Workshop on Computer Science Logic (CSL), 188-202, 2001
232001
Constraining rule-based dynamics with types
V Danos, R Harmer, G Winskel
MSCS 23 (2), 272-289, 2013
222013
Rule-based modelling and tunable resolution
R Harmer
EPTCS 9, 65-72, 2009
192009
Thermodynamic graph-rewriting
V Danos, R Harmer, R Honorato-Zimmer
Logical Methods in Computer Science 11 (2), 1-26, 2015
172015
Innocent game semantics
R Harmer
Lecture notes 2007, 2004
172004
Bio-curation for cellular signalling: the KAMI project
R Harmer, YS Le Cornec, S Légaré, E Oshurko
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) 16 …, 2019
162019
The system can't perform the operation now. Try again later.
Articles 1–20