Abstract is missing.
- Polymorphic Sesqui-Pushout Graph RewritingMichael Löwe. 3-18 [doi]
- Predictive Top-Down Parsing for Hyperedge Replacement GrammarsFrank Drewes, Berthold Hoffmann, Mark Minas. 19-34 [doi]
- AGREE - Algebraic Graph Rewriting with Controlled EmbeddingAndrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro. 35-51 [doi]
- Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over SemiringsH. J. Sander Bruggink, Barbara König 0001, Dennis Nolte, Hans Zantema. 52-68 [doi]
- Towards Local Confluence Analysis for Amalgamated Graph TransformationGabriele Taentzer, Ulrike Golas. 69-86 [doi]
- Multi-amalgamated Triple Graph GrammarsErhan Leblebici, Anthony Anjorin, Andy Schürr, Gabriele Taentzer. 87-103 [doi]
- Reconfigurable Petri Nets with Transition Priorities and Inhibitor ArcsJulia Padberg. 104-120 [doi]
- Reachability in Graph Transformation Systems and Slice LanguagesMateus de Oliveira Oliveira. 121-137 [doi]
- Equational Reasoning with Context-Free Families of String DiagramsAleks Kissinger, Vladimir Zamdzhiev. 138-154 [doi]
- Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set OperationsHendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer. 155-170 [doi]
- Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation SystemsRodrigo Machado, Leila Ribeiro, Reiko Heckel. 171-186 [doi]
- Graph Pattern Matching as an Embedded Clojure DSLTassilo Horn. 189-204 [doi]
- Using Graph Transformations for Formalizing Prescriptions and Monitoring AdherenceJens H. Weber, Simon Diemert, Morgan Price. 205-220 [doi]
- Towards Compliance Verification Between Global and Local Process ModelsPieter M. Kwantes, Pieter Van Gorp, Jetty Kleijn, Arend Rensink. 221-236 [doi]
- Inductive Invariant Checking with Partial Negative Application Conditions Johannes Dyck, Holger Giese. 237-253 [doi]
- Tool Support for Multi-amalgamated Triple Graph GrammarsErhan Leblebici, Anthony Anjorin, Andy Schürr. 257-265 [doi]
- Uncover: Using Coverability Analysis for Verifying Graph Transformation SystemsJan Stückrath. 266-274 [doi]
- Local Search-Based Pattern Matching Features in EMF-IncQueryMárton Búr, Zoltán Ujhelyi, Ákos Horváth, Dániel Varró. 275-282 [doi]