ICGT

Keyphrases

Publications

2023

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

volume 13961, 2023

Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings ICGT 13961 (2023)

2022

volume 13349, 2022

Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings ICGT 13349 (2022)

2021

volume 12741, 2021

Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings ICGT 12741 (2021)

2020

volume 12150, 2020

Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings ICGT 12150 (2020)