GCM@STAF

Keyphrases

Publications

2021

volume 350, 2021

Proceedings Twelfth International Workshop on Graph Computational Models, GCM@STAF 2021, Online, 22nd June 2021. GCM@STAF 350 (2021)

2020

Hans-Jörg Kreowski, Aaron Lye
Graph Surfing in Reaction Systems from a Categorial Perspective. GCM@STAF (2020)
Gia S. Wulandari, Detlef Plump
Verifying Graph Programs with First-Order Logic. GCM@STAF (2020)
Christian Sandmann
Graph Repair and its Application to Meta-Modeling. GCM@STAF (2020)
Tikhon Pshenitsyn
Weak Greibach Normal Form for Hyperedge Replacement Grammars. GCM@STAF (2020)
Brian Courtehoute, Detlef Plump
A Fast Graph Program for Computing Minimum Spanning Trees. GCM@STAF (2020)
Nils Weidmann, Anthony Anjorin, James Cheney
VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems. GCM@STAF (2020)
Nicolas Behr, Maryam Ghaffari Saadat, Reiko Heckel
Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3. GCM@STAF (2020)
Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel
Encoding Incremental NACs in Safe Graph Grammars using Complementation. GCM@STAF (2020)
Dominique Duval, Rachid Echahed, Frédéric Prost
An Algebraic Graph Transformation Approach for RDF and SPARQL. GCM@STAF (2020)
Okan Özkan
Modeling Adverse Conditions in the Framework of Graph Transformation Systems. GCM@STAF (2020)
Russ Harmer, Eugenia Oshurko
Reversibility and Composition of Rewriting in Hierarchies. GCM@STAF (2020)

volume 330, 2020

Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020, Online-Workshop, 24th June 2020. GCM@STAF 330 (2020)

2019

volume 309, 2019

Proceedings Tenth International Workshop on Graph Computation Models, GCM@STAF 2019, Eindhoven, The Netherlands, 17th July 2019. GCM@STAF 309 (2019)