Russ Harmer
École Normale Supérieure de Lyon
H-index: 19
Europe-France
Top articles of Russ Harmer
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Fundamentals of compositional rewriting theory | Journal of Logical and Algebraic Methods in Programming | Nicolas Behr Russ Harmer Jean Krivine | 2023/8/3 |
A living monograph for graph transformation | Nicolas Behr Russ Harmer | 2023/7/12 | |
Modelling systems biology wide and deep | Sébastien Légaré Jean Krivine Russ Harmer Jérôme Feret | 2021/9 | |
Concurrency theorems for non-linear rewriting theories | Nicolas Behr Russ Harmer Jean Krivine | 2021/5/6 | |
Schema inference for property graphs | Hanâ Lbath Angela Bonifati Russ Harmer | 2021/3/23 | |
Reversibility and composition of rewriting in hierarchies | EPTCS | Russ Harmer Eugenia Oshurko | 2020/6/24 |
Knowledge representation and update in hierarchies of graphs | Journal of Logical and Algebraic Methods in Programming | Russ Harmer Eugenia Oshurko | 2020/5/25 |