Fundamentals of Algebraic Graph Transformation

By H. Ehrig, K. Ehrig, Ulrike Golas, G. Taentzer. Monographs in Theoretical Computer Science. An EATCS Series, 2006

1,160 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Interacting quantum observables: categorical algebra and diagrammatics (2009, methodology): “The notion of rewriting as formal mathematical tool has a long history in computer science (the text books [5] and [40] provide detailed references), and the zx-calculus introduced in this paper has indeed been implemented in a software tool [33, 34, 32].”
t|ket⟩: a retargetable compiler for NISQ devices (2020, background): “See Ehrig et al [56]. desired gate set; when external information is required the predicates are generated by higher-order functions.”
Bidirectional Transformations: A Cross-Discipline Perspective (2009, methodology): “by simply applying the involved rewrite rule with exchanged left- and righthand side [35].”
Henshin: advanced concepts and tools for in-place EMF model transformations (2010, background): “The Henshin transformation language is based on graph transformation concepts [11,12,13] and therefore offers a visual syntax and means for formal reasoning about transformations.”