Cover Image
Read Now

81
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Using Graph Transformation -- Protocol Verification -- A Formal Semantics for SPKI -- Formal...”
Cover Image
Read Now

82
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Invited Talk -- Understanding UML — Pains and Rewards -- Graph Transformations -- A Formal...”
Cover Image
Read Now

83
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... with Active Libraries in C++ -- Automated Merging of Feature Models Using Graph Transformations -- Modelling...”
Cover Image
Read Now

84
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Modelling of Multi-agent Systems: The CAMLE Modelling Language and Automated Tools -- Using Graph...”
Cover Image
Read Now

85
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Ensuring Consistency Within Distributed Graph Transformation Systems -- Maintaining Consistency...”
Cover Image
Read Now

86
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... systems specified by graph transformation -- Reflections on the design of a specification language...”
Cover Image
Read Now

87
Published 2021
Springer International Publishing
Table of Contents: “... of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating...”
Cover Image
Read Now

88
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Admissible Graph Rewriting -- Refinements and Modules for Typed Graph Transformation Systems -- Complete...”
Cover Image
Read Now

89
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... for Metamodel Specification -- Defining Object-Oriented Execution Semantics Using Graph Transformations -- Type...”
Cover Image
Read Now

90
Published 1990
Springer Netherlands
Table of Contents: “... of Graphs -- ?-Transformations, Local Complementations and Switching -- Two Extremal Problems in Infinite...”
Cover Image
Read Now

91
by Malizia, Alessio
Published 2006
Springer London
Table of Contents: “... -- Scene Graph -- Transformations -- Nodes of the Scene Graph -- Camera Class -- Managing illumination...”
Cover Image
Read Now

92
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... of Stochastic Graph Transformation Systems -- Discovering Math APIs by Mining Unit Tests -- POGen: A Test Code...”
Cover Image
Read Now

93
Published 2019
Springer International Publishing
Table of Contents: “... Preserving Graph Transformation Rules -- Generation of Inductive Types from Ecore Metamodels -- Towards...”
Cover Image
Read Now

94
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... for Specifying Multiagent Software Systems -- Agent-Oriented Modeling with Graph Transformation -- Representing...”
Cover Image
Read Now

95
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... Techniques -- GTS Families for the Flexible Composition of Graph Transformation Systems -- Symbolic Model...”
Cover Image
Read Now

96
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... Simulations III: Quantitative Simulations by Matrices -- A General Framework for Well-Structured Graph...”
Cover Image
Read Now

97
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... on Transformations of Graphs -- Termination Analysis for Graph Transformation Systems -- Tropical Two-Way Automata...”
Cover Image
Read Now

98
Published 2024
Springer Nature Switzerland
Table of Contents: “... for Graph Transformation Systems -- Formal Specification of Trusted Execution Environment APIs -- Monitoring...”
Cover Image
Read Now

99
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... an Efficient Algorithm for Unfolding Petri Nets -- A Static Analysis Technique for Graph Transformation Systems...”
Cover Image
Read Now

100
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... to Select a Graph Node Given a Graph Labelling -- GMTE: A Tool for Graph Transformation and Exact/Inexact...”