Volume 61: Graph Computation Models 2012

DOI: http://dx.doi.org/10.14279/tuj.eceasst.61

Table of Contents

Preface

Graph Computation Models 2012
Rachid Echahed, Annegret Habel, Mohamed Mosbah
PDF

Articles

Derivation Languages of Graph Grammars
Nils Erik Flick
PDF
Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping
Florian Mantz, Gabriele Taentzer, Yngve Lamo
PDF
A Graph Transformational View on Reductions in NP
Marcus Ermler, Sabine Kuske, Melanie Luderer, Caroline von Totth
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
Verifying Total Correctness of Graph Programs
Christopher M. Poskitt, Detlef Plump
PDF
HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas
Hendrik Radke
PDF
Graph Rewriting with Contextual Refinement
Berthold Hoffmann
PDF
Big Red: A Development Environment for Bigraphs
Alexander John Faithfull, Gian Perrone, Thomas T. Hildebrandt
PDF
XL4C4D - Adding the Graph Transformation Language XL to CINEMA 4D
Ole Kniemeyer, Winfried Kurth
PDF