ICGT B

14 papers

YearTitle / Authors
2024A Bigraphs Paper of Sorts.
Blair Archibald, Michele Sevegnani
2024A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models.
Christopher Stone, András Z. Salamon, Ian Miguel
2024Can I Teach Graph Rewriting to My Chatbot?
Reiko Heckel, Issam Al-Azzoni
2024Causal Graph Dynamics and Kan Extensions.
Luidnel Maignan, Antoine Spicher
2024Checking Transaction Isolation Violations Using Graph Queries.
Stefania Dumbrava, Zhao Jin, Burcu Kulahcioglu Ozkan, Jingxuan Qiu
2024Deriving Delay-Robust Timed Graph Transformation System Models.
Mustafa Ghani, Sven Schneider, Maria Maximova, Holger Giese
2024Extension and Restriction of Derivations in Adhesive Categories.
Hans-Jörg Kreowski, Aaron Lye, Aljoscha Windhorst
2024Generalized Weighted Type Graphs for Termination of Graph Transformation Systems.
Jörg Endrullis, Roy Overbeek
2024Graph Transformation - 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings
Russ Harmer, Jens Kosiol
2024Linear-Time Graph Programs for Unbounded-Degree Graphs.
Ziad Ismaili Alaoui, Detlef Plump
2024Localized RETE for Incremental Graph Queries.
Matthias Barkowsky, Holger Giese
2024Taint Analysis for Graph APIs Focusing on Broken Access Control.
Leen Lambers, Lucas Sakizloglou, Osama Al-Wardi, Taisiya Khakharova
2024The 'Causality' Quagmire for Formalised Bond Graphs.
Richard Banach, John W. Baugh Jr.
2024Using Application Conditions to Rank Graph Transformations for Graph Repair.
Lars Fritsche, Alexander Lauer, Andy Schürr, Gabriele Taentzer