Suivre
Russ Harmer
Russ Harmer
CNRS, Lyon
Adresse e-mail validée de ens-lyon.fr - Page d'accueil
Titre
Citée par
Citée par
Année
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
4562007
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
2782009
Probabilistic game semantics
V Danos, R Harmer
ACM Transactions on Computational Logic (TOCL) 3 (3), 359-382, 2002
1482002
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
1431999
Games and full abstraction for non-deterministic languages
R Harmer
University of London, 1999
1111999
Rule-based modelling, symmetries, refinements
V Danos, J Feret, W Fontana, R Harmer, J Krivine
Formal Methods in Systems Biology: First International Workshop, FMSB 2008 …, 2008
1082008
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
1072012
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
1042010
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
942009
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
812007
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), 2010
692010
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
562019
Schema inference for property graphs
H Lbath, A Bonifati, R Harmer
24th International Conference on Extending Database Technology (EDBT), 499-504, 2021
412021
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
Totality in arena games
P Clairambault, R Harmer
Annals of pure and applied logic 161 (5), 673-689, 2010
312010
The anatomy of innocence
V Danos, R Harmer
15th International Workshop on Computer Science Logic (CSL), 188-202, 2001
242001
Concurrency theorems for non-linear rewriting theories
N Behr, R Harmer, J Krivine
14th International Conference on Graph Transformation (ICGT), 3--21, 2021
212021
Constraining rule-based dynamics with types
V Danos, R Harmer, G Winskel
MSCS 23 (2), 272-289, 2013
202013
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
192019
Rule-based modelling and tunable resolution
R Harmer
EPTCS 9, 65-72, 2009
192009
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20