Linked e-resources
Details
Table of Contents
[I]. Theory: Introducing symmetry to graph rewriting systems with process abstraction / Taichi Tomioka, Yutaro Tsunekawa, and Kazunori Ueda
Double-pushout rewriting in context : rule composition and parallel independence / Michael Löwe
Adhesive subcategories of Functor categories with instantiation to partial triple graphs / Jens Kosiol, Lars Fritsche, Andy Schürr, and Gabriele Taentzer
Extending predictive shift-reduce parsing to contextual hyperedge replacement grammars / Frank Drewes, Berthold Hoffmann, and Mark Minas.
[II]. Analysis and verification: Exploring conflict reasons for graph transformation systems / Leen Lambers, Jens Kosiol, Daniel Strüber, and Gabriele Taentzer
Unfolding graph grammars with negative application conditions / Andrea Corradini, Maryam Ghaffari Saadat, and Reiko Heckel
Two-level reasoning about graph transformation programs / Amani Makhlouf, Christian Percebois, and Hanh Nhi Tran.
[III]. Tools and applications: Incremental (unidirectional) model transformation with eMoflon::IBeX / Nils Weidmann, Anthony Anjorin, Patrick Robrecht, and Gergely Varró
Knowledge representation and update in hierarchies of graphs / Russ Harmer and Eugenia Oshurko
Relating DNA computing and splitting/fusion grammars / Hans-Jörg Kreowski, Sabine Kuske, and Aaron Lye.
[IV]. Transformation rules construction and matching: Constructing optimized validity-preserving application conditions for graph transformation rules / Nebras Nassar, Jens Kosiol, Thorsten Arendt, and Gabriele Taentzer
From pattern invocation networks to rule preconditions / Nils Weidmann, Anthony Anjorin, Florian Stolte, and Florian Kraus
Hybrid search plan generation for generalized graph pattern matching / Matthias Barkowsky and Holger Giese.
Double-pushout rewriting in context : rule composition and parallel independence / Michael Löwe
Adhesive subcategories of Functor categories with instantiation to partial triple graphs / Jens Kosiol, Lars Fritsche, Andy Schürr, and Gabriele Taentzer
Extending predictive shift-reduce parsing to contextual hyperedge replacement grammars / Frank Drewes, Berthold Hoffmann, and Mark Minas.
[II]. Analysis and verification: Exploring conflict reasons for graph transformation systems / Leen Lambers, Jens Kosiol, Daniel Strüber, and Gabriele Taentzer
Unfolding graph grammars with negative application conditions / Andrea Corradini, Maryam Ghaffari Saadat, and Reiko Heckel
Two-level reasoning about graph transformation programs / Amani Makhlouf, Christian Percebois, and Hanh Nhi Tran.
[III]. Tools and applications: Incremental (unidirectional) model transformation with eMoflon::IBeX / Nils Weidmann, Anthony Anjorin, Patrick Robrecht, and Gergely Varró
Knowledge representation and update in hierarchies of graphs / Russ Harmer and Eugenia Oshurko
Relating DNA computing and splitting/fusion grammars / Hans-Jörg Kreowski, Sabine Kuske, and Aaron Lye.
[IV]. Transformation rules construction and matching: Constructing optimized validity-preserving application conditions for graph transformation rules / Nebras Nassar, Jens Kosiol, Thorsten Arendt, and Gabriele Taentzer
From pattern invocation networks to rule preconditions / Nils Weidmann, Anthony Anjorin, Florian Stolte, and Florian Kraus
Hybrid search plan generation for generalized graph pattern matching / Matthias Barkowsky and Holger Giese.