GCM 2016
Electronic Pre-Proceedings
Mohammed Alabdullatif and Reiko Heckel.
Graph Transformation Games for Negotiating Features
Nadezhda Baklanova, Jon Haël Brenas, Amani Makhlouf, Christian Percebois, Martin Strecker and Hanh Nhi Tran.
Coding, Executing and Verifying Graph Transformations with small-tALCQe
Jan Steffen Becker.
An Automata-Theoretic Approach to Instance Generation
Andrea Corradini.
On the definition of parallel independence in the algebraic approaches to graph rewriting
Frank Drewes, Berthold Hoffmann and Mark Minas.
Approximating Parikh Images for Generating Deterministic Graph Parsers
Jamal Hussein, Vladimiro Sassone and Luc Moreau.
Template-Based Graph Transformation System for the PROV Data Model
Michael Löwe.
SPO-Rewriting of Constrained Partial Algebras
Marisa Navarro, Fernando Orejas, Elvira Pino and Leen Lambers.
A Logic of Graph Conditions Extended with Paths
Ivaylo Hristakiev and Detlef Plump.
Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem
Contact
Barbara König (
barbara_koenig@uni-due.de
)