Karsai, Gabor
-
Volume 4: Graph and Model Transformation 2006 - Articles
Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations
Abstract PDF -
Volume 4: Graph and Model Transformation 2006 - Preface
Preface to GraMoT 2006 Workshop Proceedings
Details PDF -
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 - Articles
A Subgraph Operator for Graph Transformation Languages
Abstract PDF -
Volume 1: Graph Based Tools 2006 - Articles
The Graph Rewriting and Transformation Language: GReAT
Abstract PDF -
Volume 25: Visual Formalisms for Patterns 2009 - Articles
An Active Pattern Infrastructure for Domain-Specific Languages
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.