ICGT 2022: 15TH INTERNATIONAL CONFERENCE ON GRAPH TRANSFORMATION

This page contains an index consisting of author-provided keywords.

A
Acyclicity	Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power
B
bounded backward model checking	Invariant Analysis for Multi Agent Graph Transformation Systems using k-Induction
bounded model checking	Probabilistic Metric Temporal Graph Logic
C
category theory	Categories of Differentiable Polynomial Circuits for Machine Learning Computational category theoretic rewriting A Generic Construction for Crossovers of Graph-like Structures
causality	Invariant Analysis for Multi Agent Graph Transformation Systems using k-Induction
components	Graph Rewriting Components
Conflict Detection	Towards Development with Multi-Version Models: Detecting Merge Conflicts and Checking Well-Formedness
Contextual hyperedge replacement	Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power
Crossover	A Generic Construction for Crossovers of Graph-like Structures
cyber-physical systems	Probabilistic Metric Temporal Graph Logic
D
Decidability	Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power
Digital Asset Modelling Language (DAML)	Visual Smart Contracts for DAML
distributed graph transformation	Graph Rewriting Components
Double pushout rewriting	Computational category theoretic rewriting
E
Evolutionary Computation	A Generic Construction for Crossovers of Graph-like Structures
F
fully-persistent data structures	Tool support for Fully-Persistent Graph Rewriting - GrapeVine
functional databases	Tool support for Fully-Persistent Graph Rewriting - GrapeVine
G
Generative power	Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power
Grape	Tool support for Fully-Persistent Graph Rewriting - GrapeVine
GrapeVine	Tool support for Fully-Persistent Graph Rewriting - GrapeVine
Graph grammar	Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power
graph transformation	Computational category theoretic rewriting Visual Smart Contracts for DAML Graph Rewriting Components
Graph transformation systems	Decidability of Resilience for Well-structured Graph Transformation Systems
graph transformation tool	Tool support for Fully-Persistent Graph Rewriting - GrapeVine
H
Hyperedge replacement	Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power
K
k-inductive invariant checking	Invariant Analysis for Multi Agent Graph Transformation Systems using k-Induction
M
machine learning	Categories of Differentiable Polynomial Circuits for Machine Learning
Model Versioning	Towards Development with Multi-Version Models: Detecting Merge Conflicts and Checking Well-Formedness
model-based development	Visual Smart Contracts for DAML
Model-driven optimization	A Generic Construction for Crossovers of Graph-like Structures
N
neural networks	Categories of Differentiable Polynomial Circuits for Machine Learning
P
parallel and sequential independence	Invariant Analysis for Multi Agent Graph Transformation Systems using k-Induction
polynomials	Categories of Differentiable Polynomial Circuits for Machine Learning
probabilistic timed systems	Probabilistic Metric Temporal Graph Logic
Q
qualitative analysis	Probabilistic Metric Temporal Graph Logic
quantitative analysis	Probabilistic Metric Temporal Graph Logic
R
Resilience	Decidability of Resilience for Well-structured Graph Transformation Systems
reverse derivatives	Categories of Differentiable Polynomial Circuits for Machine Learning
reverse differential categories	Categories of Differentiable Polynomial Circuits for Machine Learning
S
smart contracts	Visual Smart Contracts for DAML
Software	Computational category theoretic rewriting
string diagrams	Categories of Differentiable Polynomial Circuits for Machine Learning Graph Rewriting Components
symbolic analysis	Invariant Analysis for Multi Agent Graph Transformation Systems using k-Induction
U
UML	Visual Smart Contracts for DAML
V
visual contracts	Visual Smart Contracts for DAML
W
Well-Formedness	Towards Development with Multi-Version Models: Detecting Merge Conflicts and Checking Well-Formedness
Well-structured transition systems	Decidability of Resilience for Well-structured Graph Transformation Systems

Disclaimer | Powered by EasyChair Smart Program