Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation
Article in Ecological Informatics (July 2023)
The most recent citing publication is shown below. View this citation on Dimensions.
Graph Transformation
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power
-
Altmetric BadgeChapter 2 Graph Rewriting Components
-
Altmetric BadgeChapter 3 Decidability of Resilience for Well-Structured Graph Transformation Systems
-
Altmetric BadgeChapter 4 Probabilistic Metric Temporal Graph Logic
-
Altmetric BadgeChapter 5 Categories of Differentiable Polynomial Circuits for Machine Learning
-
Altmetric BadgeChapter 6 A Generic Construction for Crossovers of Graph-Like Structures
-
Altmetric BadgeChapter 7 Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness
-
Altmetric BadgeChapter 8 Visual Smart Contracts for DAML
-
Altmetric BadgeChapter 9 Computational Category-Theoretic Rewriting
-
Altmetric BadgeChapter 10 Invariant Analysis for Multi-agent Graph Transformation Systems Using k -Induction
-
Altmetric BadgeChapter 11 Tool Support for Functional Graph Rewriting with Persistent Data Structures - GrapeVine
Attention for Chapter 10:
Invariant Analysis for Multi-agent Graph Transformation Systems Using k -Induction