16 citations · 129 across the 20 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 3 cited
Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping
Nicolas Behr, Reiko Heckel, Maryam Ghaffari Saadat
Graph transformation theory relies upon the composition of rules to express the effects of sequences of rules. In practice, graphs are often subject to constraints, ruling out many…
cs.LO2020★ 8 cited
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
Nicolas Behr, Jean Krivine
The Kappa biochemistry and the MØD organo-chemistry frameworks are amongst the most intensely developed applications of rewriting theoretical methods in the life sciences to date.…