15th International Conference on Graph Transformation (ICGT 2022), Held as Part of STAF 2022 | www.gmachineinfo.com

会议文集

文集名	Graph Transformation
会议名	15th International Conference on Graph Transformation (ICGT 2022), Held as Part of STAF 2022
中译名	《第十五届国际图形转换会议》
机构	European Association for Theoretical Computer Science (EATCS)
会议日期	July 7-8, 2022
会议地点	Nantes, France
出版年	2022
馆藏号	344083

题名	作者	出版年
Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power	Frank Drewes; Berthold Hoffmann; Mark Minas	2022
Graph Rewriting Components	Reiko Heckel; Andrea Corradini; Fabio Gadducci	2022
Decidability of Resilience for Well-Structured Graph Transformation Systems	Okan Ozkan	2022
Probabilistic Metric Temporal Graph Logic	Sven Schneider; Maria Maximova; Holger Giese	2022
Categories of Differentiable Polynomial Circuits for Machine Learning	Paul Wilson; Fabio Zanasi	2022
A Generic Construction for Crossovers of Graph-Like Structures	Gabriele Taentzer; Stefan John; Jens Kosiol	2022
Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness	Matthias Barkowsky; Holger Giese	2022
Visual Smart Contracts for DAML	Reiko Heckel; Zobia Erum; Nitia Rahmi; Albert Pul	2022
Computational Category-Theoretic Rewriting	Kristopher Brown; Evan Patterson; Tyler Hanks; James Fairbanks	2022
Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction	Sven Schneider; Maria Maximova; Holger Giese	2022
Tool Support for Functional Graph Rewriting with Persistent Data Structures - GrapeVine	Jens H. Weber	2022