Nombre de documents

29

CV de Russ Harmer


Communication dans un congrès16 documents

  • Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer. Thermodynamic graph rewriting. Concur 2013, 2013, Argentina. 8052, pp.380-394, 2013. <hal-00966094>
  • Russ Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine, Guillaume Madelaine, et al.. Models of Tet-On System with Epigenetic Effects. Computational Methods in Systems Biology 2012 (CMSB 2012, Flashposter), Oct 2012, London, United Kingdom. Springer, 7605, pp.378, 2012. <hal-00725553>
  • Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, et al.. Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. FSTTCS 2012 - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2012, Hyderabad, India. 18, pp.276-288, 2012, LIPIcs. <10.4230/LIPIcs.FSTTCS.2012.276>. <hal-00809065>
  • Russ Harmer. Executable Knowledge. Systems Biology and Formal Methods, Apr 2012, New York, United States. <hal-00695295>
  • Russ Harmer. Rule-based modeling of cellular signaling. 6th International Workshop on 'Developments in Computational Models' (DCM), Jul 2010, Edinburgh, United Kingdom. <hal-00695294>
  • 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. Logic in Computer Science, 2010, Edinburgh, United Kingdom. pp.362-381, 2010, IEEE Computer Society. <hal-00520112>
  • Russ Harmer. Rule-based modelling of cellular signalling. Biopathways 10, Jun 2009, Stockholm, Sweden. <hal-00695291>
  • Russ Harmer. Rule-based modelling of erbB signalling. 1st International Workshop on 'Computational Models for Cell Processes' (CompMod), May 2008, Turku, Finland. <hal-00695288>
  • Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine. Rule-based modelling, symmetries, refinements. Fisher, Jasmin. the 1st International Workshop, Formal Methods in Systems Biology - FMSB 2008, Jun 2008, Cambridge, United Kingdom. Springer, 5054, pp.103-122, 2008, Lecture Notes in Computer Science; Formal Methods in Systems Biology Formal Methods in Systems Biology. <10.1007/978-3-540-68413-8_8>. <inria-00528339>
  • Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine. Investigation of a biological repair scheme. Paun, G. the 9th Workshop on Membrane Computing - WMC9, Jul 2008, Edinburgh, United Kingdom. Springer, 5391, pp.1-12, 2009, Lecture Notes in Computer Science; Membrane Computing. <10.1007/978-3-540-95885-7_1>. <inria-00528319>
  • Russ Harmer. Rule-based modeling of erbB signaling. ASCB Annual Meeting (SIG on Systems Biology of Receptor Tyrosine Kinase Networks), Dec 2007, Washington DC, United States. <hal-00695285>
  • Russ Harmer, Martin Hyland, Paul-André Melliès. Categorical Combinatorics for Innocent Strategies. Logic in Computer Science, Jul 2007, France. pp. 379-388, 2007. <hal-00150373>
  • Vincent Danos, Jerome Feret, Walter Fontana, Russell Harmer, Jean Krivine. Rule-based modelling of cellular signalling. International Conference on Concurrency Theory (CONCUR'07), Sep 2007, Portugal. 2007. <hal-00164297>
  • Russ Harmer. An analysis of innocent interaction. 2nd International Workshop on Games for Logic and Programming Languages (GALOP), 2006, Seattle, United States. 2006. <hal-00150355>
  • Russ Harmer, Olivier Laurent. The anatomy of innocence revisited. S. Arun-Kumar and Naveen Garg. Nov 2006, Springer, pp.224-235, 2006, Lecture Notes in Computer Science. <10.1007/11944836_22>. <hal-00124569>
  • Russ Harmer. Affine strategies in arena games. 1st International Workshop on Games for Logic and Programming Languages, 2005, Edinburgh, United Kingdom. 2005. <hal-00013015>

Pré-publication, Document de travail2 documents

  • Russ Harmer. Cellular strategies and innocent interaction. 2007. <hal-00150353>
  • Vincent Danos, Walter Fontana, Russ Harmer, Jean Krivine. Biological signalling and causality. 2007. <hal-00150881>

Article dans une revue8 documents

  • Adrien Basso-Blandin, Walter Fontana, Russ Harmer. A knowledge representation meta-model for rule-based modelling of signalling networks. Electronic Proceedings in Theoretical Computer Science, EPTCS, 2016, <10.4204/EPTCS.204.5>. <hal-01468117>
  • Vincent Danos, Russell Harmer, Ricardo Honorato-Zimmer. Thermodynamic graph-rewriting. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 11 (2), pp.13. <10.2168/LMCS-11(2:13)2015>. <hal-01263637>
  • Vincent Danos, Russ Harmer, Glynn Winskel. Constraining rule-based dynamics with types. MSCS, 2013, 23 (2), pp.272-289. <hal-00694492>
  • Russ Harmer, Vincent Danos, Jérôme Feret, Jean Krivine, Walter Fontana. Intrinsic Information carriers in combinatorial dynamical systems. Chaos, American Institute of Physics, 2010, 20 (3), pp.037108. <10.1063/1.3491100>. <hal-00520128>
  • Russ Harmer. Rule-based modelling and tunable resolution. EPTCS, 2009, 9, pp.65-72. <hal-00694488>
  • Jérôme Feret, Vincent Danos, Jean Krivine, Russ Harmer, Walter Fontana. Internal coarse-graining of molecular systems. Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2009, 106 (16), <10.1073/pnas.0809908106>. <inria-00528330>
  • Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer, Jean Krivine. Rule-Based Modelling and Model Perturbation. Transactions on Computational Systems Biology, Springer, 2009, Transactions on Computational Systems Biology XI, 5750, pp.116-137. <10.1007/978-3-642-04186-0_6>. <inria-00528364>
  • Pierre Clairambault, Russ Harmer. Totality in arena games. Annals of Pure and Applied Logic, Elsevier Masson, 2009, 161 (5), pp.673-689. <10.1016/j.apal.2009.07.016>. <hal-00443535>

Chapitre d'ouvrage2 documents

  • Elaine Murphy, Vincent Danos, Jérôme Feret, Jean Krivine, Russell Harmer. Rule Based Modeling and Model Refinement. H. Lodhi and S. Muggleton. Elements of Computational Systems Biology, John Wiley & Sons, pp.83--114, 2010, Wiley Book Series on Bioinformatics, 978-0470180938. <10.1002/9780470556757.ch4>. <inria-00527981>
  • Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer, Jean Krivine. Rule-based modelling and model perturbations. Corrado Priami ; Ralph-Johan Back ; Ion Petre. Transactions on Computational Systems Biology XI, Springer, pp.116-137, 2008, Lecture Notes in Computer Science, 978-3-642-04186-0. <10.1007/978-3-642-04186-0_6>. <hal-00350299>

Direction d'ouvrage, Proceedings1 document

  • Russ Harmer, Dan Ghica. Special Issue of APAL (vol 161(5)) for GaLoP 3. Elsevier, pp.90, 2010. <hal-00695282>