Cited in
(37)- The Edge of Graph Transformation — Graphs for Behavioural Specification
- Graph transformation for incremental natural language analysis
- Graph-Based Tools: The Contest
- Preserving consistency in geometric modeling with graph transformations
- Rewriting strategies and strategic rewrite programs
- Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018
- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
- A Hoare calculus for graph programs
- \textsc{Polar}: a framework for proof refactoring
- Hoare-style verification of graph programs
- PROGRES
- Fujaba
- Graph transformation benchmarks
- VIATRA2
- AGG
- JSXGraph
- PORGY
- LMNtal
- VPM
- CheckVML
- GROOVE
- Jerboa
- Henshin
- DiaGen
- GXL
- GReAT
- AGREE
- eMoflon
- EMorF
- Verigraph
- GP 2
- The Graph Programming Language GP
- Hybrid search plan generation for generalized graph pattern matching
- Contextual hyperedge replacement
- Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions
- A strategy language for graph rewriting
- The Verigraph system for graph transformation
This page was built for software: GrGen
