Verifying Graph Programs with First-Order Logic

A Fast Graph Program for Computing Minimum Spanning Trees
Courtehoute, B. & Plump, D., 3 Dec 2020, Graph Computation Models (GCM 2020), Revised Selected Papers. p. 163-180 18 p. (Electronic Proceedings in Theoretical Computer Science; vol. 330).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Horizontal Gene Transfer for Recombining Graphs
Plump, D., Atkinson, T. & Stepney, S., 15 Jul 2020
Article in Genetic programming and evolvable machines
Confluence up to Garbage
Plump, D. & Campbell, G., 25 Jun 2020, Proceedings 13th International Conference on Graph Transformation (ICGT 2020). Gadducci, F. & Kehrer, T. (eds.). Springer, Vol. 12150. p. 20-37 18 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Preface to the Post-Proceedings of GCM 2019
Plump, D. & Echahed, R., Dec 2019
Article in Electronic Proceedings in Theoretical Computer Science
Linear-Time Graph Algorithms in GP 2
Campbell, G., Courtehoute, B. & Plump, D., 25 Nov 2019, Proceedings 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 16:1-16:23 (Leibniz International Proceedings in Informatics (LIPICS); vol. 139).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Author(s)

Title of host publication	Graph Computation Models (GCM 2020), Revised Selected Papers
Date	Accepted/In press - 5 Oct 2020
Date	Published (current) - 3 Dec 2020
Pages	181-200
Number of pages	20
Original language	English

Name	Electronic Proceedings in Theoretical Computer Science
Volume	330

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