↓ Skip to main content

Graph Transformations

Overview of attention for book
Cover of 'Graph Transformations'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A False History of True Concurrency: From Petri to Tools
  3. Altmetric Badge
    Chapter 2 How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?
  4. Altmetric Badge
    Chapter 3 Graph Transformation Units Guided by a SAT Solver
  5. Altmetric Badge
    Chapter 4 Delaying Constraint Solving in Symbolic Graph Transformation
  6. Altmetric Badge
    Chapter 5 A Dynamic Logic for Termgraph Rewriting
  7. Altmetric Badge
    Chapter 6 A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes
  8. Altmetric Badge
    Chapter 7 On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars
  9. Altmetric Badge
    Chapter 8 Verification of Graph Transformation Systems with Context-Free Specifications
  10. Altmetric Badge
    Chapter 9 Saturated LTSs for Adhesive Rewriting Systems
  11. Altmetric Badge
    Chapter 10 A Hoare Calculus for Graph Programs
  12. Altmetric Badge
    Chapter 11 Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
  13. Altmetric Badge
    Chapter 12 Conflict Detection for Model Versioning Based on Graph Modifications
  14. Altmetric Badge
    Chapter 13 A Component Concept for Typed Graphs with Inheritance and Containment Structures
  15. Altmetric Badge
    Chapter 14 Combining Termination Criteria by Isolating Deletion
  16. Altmetric Badge
    Chapter 15 Graph Rewriting in Span-Categories
  17. Altmetric Badge
    Chapter 16 Finitary $\mathcal{M}$ -Adhesive Categories
  18. Altmetric Badge
    Chapter 17 Hereditary Pushouts Reconsidered
  19. Altmetric Badge
    Chapter 18 Graph Transformation for Domain-Specific Discrete Event Time Simulation
  20. Altmetric Badge
    Chapter 19 Counterpart Semantics for a Second-Order μ -Calculus
  21. Altmetric Badge
    Chapter 20 Declarative Mesh Subdivision Using Topological Rewriting in MGS
  22. Altmetric Badge
    Chapter 21 A Model for Distribution and Revocation of Certificates
  23. Altmetric Badge
    Chapter 22 Local Confluence for Rules with Nested Application Conditions
  24. Altmetric Badge
    Chapter 23 Multi-Amalgamation in Adhesive Categories
  25. Altmetric Badge
    Chapter 24 Amalgamating Pushout and Pullback Graph Transformation in Collagories
  26. Altmetric Badge
    Chapter 25 ICGT 2010 Doctoral Symposium
  27. Altmetric Badge
    Chapter 26 EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment
  28. Altmetric Badge
    Chapter 27 Recognizable Graph Languages for the Verification of Dynamic Systems
  29. Altmetric Badge
    Chapter 28 Stochastic Modelling and Simulation of Dynamic Resource Allocation
  30. Altmetric Badge
    Chapter 29 Bisimulation Theory for Graph Transformation Systems
  31. Altmetric Badge
    Chapter 30 Realizing Impure Functions in Interaction Nets
  32. Altmetric Badge
    Chapter 31 Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures
  33. Altmetric Badge
    Chapter 32 Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems
  34. Altmetric Badge
    Chapter 33 LTS Semantics for Process Calculi from Their Graphical Encodings
  35. Altmetric Badge
    Chapter 34 Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems
  36. Altmetric Badge
    Chapter 35 Correctness of Graph Programs Relative to HR  +  Conditions
  37. Altmetric Badge
    Chapter 36 Static Type Checking of Model Transformation Programs
  38. Altmetric Badge
    Chapter 37 Using Graph Transformations and Graph Abstractions for Software Verification
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
46 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Graph Transformations
Published by
ADS, September 2010
DOI 10.1007/978-3-642-15928-2
ISBNs
978-3-64-215927-5, 978-3-64-215928-2
Editors

Ehrig, Hartmut, Rensink, Arend, Rozenberg, Grzegorz, Schürr, Andy

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 46 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 46 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 2 4%
Unknown 44 96%
Readers by discipline Count As %
Computer Science 2 4%
Unknown 44 96%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 3. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 30 April 2019.
All research outputs
#7,553,524
of 23,041,514 outputs
Outputs from ADS
#9,313
of 37,451 outputs
Outputs of similar age
#34,973
of 97,576 outputs
Outputs of similar age from ADS
#139
of 402 outputs
Altmetric has tracked 23,041,514 research outputs across all sources so far. This one is in the 44th percentile – i.e., 44% of other outputs scored the same or lower than it.
So far Altmetric has tracked 37,451 research outputs from this source. They receive a mean Attention Score of 4.6. This one is in the 29th percentile – i.e., 29% of its peers scored the same or lower than it.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 97,576 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 24th percentile – i.e., 24% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 402 others from the same source and published within six weeks on either side of this one. This one is in the 19th percentile – i.e., 19% of its contemporaries scored the same or lower than it.