ICGT B

17 papers

YearTitle / Authors
2023A Living Monograph for Graph Transformation.
Nicolas Behr, Russ Harmer
2023A Monoidal View on Fixpoint Checks.
Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan
2023A Rule-Based Procedure for Graph Query Solving.
Dominique Duval, Rachid Echahed, Frédéric Prost
2023Advanced Consistency Restoration with Higher-Order Short-Cut Rules.
Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr
2023Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis.
Jannik Rau, David Richerby, Ansgar Scherp
2023Dominant Eigenvalue-Eigenvector Pair Estimation via Graph Infection.
Kaiyuan Yang, Li Xia, Y. C. Tay
2023Finding the Right Way to Rome: Effect-Oriented Graph Transformation.
Jens Kosiol, Daniel Strüber, Gabriele Taentzer, Steffen Zschaler
2023Formalisation, Abstraction and Refinement of Bond Graphs.
Richard Banach, John W. Baugh Jr.
2023Formalization and Analysis of BPMN Using Graph Transformation Systems.
Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo
2023Fuzzy Presheaves are Quasitoposes.
Aloïs Rosset, Roy Overbeek, Jörg Endrullis
2023Graph Rewriting for Graph Neural Networks.
Adam Machowczyk, Reiko Heckel
2023Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings
Maribel Fernández, Christopher M. Poskitt
2023Implementing the λ
Jin Sano, Kazunori Ueda
2023Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem.
Robert Söldner, Detlef Plump
2023Moving a Derivation Along a Derivation Preserves the Spine.
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst
2023Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation.
Fabio Gadducci, Andrea Laretto, Davide Trotta
2023Termination of Graph Transformation Systems Using Weighted Subgraph Counting.
Roy Overbeek, Jörg Endrullis