Abstract is missing.
- Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative PowerFrank Drewes, Berthold Hoffmann, Mark Minas. 3-19 [doi]
- Graph Rewriting ComponentsReiko Heckel, Andrea Corradini 0001, Fabio Gadducci. 20-37 [doi]
- Decidability of Resilience for Well-Structured Graph Transformation SystemsOkan Özkan. 38-57 [doi]
- Probabilistic Metric Temporal Graph LogicSven Schneider 0001, Maria Maximova, Holger Giese. 58-76 [doi]
- Categories of Differentiable Polynomial Circuits for Machine LearningPaul W. Wilson 0002, Fabio Zanasi. 77-93 [doi]
- A Generic Construction for Crossovers of Graph-Like StructuresGabriele Taentzer, Stefan John 0001, Jens Kosiol. 97-117 [doi]
- Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-FormednessMatthias Barkowsky, Holger Giese. 118-136 [doi]
- Visual Smart Contracts for DAMLReiko Heckel, Zobia Erum, Nitia Rahmi, Albert Pul. 137-154 [doi]
- Computational Category-Theoretic RewritingKristopher Brown, Evan Patterson, Tyler Hanks, James P. Fairbanks. 155-172 [doi]
- Invariant Analysis for Multi-agent Graph Transformation Systems Using k-InductionSven Schneider 0001, Maria Maximova, Holger Giese. 173-192 [doi]
- Tool Support for Functional Graph Rewriting with Persistent Data Structures - GrapeVineJens H. Weber. 195-206 [doi]