Graph Transformation - Research Database, The University of York

A Small-Step Operational Semantics for GP 2
Courtehoute, B. & Plump, D., 21 Dec 2021, Graph Computation Models (GCM 2021), Revised Selected Papers. Hofmann, B. & Minas, M. (eds.). p. 89–110 22 p. (Electronic Proceedings in Theoretical Computer Science ; vol. 350).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Fast Rule-Based Graph Programs
Campbell, G., Courtehoute, B. & Plump, D., 28 Sep 2021, (E-pub ahead of print)
Article in Science of Computer Programming
Confluence up to garbage in graph transformation
Campbell, G. & Plump, D., 7 Sep 2021
Article in Theoretical Computer Science
Verifying Graph Programs with Monadic Second-Order Logic
Wulandari, G. & Plump, D., 18 Jun 2021, Proceedings 14th International Conference on Graph Transformation (ICGT 2021). Gadducci, F. & Kehrer, T. (eds.). Springer, p. 240-261 22 p. (Lecture Notes in Computer Science; vol. 12741).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Evolving Graphs with Semantic Neutral Drift
Plump, D., Atkinson, T. & Stepney, S., Mar 2021
Article in Natural Computing

Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

Research output: Book/Report › Book

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	10373

Find related publications, people, projects, datasets and more using interactive charts.