![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Russell Harmer
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [e2]Russ Harmer
, Jens Kosiol
:
Graph Transformation - 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings. Lecture Notes in Computer Science 14774, Springer 2024, ISBN 978-3-031-64284-5 [contents] - 2023
- [j10]Nicolas Behr
, Russ Harmer, Jean Krivine:
Fundamentals of compositional rewriting theory. J. Log. Algebraic Methods Program. 135: 100893 (2023) - [c23]Nicolas Behr
, Russ Harmer
:
A Living Monograph for Graph Transformation. ICGT 2023: 281-291 - 2022
- [i4]Nicolas Behr, Russ Harmer, Jean Krivine:
Fundamentals of Compositional Rewriting Theory. CoRR abs/2204.07175 (2022) - 2021
- [c22]Hanâ Lbath, Angela Bonifati
, Russ Harmer:
Schema Inference for Property Graphs. EDBT 2021: 499-504 - [c21]Nicolas Behr
, Russ Harmer
, Jean Krivine
:
Concurrency Theorems for Non-linear Rewriting Theories. ICGT 2021: 3-21 - [i3]Nicolas Behr, Russ Harmer, Jean Krivine:
Concurrency Theorems for Non-linear Rewriting Theories. CoRR abs/2105.02842 (2021) - 2020
- [j9]Russ Harmer
, Eugenia Oshurko
:
Knowledge representation and update in hierarchies of graphs. J. Log. Algebraic Methods Program. 114: 100559 (2020) - [c20]Russ Harmer, Eugenia Oshurko:
Reversibility and Composition of Rewriting in Hierarchies. GCM@STAF 2020: 145-162 - [i2]Russ Harmer, Eugenia Oshurko:
Knowledge representation and update in hierarchies of graphs. CoRR abs/2002.01766 (2020)
2010 – 2019
- 2019
- [j8]Russ Harmer
, Yves-Stan Le Cornec, Sébastien Légaré, Eugenia Oshurko:
Bio-Curation for Cellular Signalling: The KAMI Project. IEEE ACM Trans. Comput. Biol. Bioinform. 16(5): 1562-1573 (2019) - [c19]Russ Harmer
, Eugenia Oshurko
:
KAMIStudio: An Environment for Biocuration of Cellular Signalling Knowledge. CMSB 2019: 322-328 - [c18]Angela Bonifati
, Peter Furniss, Alastair Green, Russ Harmer
, Eugenia Oshurko, Hannes Voigt:
Schema Validation and Evolution for Graph Databases. ER 2019: 448-456 - [c17]Russ Harmer
, Eugenia Oshurko:
Knowledge Representation and Update in Hierarchies of Graphs. ICGT 2019: 141-158 - [i1]Angela Bonifati, Peter Furniss, Alastair Green, Russ Harmer, Eugenia Oshurko, Hannes Voigt:
Schema Validation and Evolution for Graph Databases. CoRR abs/1902.06427 (2019) - 2017
- [b2]Russell Harmer:
Rule-based meta-modelling for bio-curation. (Meta-modélisation à base de règles pour la curation biologique). École normale supérieure de Lyon, France, 2017 - [c16]Russ Harmer, Yves-Stan Le Cornec, Sébastien Légaré, Ievgeniia Oshurko:
Bio-Curation for Cellular Signalling: The KAMI Project. CMSB 2017: 3-19 - 2015
- [j7]Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer
:
Thermodynamic graph-rewriting. Log. Methods Comput. Sci. 11(2) (2015) - [c15]Adrien Basso-Blandin, Walter Fontana, Russ Harmer:
A knowledge representation meta-model for rule-based modelling of signalling networks. DCM 2015: 47-59 - [e1]Ugo Dal Lago, Russ Harmer:
Proceedings Tenth International Workshop on Developments in Computational Models, DCM 2014, Vienna, Austria, 13th July 2014. EPTCS 179, 2015 [contents] - 2013
- [j6]Vincent Danos, Russell Harmer, Glynn Winskel:
Constraining rule-based dynamics with types. Math. Struct. Comput. Sci. 23(2): 272-289 (2013) - [c14]Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer
:
Thermodynamic Graph-Rewriting. CONCUR 2013: 380-394 - 2012
- [c13]Russell Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine, Guillaume Madelaine, Mirabelle Nebut:
Models of Tet-On System with Epigenetic Effects. CMSB 2012: 378-381 - [c12]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Christopher D. Thompson-Walsh, Glynn Winskel:
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. FSTTCS 2012: 276-288 - 2010
- [j5]Dan R. Ghica, Russ Harmer:
Foreword. Ann. Pure Appl. Log. 161(5): 617 (2010) - [j4]Pierre Clairambault, Russ Harmer:
Totality in arena games. Ann. Pure Appl. Log. 161(5): 673-689 (2010) - [c11]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
2000 – 2009
- 2009
- [j3]Jérôme Feret, Vincent Danos, Jean Krivine, Russ Harmer, Walter Fontana:
Internal coarse-graining of molecular systems. Proc. Natl. Acad. Sci. USA 106(16): 6453-6458 (2009) - [j2]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine:
Rule-Based Modelling and Model Perturbation. Trans. Comp. Sys. Biology 11: 116-137 (2009) - [c10]Russ Harmer:
Rule-based Modelling and Tunable Resolution. DCM 2009: 65-72 - 2008
- [c9]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine:
Rule-Based Modelling, Symmetries, Refinements. FMSB 2008: 103-122 - [c8]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
- [c7]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine:
Rule-Based Modelling of Cellular Signalling. CONCUR 2007: 17-41 - [c6]Russell Harmer, Martin Hyland, Paul-André Melliès:
Categorical Combinatorics for Innocent Strategies. LICS 2007: 379-388 - 2006
- [c5]Russell Harmer, Olivier Laurent:
The Anatomy of Innocence Revisited. FSTTCS 2006: 224-235 - 2005
- [c4]Russell Harmer:
Affine strategies in arena games. GALOP@ETAPS 2005: 48-60 - 2002
- [j1]Vincent Danos, Russell Harmer:
Probabilistic game semantics. ACM Trans. Comput. Log. 3(3): 359-382 (2002) - 2001
- [c3]Vincent Danos, Russell Harmer:
The Anatomy of Innocence. CSL 2001: 188-202 - 2000
- [c2]Vincent Danos, Russell Harmer:
Probabilistic Game Semantics. LICS 2000: 204-213
1990 – 1999
- 1999
- [b1]Russell Harmer:
Games and full abstraction for non-deterministic languages. Imperial College London, UK, 1999 - [c1]Russell Harmer, Guy McCusker:
A Fully Abstract Game Semantics for Finite Nondeterminism. LICS 1999: 422-430
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-21 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint