3 citations · 4 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2020
Encoding Incremental NACs in Safe Graph Grammars using Complementation
Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel
In modelling complex systems with graph grammars (GGs), it is convenient to restrict the application of rules using attribute constraints and negative application conditions (NACs)…
cs.LO2020
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…