Abstract is missing.
- A Monoidal View on Fixpoint ChecksPaolo Baldan, Richard Eggert, Barbara König 0001, Timo Matt, Tommaso Padoan. 3-21 [doi]
- Specification and Verification of a Linear-Time Temporal Logic for Graph TransformationFabio Gadducci, Andrea Laretto, Davide Trotta. 22-42 [doi]
- Finding the Right Way to Rome: Effect-Oriented Graph TransformationJens Kosiol, Daniel Strüber 0001, Gabriele Taentzer, Steffen Zschaler. 43-63 [doi]
- Moving a Derivation Along a Derivation Preserves the SpineHans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst. 64-80 [doi]
- Termination of Graph Transformation Systems Using Weighted Subgraph CountingRoy Overbeek, Jörg Endrullis. 81-101 [doi]
- Fuzzy Presheaves are QuasitoposesAloïs Rosset, Roy Overbeek, Jörg Endrullis. 102-122 [doi]
- Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser TheoremRobert Söldner, Detlef Plump. 123-142 [doi]
- Formalisation, Abstraction and Refinement of Bond GraphsRichard Banach, John W. Baugh Jr.. 145-162 [doi]
- A Rule-Based Procedure for Graph Query SolvingDominique Duval, Rachid Echahed, Frédéric Prost. 163-183 [doi]
- Advanced Consistency Restoration with Higher-Order Short-Cut RulesLars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr. 184-203 [doi]
- Formalization and Analysis of BPMN Using Graph Transformation SystemsTim Kräuter, Adrian Rutle, Harald König, Yngve Lamo. 204-222 [doi]
- Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency AnalysisJannik Rau, David Richerby, Ansgar Scherp. 223-242 [doi]
- Dominant Eigenvalue-Eigenvector Pair Estimation via Graph InfectionKaiyuan Yang 0005, Li Xia, Y. C. Tay. 243-260 [doi]
- GT Language: A Functional Language with Graphs as First-Class DataJin Sano, Kazunori Ueda. 263-277 [doi]
- A Living Monograph for Graph TransformationNicolas Behr, Russ Harmer. 281-291 [doi]
- Graph Rewriting for Graph Neural NetworksAdam Machowczyk, Reiko Heckel. 292-301 [doi]