Similar Items: Termination of Graph Transformation Systems via Generalized Weighted Type Graphs
- Termination of Graph Transformation Systems Using Weighted Subgraph Counting
- Using weakest application conditions to rank graph transformations for graph repair
- A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
- Formalising the Double-Pushout Approach to Graph Transformation
- Time2Graph: Dual Embedding and Nested-Graph Transformation for Performance Enhancement in Time Series Classification
- Well-definedness of Streams by Transformation and Termination