Theoretical Advances
- Nicolas Behr, Russ Harmer, and Jean Krivine. Concurrency Theorems for Non-Linear Rewriting Theories
- Jens Kosiol and Gabriele Taentzer. A Generalized Concurrent Rule Construction for Double-Pushout Rewriting
- Aron Lye. Transformations of Reaction Systems over Categories by means of Epi-Mono Factorization and Functors
- Roy Overbeek, Joerg Endrullis, and Aloïs Rosset. Graph Rewriting and Relabeling with PBPO+
- Christopher M. Poskitt. Incorrectness Logic for Graph Programs
- Tikhon Pshenitsyn. Powerful and NP-Complete: Hypergraph Lambek Grammars
- Sven Schneider and Leen Lambers. Evaluation Diversity for Graph Conditions
Application Domains
- Matthias Barkowsky and Holger Giese. Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching
- Frank Drewes, Berthold Hoffmann, and Mark Minas. Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars
- Fabrizio Genovese, Fosco Loregian, and Daniele Palombi. Nets with Mana: A Framework for Chemical Reaction Modelling
- Hans-Joerg Kreowski and Aaron Lye. A Case Study on the Graph-Transformational Modeling and Analysis of Puzzles
- Maria Maximova, Sven Schneider, and Holger Giese. Interval Probabilistic Timed Graph Transformation Systems
- Gia Wulandari and Detlef Plump. Verifying Graph Programs with Monadic Second-Order Logic
- Christian Zöllner, Matthias Barkowsky, Maria Maximova, and Holger Giese. On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems
Tool Presentations
- Ira Fesefeldt, Christoph Matheja, and Thomas Noll. Automated Detection and Completion of Confluence for Graph Grammars
- Jens Weber. GrapePress – A Computational Notebook for Graph Transformations