Linked e-resources
Details
Table of Contents
Keynote
Complexity Is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering
Foundations
Sesqui-Pushout Rewriting with Type Refinements
Parallelism in AGREE Transformations
Model Checking Reconfigurable Petri Nets with Maude
Tools and Algorithms
A Software Package for Chemically Inspired Graph Transformation
A Tool Environment for Managing Families of Model Transformation Rules
Compiling Graph Programs to C
An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations.-Queries
Rete Network Slicing for Model Queries
An SQL-Based Query Language and Engine for Graph Pattern Matching
On the Operationalization of Graph Queries with Generalized Discrimination Networks
Applications
The Incremental Advantage: Evaluating the Performance of a TGG-based Visualisation Framework
Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions
Using Graph Transformation for Puzzle Game Level Generation and Validation
Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. .
Complexity Is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering
Foundations
Sesqui-Pushout Rewriting with Type Refinements
Parallelism in AGREE Transformations
Model Checking Reconfigurable Petri Nets with Maude
Tools and Algorithms
A Software Package for Chemically Inspired Graph Transformation
A Tool Environment for Managing Families of Model Transformation Rules
Compiling Graph Programs to C
An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations.-Queries
Rete Network Slicing for Model Queries
An SQL-Based Query Language and Engine for Graph Pattern Matching
On the Operationalization of Graph Queries with Generalized Discrimination Networks
Applications
The Incremental Advantage: Evaluating the Performance of a TGG-based Visualisation Framework
Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions
Using Graph Transformation for Puzzle Game Level Generation and Validation
Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. .