Login / Signup
ICGT
2002
2007
2017
2024
2002
2024
Keyphrases
Publications
2024
Christopher Stone
,
András Z. Salamon
,
Ian Miguel
A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models.
ICGT
(2024)
Stefania Dumbrava
,
Zhao Jin
,
Burcu Kulahcioglu Ozkan
,
Jingxuan Qiu
Checking Transaction Isolation Violations Using Graph Queries.
ICGT
(2024)
Jörg Endrullis
,
Roy Overbeek
Generalized Weighted Type Graphs for Termination of Graph Transformation Systems.
ICGT
(2024)
Matthias Barkowsky
,
Holger Giese
Localized RETE for Incremental Graph Queries.
ICGT
(2024)
Hans-Jörg Kreowski
,
Aaron Lye
,
Aljoscha Windhorst
Extension and Restriction of Derivations in Adhesive Categories.
ICGT
(2024)
Ziad Ismaili Alaoui
,
Detlef Plump
Linear-Time Graph Programs for Unbounded-Degree Graphs.
ICGT
(2024)
Lars Fritsche
,
Alexander Lauer
,
Andy Schürr
,
Gabriele Taentzer
Using Application Conditions to Rank Graph Transformations for Graph Repair.
ICGT
(2024)
Blair Archibald
,
Michele Sevegnani
A Bigraphs Paper of Sorts.
ICGT
(2024)
Richard Banach
,
John W. Baugh Jr.
The 'Causality' Quagmire for Formalised Bond Graphs.
ICGT
(2024)
Luidnel Maignan
,
Antoine Spicher
Causal Graph Dynamics and Kan Extensions.
ICGT
(2024)
Mustafa Ghani
,
Sven Schneider
,
Maria Maximova
,
Holger Giese
Deriving Delay-Robust Timed Graph Transformation System Models.
ICGT
(2024)
Leen Lambers
,
Lucas Sakizloglou
,
Osama Al-Wardi
,
Taisiya Khakharova
Taint Analysis for Graph APIs Focusing on Broken Access Control.
ICGT
(2024)
Reiko Heckel
,
Issam Al-Azzoni
Can I Teach Graph Rewriting to My Chatbot?
ICGT
(2024)
volume 14774, 2024
Graph Transformation - 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings
ICGT
14774 (2024)
2023
Tim Kräuter
,
Adrian Rutle
,
Harald König
,
Yngve Lamo
Formalization and Analysis of BPMN Using Graph Transformation Systems.
ICGT
(2023)
Paolo Baldan
,
Richard Eggert
,
Barbara König
,
Timo Matt
,
Tommaso Padoan
A Monoidal View on Fixpoint Checks.
ICGT
(2023)
Richard Banach
,
John W. Baugh Jr.
Formalisation, Abstraction and Refinement of Bond Graphs.
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)
Nicolas Behr
,
Russ Harmer
A Living Monograph for Graph Transformation.
ICGT
(2023)
Adam Machowczyk
,
Reiko Heckel
Graph Rewriting for Graph Neural Networks.
ICGT
(2023)
Fabio Gadducci
,
Andrea Laretto
,
Davide Trotta
Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation.
ICGT
(2023)
Roy Overbeek
,
Jörg Endrullis
Termination of Graph Transformation Systems Using Weighted Subgraph Counting.
ICGT
(2023)
Robert Söldner
,
Detlef Plump
Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem.
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)
Jin Sano
,
Kazunori Ueda
Language: A Functional Language with Graphs as First-Class Data.
ICGT
(2023)
Jens Kosiol
,
Daniel Strüber
,
Gabriele Taentzer
,
Steffen Zschaler
Finding the Right Way to Rome: Effect-Oriented Graph Transformation.
ICGT
(2023)
Hans-Jörg Kreowski
,
Sabine Kuske
,
Aaron Lye
,
Aljoscha Windhorst
Moving a Derivation Along a Derivation Preserves the Spine.
ICGT
(2023)
Kaiyuan Yang
,
Li Xia
,
Y. C. Tay
Dominant Eigenvalue-Eigenvector Pair Estimation via Graph Infection.
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
Reiko Heckel
,
Andrea Corradini
,
Fabio Gadducci
Graph Rewriting Components.
ICGT
(2022)
Sven Schneider
,
Maria Maximova
,
Holger Giese
Probabilistic Metric Temporal Graph Logic.
ICGT
(2022)
Okan Özkan
Decidability of Resilience for Well-Structured Graph Transformation Systems.
ICGT
(2022)
Paul W. Wilson
,
Fabio Zanasi
Categories of Differentiable Polynomial Circuits for Machine Learning.
ICGT
(2022)
Jens H. Weber
Tool Support for Functional Graph Rewriting with Persistent Data Structures - GrapeVine.
ICGT
(2022)
Matthias Barkowsky
,
Holger Giese
Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness.
ICGT
(2022)
Gabriele Taentzer
,
Stefan John
,
Jens Kosiol
A Generic Construction for Crossovers of Graph-Like Structures.
ICGT
(2022)
Kristopher Brown
,
Evan Patterson
,
Tyler Hanks
,
James P. Fairbanks
Computational Category-Theoretic Rewriting.
ICGT
(2022)
Reiko Heckel
,
Zobia Erum
,
Nitia Rahmi
,
Albert Pul
Visual Smart Contracts for DAML.
ICGT
(2022)
Frank Drewes
,
Berthold Hoffmann
,
Mark Minas
Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power.
ICGT
(2022)
Sven Schneider
,
Maria Maximova
,
Holger Giese
Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction.
ICGT
(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
Christopher M. Poskitt
Incorrectness Logic for Graph Programs.
ICGT
(2021)
Nicolas Behr
,
Russ Harmer
,
Jean Krivine
Concurrency Theorems for Non-linear Rewriting Theories.
ICGT
(2021)
Christian Zöllner
,
Matthias Barkowsky
,
Maria Maximova
,
Holger Giese
On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems.
ICGT
(2021)
Ira Fesefeldt
,
Christoph Matheja
,
Thomas Noll
,
Johannes Schulte
Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars.
ICGT
(2021)
Fabrizio Romano Genovese
,
Fosco Loregiàn
,
Daniele Palombi
Nets with Mana: A Framework for Chemical Reaction Modelling.
ICGT
(2021)
Sven Schneider
,
Leen Lambers
Evaluation Diversity for Graph Conditions.
ICGT
(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)