↓ Skip to main content

Graph Transformation

Overview of attention for book
Graph Transformation
Springer International Publishing

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Conditional Bigraphs
  3. Altmetric Badge
    Chapter 2 Confluence up to Garbage
  4. Altmetric Badge
    Chapter 3 Computing Embeddings of Directed Bigraphs
  5. Altmetric Badge
    Chapter 4 A Categorical Semantics for Guarded Petri Nets
  6. Altmetric Badge
    Chapter 4 A Categorical Semantics for Guarded Petri Nets
  7. Altmetric Badge
    Chapter 5 Unfolding Symbolic Attributed Graph Grammars
  8. Altmetric Badge
    Chapter 6 Single Pushout Rewriting in Comprehensive Systems
  9. Altmetric Badge
    Chapter 7 Initial Conflicts for Transformation Rules with Nested Application Conditions
  10. Altmetric Badge
    Chapter 8 Patch Graph Rewriting
  11. Altmetric Badge
    Chapter 9 Hypergraph Basic Categorial Grammars
  12. Altmetric Badge
    Chapter 10 Multilevel Typed Graph Transformations
  13. Altmetric Badge
    Chapter 11 Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
  14. Altmetric Badge
    Chapter 12 Algebras for Tree Decomposable Graphs
  15. Altmetric Badge
    Chapter 13 Graph Parsing as Graph Transformation
  16. Altmetric Badge
    Chapter 14 Graph Consistency as a Graduated Property
  17. Altmetric Badge
    Chapter 15 Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions
  18. Altmetric Badge
    Chapter 16 Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic
  19. Altmetric Badge
    Chapter 17 A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java
  20. Altmetric Badge
    Chapter 18 Multiscale Graph Grammars Can Generate Cayley Graphs of Groups and Monoids
  21. Altmetric Badge
    Chapter 19 The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants
  22. Altmetric Badge
    Chapter 20 A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies
Attention for Chapter 19: The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
13 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.
Chapter title
The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants
Chapter number 19
Book title
Graph Transformation
Published by
Springer, Cham, June 2020
DOI 10.1007/978-3-030-51372-6_19
Book ISBNs
978-3-03-051371-9, 978-3-03-051372-6
Authors

Ciaran McCreesh, Patrick Prosser, James Trimble, McCreesh, Ciaran, Prosser, Patrick, Trimble, James

Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 13 100%

Demographic breakdown

Readers by professional status Count As %
Unspecified 2 15%
Other 1 8%
Student > Doctoral Student 1 8%
Student > Bachelor 1 8%
Student > Ph. D. Student 1 8%
Other 4 31%
Unknown 3 23%
Readers by discipline Count As %
Computer Science 5 38%
Unspecified 2 15%
Engineering 1 8%
Unknown 5 38%