Vol. 61 (2013): Graph Computation Models 2012

DOI: https://doi.org/10.14279/tuj.eceasst.61

Published: 2013-06-26

Preface

Graph Computation Models 2012

Rachid Echahed, Annegret Habel, Mohamed Mosbah
- PDF

Articles

Graph Rewriting with Contextual Refinement

Berthold Hoffmann
- PDF
Verifying Total Correctness of Graph Programs

Christopher Poskitt, Detlef Plump
- PDF
A Graph Transformational View on Reductions in NP

Marcus Ermler, Sabine Kuske, Melanie Luderer, Caroline von Totth
- PDF
Derivation Languages of Graph Grammars

Nils Erik Flick
- PDF
Big Red: A Development Environment for Bigraphs

Alexander Faithfull, Gian Perrone, Thomas Hildebrandt
- PDF
HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas

Hendrik Radke
- PDF
Parallel Graph Grammars with Instantiation Rules Allow Efficient Structural Factorization of Virtual Vegetation

Katarína Smoleňová, Winfried Kurth, Paul-Henry Cournède
- PDF
Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping

Florian Mantz, Gabriele Taentzer, Yngve Lamo
- PDF
XL4C4D - Adding the Graph Transformation Language XL to CINEMA 4D

Ole Kniemeyer, Winfried Kurth
- PDF