ICGT B

12 papers

YearTitle / Authors
2022A Generic Construction for Crossovers of Graph-Like Structures.
Gabriele Taentzer, Stefan John, Jens Kosiol
2022Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power.
Frank Drewes, Berthold Hoffmann, Mark Minas
2022Categories of Differentiable Polynomial Circuits for Machine Learning.
Paul W. Wilson, Fabio Zanasi
2022Computational Category-Theoretic Rewriting.
Kristopher Brown, Evan Patterson, Tyler Hanks, James P. Fairbanks
2022Decidability of Resilience for Well-Structured Graph Transformation Systems.
Okan Özkan
2022Graph Rewriting Components.
Reiko Heckel, Andrea Corradini, Fabio Gadducci
2022Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings
Nicolas Behr, Daniel Strüber
2022Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction.
Sven Schneider, Maria Maximova, Holger Giese
2022Probabilistic Metric Temporal Graph Logic.
Sven Schneider, Maria Maximova, Holger Giese
2022Tool Support for Functional Graph Rewriting with Persistent Data Structures - GrapeVine.
Jens H. Weber
2022Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness.
Matthias Barkowsky, Holger Giese
2022Visual Smart Contracts for DAML.
Reiko Heckel, Zobia Erum, Nitia Rahmi, Albert Pul