default search action
12th ICGT 2019: Eindhoven, The Netherlands
- Esther Guerra, Fernando Orejas:
Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings. Lecture Notes in Computer Science 11629, Springer 2019, ISBN 978-3-030-23610-6
Theory
- Taichi Tomioka, Yutaro Tsunekawa, Kazunori Ueda:
Introducing Symmetry to Graph Rewriting Systems with Process Abstraction. 3-20 - Michael Löwe:
Double-Pushout Rewriting in Context - Rule Composition and Parallel Independence. 21-37 - Jens Kosiol, Lars Fritsche, Andy Schürr, Gabriele Taentzer:
Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs. 38-54 - Frank Drewes, Berthold Hoffmann, Mark Minas:
Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars. 55-72
Analysis and Verification
- Leen Lambers, Jens Kosiol, Daniel Strüber, Gabriele Taentzer:
Exploring Conflict Reasons for Graph Transformation Systems. 75-92 - Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel:
Unfolding Graph Grammars with Negative Application Conditions. 93-110 - Amani Makhlouf, Christian Percebois, Hanh Nhi Tran:
Two-Level Reasoning About Graph Transformation Programs. 111-127
Tools and Applications
- Nils Weidmann, Anthony Anjorin, Patrick Robrecht, Gergely Varró:
Incremental (Unidirectional) Model Transformation with eMoflon: : IBeX. 131-140 - Russ Harmer, Eugenia Oshurko:
Knowledge Representation and Update in Hierarchies of Graphs. 141-158 - Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
Relating DNA Computing and Splitting/Fusion Grammars. 159-174
Transformation Rules Construction and Matching
- Nebras Nassar, Jens Kosiol, Thorsten Arendt, Gabriele Taentzer:
Constructing Optimized Validity-Preserving Application Conditions for Graph Transformation Rules. 177-194 - Nils Weidmann, Anthony Anjorin, Florian Stolte, Florian Kraus:
From Pattern Invocation Networks to Rule Preconditions. 195-211 - Matthias Barkowsky, Holger Giese:
Hybrid Search Plan Generation for Generalized Graph Pattern Matching. 212-229
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.