Graph Transformation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319405292, 9783319405308
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Compiling Graph Programs to C

2016 ◽  
pp. 102-117 ◽  
Author(s):  
Christopher Bak ◽  
Detlef Plump

Model Checking Reconfigurable Petri Nets with Maude

2016 ◽  
pp. 54-70 ◽  
Author(s):  
Julia Padberg ◽  
Alexander Schulz
Keyword(s):  
Model Checking ◽  
Petri Nets

A Tool Environment for Managing Families of Model Transformation Rules

2016 ◽  
pp. 89-101 ◽  
Author(s):  
Daniel Strüber ◽  
Stefan Schulz
Keyword(s):  
Model Transformation ◽  
Transformation Rules

Using Graph Transformation for Puzzle Game Level Generation and Validation

2016 ◽  
pp. 223-235 ◽  
Author(s):  
David Priemer ◽  
Tobias George ◽  
Marcel Hahn ◽  
Lennert Raesch ◽  
Albert Zündorf
Keyword(s):  
Graph Transformation

Sesqui-Pushout Rewriting with Type Refinements

2016 ◽  
pp. 21-36
Author(s):  
Michael Löwe

scholarly journals A Software Package for Chemically Inspired Graph Transformation

2016 ◽  
pp. 73-88 ◽  
Author(s):  
Jakob L. Andersen ◽  
Christoph Flamm ◽  
Daniel Merkle ◽  
Peter F. Stadler
Keyword(s):  
Software Package ◽  
Graph Transformation

scholarly journals Parallelism in AGREE Transformations

2016 ◽  
pp. 37-53 ◽  
Author(s):  
Andrea Corradini ◽  
Dominique Duval ◽  
Frederic Prost ◽  
Leila Ribeiro
Load More ...
Sign in / Sign up

Export Citation Format

Share Document