Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
Current
Archives
Author Templates
About
About the Journal
Submissions
Editorial Team
Privacy Statement
Accessiblity Statement
Contact
Search
Register
Login
Home
/
Archives
/
Vol. 61 (2013): Graph Computation Models 2012
Vol. 61 (2013): Graph Computation Models 2012
DOI:
https://doi.org/10.14279/tuj.eceasst.61
Published:
2013-06-26
Articles
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
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
Preface
Graph Computation Models 2012
Rachid Echahed, Annegret Habel, Mohamed Mosbah
PDF
Information
For Readers
For Authors
For Librarians
Usage Statistics Information
We log anonymous usage statistics. Please read the
privacy information
for details.