Cover Image
Read Now

1
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...Categorical Foundations of Distributed Graph Transformation -- Dynamic Graph Transformation Systems...”
Cover Image
Read Now

2
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation -- 15 Years...”
Cover Image
Read Now

3
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl -- Graph...”
Cover Image
Read Now

4
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Relational Growth Grammars – A Parallel Graph Transformation Approach with Applications in Biology...”
Cover Image
Read Now

5
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Graph Transformation -- On the Concurrent Semantics of Algebraic Graph Grammars -- From Graph...”
Cover Image
Read Now

6
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts...”
Cover Image
Read Now

7
Published 2016
Springer International Publishing
Table of Contents: “... Symbolic Verification of Graph Transformations with Off-The-Shelf Hardware Model Checkers -- Testing-Based...”
Cover Image
Read Now

8
Published 2016
Springer International Publishing
Table of Contents: “... technology -- Testing and formal analysis -- Graph transformations and model transformations -- Model driven...”
Cover Image
Read Now

9
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Nondeterministic Trajectories -- Binary Patterns in Infinite Binary Words -- Graph Transformations -- A Sight...”
Cover Image
Read Now

10
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... Graph Transformations in the Bulk Synchronous Parallel Model -- Modularizing Triple Graph Grammars Using...”
Cover Image
Read Now

11
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Contributed Papers -- A Temporal Graph Logic for Verification of Graph Transformation Systems...”
Cover Image
Read Now

12
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Synthesis of OCL Pre-conditions for Graph Transformation Rules -- From State- to Delta-Based Bidirectional...”
Cover Image
Read Now

13
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Modelling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation -- Giving Life to Agent...”
Cover Image
Read Now

14
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... -- Constraint-Based Model Weaving -- MATA: A Unified Approach for Composing UML Aspect Models Based on Graph...”
Cover Image
Read Now

15
Published 2023
Springer Berlin Heidelberg
Table of Contents: “...-constrained Extractive Question Answering with Heterogeneous Graph Transformer -- FAPFID: A Fairness-aware...”
Cover Image
Read Now

16
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Successfully While Being Conservative -- Confluence of Graph Transformation Revisited -- Compositional...”
Cover Image
Read Now

17
Published 2020
Springer International Publishing
Table of Contents: “...The Road Ahead for Supervisor Synthesis -- Reentrancy? Yes. Reentrancy bug? No -- Graph...”
Cover Image
Read Now

18
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Symbolic Equivalences for Open Systems -- Specifying and Verifying UML Activity Diagrams Via Graph...”
Cover Image
Read Now

19
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Pushout Approach to Term-Graph Transformation -- An Explicit Framework for Interaction Nets -- Dual...”
Cover Image
Read Now

20
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Operator for Graph Transformation -- Pattern-Based Model-to-Model Transformation: Handling Attribute...”