Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B C D E F G H J K M P R S T W Z Ö

B
Barkowsky, Matthias	Towards Development with Multi-Version Models: Detecting Merge Conflicts and Checking Well-Formedness
Brown, Kristopher	Computational category theoretic rewriting
C
Corradini, Andrea	Graph Rewriting Components
D
Doczkal, Christian	Graph Theory in Coq : Axiomatizing Isomorphism of Treewidth-Two Graphs (Invited Talk)
Drewes, Frank	Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power
E
Erum, Zobia	Visual Smart Contracts for DAML
F
Fairbanks, James	Computational category theoretic rewriting
G
Gadducci, Fabio	Graph Rewriting Components
Giese, Holger	Towards Development with Multi-Version Models: Detecting Merge Conflicts and Checking Well-Formedness Probabilistic Metric Temporal Graph Logic Invariant Analysis for Multi Agent Graph Transformation Systems using k-Induction
H
Hanks, Tyler	Computational category theoretic rewriting
Heckel, Reiko	Visual Smart Contracts for DAML Graph Rewriting Components
Hoffmann, Berthold	Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power
J
John, Stefan	A Generic Construction for Crossovers of Graph-like Structures
K
Kosiol, Jens	A Generic Construction for Crossovers of Graph-like Structures
M
Maximova, Maria	Probabilistic Metric Temporal Graph Logic Invariant Analysis for Multi Agent Graph Transformation Systems using k-Induction
Minas, Mark	Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power
P
Patterson, Evan	Computational category theoretic rewriting
Pul, Albert	Visual Smart Contracts for DAML
R
Rahmi, Nitia	Visual Smart Contracts for DAML
S
Schneider, Sven	Probabilistic Metric Temporal Graph Logic Invariant Analysis for Multi Agent Graph Transformation Systems using k-Induction
T
Taentzer, Gabriele	A Generic Construction for Crossovers of Graph-like Structures
W
Weber, Jens	Tool support for Fully-Persistent Graph Rewriting - GrapeVine
Wilson, Paul	Categories of Differentiable Polynomial Circuits for Machine Learning
Z
Zanasi, Fabio	Categories of Differentiable Polynomial Circuits for Machine Learning
Ö
Özkan, Okan	Decidability of Resilience for Well-structured Graph Transformation Systems