Peer-Reviewed Papers in Journals, Conference and Workshop Proceedings, and Collections

• Z. I. Alaoui and D. Plump
  Linear-Time Graph Programs without Preconditions
  Proc. 15th International Workshop on Graph Computation Models (GCM 2024). Electronic Proceedings in Theoretical Computer Science. To appear.

• R. Söldner and D. Plump
  Formalising the Double-Pushout Approach to Graph Transformation
  Logical Methods in Computer Science 20(4), pages 3:1-3:37, 2024.
  doi: 10.46298/lmcs-20(4:3)2024

• Z. I. Alaoui and D. Plump
  Linear-Time Graph Programs for Unbounded-Degree Graphs
  Proc. 17th International Conference on Graph Transformation (ICGT 2024). Lecture Notes in Computer Science 14774, pages 3-20. Springer, 2024.
  doi: 10.1007/978-3-031-64285-2_1

• F. Vastarini and D. Plump
  Random Graph Generation in Context-Free Graph Languages
  Proc. 13th International Workshop on Developments in Computational Models (DCM 2023). Electronic Proceedings in Theoretical Computer Science 408, pages 107-120, 2024.
  doi: 10.4204/EPTCS.408.7

• R. Söldner and D. Plump
  Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem
  Proc. 16th International Conference on Graph Transformation (ICGT 2023). Lecture Notes in Computer Science 13961, pages 123-142. Springer, 2023.
  doi: 10.1007/978-3-031-36709-0_7

• C. Poskitt and D. Plump
  Monadic Second-Order Incorrectness Logic for GP 2
  Journal of Logical and Algebraic Methods in Programming 130. Elsevier, January 2023.
  doi: doi.org/10.1016/j.jlamp.2022.100825

• B. Courtehoute and D. Plump
  Time and Space Measures for a Complete Graph Computation Model
  Graph Computation Models (GCM 2022), Revised Selected Papers. Electronic Proceedings in Theoretical Computer Science 374, pages 23-44, 2022.
  doi: 10.4204/EPTCS.374.4

• R. Söldner and D. Plump
  Towards Mechanised Proofs in Double-Pushout Graph Transformation
  Graph Computation Models (GCM 2022), Revised Selected Papers. Electronic Proceedings in Theoretical Computer Science 374, pages 59-75, 2022.
  doi: 10.4204/EPTCS.374.6

• G. Campbell, B. Courtehoute and D. Plump
  Fast Rule-Based Graph Programs
  Science of Computer Programming 214, 32 pages. Elsevier, 2022.
  doi: 10.1016/j.scico.2021.102727

• B. Courtehoute and D. Plump
  A Small-Step Operational Semantics for GP 2
  Graph Computation Models (GCM 2021), Revised Selected Papers. Electronic Proceedings in Theoretical Computer Science 350, pages 89-110, 2021.
  doi: 10.4204/EPTCS.350.6

• G. Campbell and D. Plump
  Confluence up to Garbage in Graph Transformation
  Theoretical Computer Science 884:1-22. Elsevier, 2021.
  doi: 10.1016/j.tcs.2021.06.010

• G. Wulandari and D. Plump
  Verifying Graph Programs with Monadic Second-Order Logic
  Proc. 14th International Conference on Graph Transformation (ICGT 2021). Lecture Notes in Computer Science 12741, pages 240-261. Springer, 2021.
  doi: 10.1007/978-3-030-78946-6_13

• T. Atkinson, D. Plump and S. Stepney
  Evolving Graphs with Semantic Neutral Drift
  Natural Computing 20(1):127-143. Springer, 2021.
  doi: 10.1007/s11047-019-09772-4

• G. Campbell and D. Plump
  Confluence up to Garbage
  Proc. 13th International Conference on Graph Transformation (ICGT 2020). Lecture Notes in Computer Science 12150, pages 20-37. Springer, 2020.
  doi: 10.1007/978-3-030-51372-6_2

• B. Courtehoute and D. Plump
  A Fast Graph Program for Computing Minimum Spanning Trees
  Graph Computation Models (GCM 2020), Revised Selected Papers. Electronic Proceedings in Theoretical Computer Science 330, pages 163-180, 2020.
  doi: 10.4204/EPTCS.330.10

• G. Wulandari and D. Plump
  Verifying Graph Programs with First-Order Logic
  Graph Computation Models (GCM 2020), Revised Selected Papers. Electronic Proceedings in Theoretical Computer Science 330, pages 181-200, 2020.
  doi: 10.4204/EPTCS.330.11

• G. Campbell, J. Romo and D. Plump
  The Improved GP 2 Compiler
  Proc. Graph Computation Models (GCM 2020), 2020.

• T. Atkinson, D. Plump and S. Stepney
  Horizontal Gene Transfer for Recombining Graphs
  Genetic Programming and Evolvable Machines 21:321-347. Springer, 2020.
  doi: 10.1007/s10710-020-09378-1

• G. Campbell, B. Courtehoute and D. Plump
  Linear-Time Graph Algorithms in GP 2
  Proc. 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). Volume 139 of Leibniz International Proceedings in Informatics (LIPICS), pages 16:1-16:23, 2019.
  doi: 10.4230/LIPIcs.CALCO.2019.16

• T. Atkinson, D. Plump and S. Stepney
  Evolving Graphs with Horizontal Gene Transfer
  Proc. Genetic and Evolutionary Computation Conference (GECCO 2019), pages 968-976. ACM, 2019.
  doi: 10.1145/3321707.3321788

• G. Wulandari and D. Plump
  Verifying a Copying Garbage Collector in GP 2
  Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers. Lecture Notes in Computer Science 11176, pages 479-494. Springer, 2018.
  doi: 10.1007/978-3-030-04771-9_34

• T. Atkinson, D. Plump and S. Stepney
  Probabilistic Graph Programs for Randomised and Evolutionary Algorithms
  Proc. International Conference on Graph Transformation (ICGT 2018). Lecture Notes in Computer Science 10887, pages 63-78. Springer, 2018.
  doi: 10.1007/978-3-319-92991-0_5

• T. Atkinson, D. Plump and S. Stepney
  Evolving Graphs by Graph Programming
  Proc. European Conference on Genetic Programming (EuroGP 2018). Lecture Notes in Computer Science 10781, pages 35-51. Springer, 2018.
  doi: 10.1007/978-3-319-77553-1_3

• D. Plump
  Modular Termination of Graph Transformation
  In Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Lecture Notes in Computer Science 10800, eds. R. Heckel and G. Taentzer, pages 231-244. Springer, 2018.
  doi: 10.1007/978-3-319-75396-6_13

• I. Hristakiev and D. Plump
  Checking Graph Programs for Confluence
  Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Lecture Notes in Computer Science 10748, pages 92-108. Springer, 2018.
  doi: 10.1007/978-3-319-74730-9_8

• I. Hristakiev and D. Plump
  Towards Critical Pair Analysis for the Graph Programming Language GP 2
  Recent Trends in Algebraic Development Techniques (WADT 2016), Revised Selected Papers. Lecture Notes in Computer Science 10644, pages 153-169. Springer, 2017.
  doi: 10.1007/978-3-319-72044-9_11

• D. Plump
  From Imperative to Rule-based Graph Programs
  Journal of Logical and Algebraic Methods in Programming 88:154-173. Elsevier, 2017.
  doi: 10.1016/j.jlamp.2016.12.001

• T. Atkinson, D. Plump and S. Stepney
  Probabilistic Graph Programming
  Proc. Graph Computation Models (GCM 2017), 2017.

• I. Hristakiev and D. Plump
  Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem
  Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops, Revised Selected Papers. Lecture Notes in Computer Science 9946, pages 145-160. Springer, 2016.
  doi: 10.1007/978-3-319-50230-4_11

• D. Plump
  Reasoning about Graph Programs
  Proc. Computing with Terms and Graphs (TERMGRAPH 2016). Electronic Proceedings in Theoretical Computer Science 225, pages 35-44, 2016.
  doi: 10.4204/EPTCS.225.6

• C. Bak and D. Plump
  Compiling Graph Programs to C
  Proc. International Conference on Graph Transformation (ICGT 2016). Lecture Notes in Computer Science 9761, pages 102-117. Springer, 2016.
  doi: 10.1007/978-3-319-40530-8_7

• I. Hristakiev and D. Plump
  A Unification Algorithm for GP 2
  Graph Computation Models (GCM 2014), Revised Selected Papers. Electronic Communications of the EASST 71, 17 pages, 2015.
  doi: 10.14279/tuj.eceasst.71.1002.991

• C. Bak, G. Faulkner, D. Plump and C. Runciman
  A Reference Interpreter for the Graph Programming Language GP 2
  Proc. Graphs as Models (GaM 2015). Electronic Proceedings in Theoretical Computer Science 181, pages 48-64, 2015.
  doi: 10.4204/EPTCS.181.4

• D. Plump
  From Imperative to Rule-based Graph Programs (Extended Abstract)
  Proc. Nordic Workshop on Programming Theory (NWPT 2014), 5 pages, 2014

• C. Poskitt and D. Plump
  Verifying Monadic Second-Order Properties of Graph Programs
  Proc. International Conference on Graph Transformation (ICGT 2014). Lecture Notes in Computer Science 8571, pages 33-48. Springer, 2014.
  doi: 10.1007/978-3-319-09108-2_3

• C. Poskitt and D. Plump
  Verifying Total Correctness of Graph Programs
  Graph Computation Models (GCM 2012), Revised Selected Papers. Electronic Communications of the EASST 61, 20 pages, 2013.
  doi: 10.14279/tuj.eceasst.61.827

• A. Habel and D. Plump
  M,N-Adhesive Transformation Systems
  Proc. International Conference on Graph Transformation (ICGT 2012). Lecture Notes in Computer Science 7562, pages 218-233. Springer, 2012.
  doi: 10.1007/978-3-642-33654-6_15

• C. Bak and D. Plump
  Rooted Graph Programs
  Proc. International Workshop on Graph Based Tools (GraBaTs 2012). Electronic Communications of the EASST 54, 12 pages, 2012.
  doi: 10.14279/tuj.eceasst.54.780

• D. Plump
  The Design of GP 2
  Proc. International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2011). Electronic Proceedings in Theoretical Computer Science 82, pages 1-16, 2012.
  doi: 10.4204/EPTCS.82.1

• C.M. Poskitt and D. Plump
  Hoare-Style Verification of Graph Programs
  Fundamenta Informaticae 118(1-2):135-175, 2012.
  doi: 10.3233/FI-2012-708

• D. Plump, R. Suri and A. Singh
  Minimizing Finite Automata with Graph Programs
  Graph Computation Models (GCM 2010), Revised Selected Papers. Electronic Communications of the EASST 39, 15 pages, 2011.
  doi: 10.14279/tuj.eceasst.39.658

• D. Plump
  Checking Graph-Transformation Systems for Confluence
  In Manipulation of Graphs, Algebras and Pictures: Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. Electronic Communications of the EASST 26, 15 pages, 2010.
  doi: 10.14279/tuj.eceasst.26.367.347

• C.M. Poskitt and D. Plump
  A Hoare Calculus for Graph Programs
  Proc. International Conference on Graph Transformation (ICGT 2010), Lecture Notes in Computer Science 6372, pages 139-154. Springer, 2010.
  doi: 10.1007/978-3-642-15928-2_10

• C.M. Poskitt and D. Plump
  Hoare Logic for Graph Programs
  Proc. THEORY Workshop at Verified Software: Theories, Tools and Experiments (VS-THEORY 2010), 11 pages, 2010

• D. Plump
  Graph Programs
  Proc. International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010), pages 39-44, 2010

• D. Plump and S. Steinert
  The Semantics of Graph Programs
  Proc. Rule-Based Programming (RULE 2009). Electronic Proceedings in Theoretical Computer Science 21, pages 27-38, 2010.
  doi: 10.4204/EPTCS.21.3

• D. Plump
  The Graph Programming Language GP
  Proc. International Conference on Algebraic Informatics (CAI 2009). Lecture Notes in Computer Science 5725, pages 99-122. Springer, 2009.
  doi: 10.1007/978-3-642-03564-7_6

• M. Dodds and D. Plump
  From Hyperedge Replacement to Separation Logic and Back
  Proc. Doctoral Symposium at the International Conference on Graph Transformation (ICGT-DS 2008). Electronic Communications of the EASST 16, 18 pages, 2009.
  doi: 10.14279/tuj.eceasst.16.237

• G. Manning and D. Plump
  The GP Programming System
  Proc. Graph Transformation and Visual Modelling Techniques (GT-VMT 2008). Electronic Communications of the EASST 10, 13 pages, 2008.
  doi: 10.14279/tuj.eceasst.10.150

• G. Taentzer, E. Biermann, D. Bisztray, B. Bohnet, I. Boneva, A. Boronat, L. Geiger, R. Geiss, A. Horvath, O. Kniemeyer, T. Mens, B. Ness, D. Plump and T. Vajk
  Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools
  Applications of Graph Transformation with Industrial Relevance (AGTIVE 2007), Revised Selected and Invited Papers. Lecture Notes in Computer Science 5088, pages 514-539. Springer, 2008.
  doi: 10.1007/978-3-540-89020-1_35

• G. Manning and D. Plump
  The York Abstract Machine
  Proc. Graph Transformation and Visual Modelling Techniques (GT-VMT 2006). Electronic Notes in Theoretical Computer Science 211, pages 231-240. Elsevier, 2008.
  doi: 10.1016/j.entcs.2008.04.045

• M. Dodds and D. Plump
  Graph Transformation in Constant Time
  Proc. International Conference on Graph Transformation (ICGT 2006) . Lecture Notes in Computer Science 4178, pages 367-382. Springer, 2006.
  doi: 10.1007/11841883_26

• M. Dodds and D. Plump
  Extending C for Checking Shape Safety
  Proc. Graph Transformation for Verification and Concurrency (GT-VC 2005). Electronic Notes in Theoretical Computer Science 154(2), pages 95-112. Elsevier, 2006.
  doi: 10.1016/j.entcs.2005.03.035

• D. Plump
  Confluence of Graph Transformation Revisited
  In Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 3838, pages 280-308, eds. A. Middeldorp, V. van Oostrom, F. van Raamsdonk and R. de Vrijer. Springer, 2005.
  doi: 10.1007/11601548_16

• D. Plump and S. Steinert
  Towards Graph Programs for Graph Algorithms
  Proc. International Conference on Graph Transformation (ICGT 2004) . Lecture Notes in Computer Science 3256, pages 128-143. Springer, 2004.
  doi: 10.1007/978-3-540-30203-2_11

• A. Bakewell, D. Plump and C. Runciman
  Specifying Pointer Structures by Graph Reduction
  Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003), Revised Selected and Invited Papers. Lecture Notes in Computer Science 3062, pages 30-44. Springer, 2004.
  doi: 10.1007/978-3-540-25959-6_3

• A. Bakewell, D. Plump and C. Runciman
  Checking the Shape Safety of Pointer Manipulations
  Relational Methods in Computer Science (RelMiCS 7), Revised Selected Papers. Lecture Notes in Computer Science 3051, pages 48-61. Springer, 2004 .
  doi: 10.1007/978-3-540-24771-5_5

• J. Wells, D. Plump and F. Kamareddine
  Diagrams for Meaning Preservation
  Proc. International Conference on Rewriting Techniques and Applications (RTA 2003). Lecture Notes in Computer Science 2706, pages 88-106. Springer, 2003.
  doi: 10.1007/3-540-44881-0_8

• F. Drewes, B. Hoffmann and D. Plump
  Hierarchical Graph Transformation
  Journal of Computer and System Sciences 64(2):249-283. Elsevier, 2002.
  doi: 10.1006/jcss.2001.1790

• A. Habel and D. Plump
  Relabelling in Graph Transformation
  Proc. International Conference on Graph Transformation (ICGT 2002) . Lecture Notes in Computer Science 2505, pages 135-147. Springer, 2002.
  doi: 10.1007/3-540-45832-8_12

• D. Plump
  Essentials of Term Graph Rewriting
  Proc. GETGRATS Closing Workshop. Electronic Notes in Theoretical Computer Science 51, pages 277-289. Elsevier, 2002.
  doi: 10.1016/S1571-0661(04)80210-X

• A. Habel and D. Plump
  Solving Equations by Graph Transformation
  Proc. GETGRATS Closing Workshop. Electronic Notes in Theoretical Computer Science 51, pages 165-176. Elsevier, 2002.
  doi: 10.1016/S1571-0661(04)80200-7

• A. Habel, J. Müller and D. Plump
  Double-Pushout Graph Transformation Revisited
  Mathematical Structures in Computer Science 11(5):637-688. Cambridge University Press, 2001.
  doi: 10.1017/S0960129501003425

• A. Habel and D. Plump
  Computational Completeness of Programming Languages Based on Graph Transformation
  Proc. Foundations of Software Science and Computation Structures (FOSSACS 2001). Lecture Notes in Computer Science 2030, pages 230-245. Springer, 2001.
  doi: 10.1007/3-540-45315-6_15

• Z.M. Ariola, J.W. Klop and D. Plump
  Bisimilarity in Term Graph Rewriting
  Information and Computation 156(1/2):2-24. Elsevier, 2000.
  doi: 10.1006/inco.1999.2824

• A. Habel, J. Müller and D. Plump
  Double-Pushout Approach with Injective Matching
  Theory and Application of Graph Transformation (TAGT '98), Selected Papers. Lecture Notes in Computer Science 1764, pages 103-117. Springer, 2000.
  doi: 10.1007/978-3-540-46464-8_8

• F. Drewes, B. Hoffmann and D. Plump
  Hierarchical Graph Transformation
  Proc. Foundations of Software Science and Computation Structures (FOSSACS 2000). Lecture Notes in Computer Science 1784, pages 98-113. Springer, 2000.
  doi: 10.1007/3-540-46432-8_7

• D. Plump
  Term Graph Rewriting
  In Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools, Chapter 1, pages 3-61, eds. H. Ehrig, G. Engels, H.-J. Kreowski and G. Rozenberg. World Scientific, 1999.
  doi: 10.1142/9789812815149_0001

• M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr and G. Taentzer
  Graph Transformation for Specification and Programming
  Science of Computer Programming 34(1):1-54. Elsevier, 1999.
  doi: 10.1016/S0167-6423(98)00023-9

• A. Habel and D. Plump
  Complete Strategies for Term Graph Narrowing
  Recent Trends in Algebraic Development Techniques (WADT 1998), Selected Papers . Lecture Notes in Computer Science 1589, pages 152-167. Springer, 1999.
  doi: 10.1007/3-540-48483-3_11

• D. Plump
  Termination of Graph Rewriting is Undecidable
  Fundamenta Informaticae 33(2):201-209, 1998
  doi: 10.3233/FI-1998-33204

• Z.M. Ariola, J.W. Klop and D. Plump
  Confluent Rewriting of Bisimilar Term Graphs
  Proc. Fourth Workshop on Expressiveness in Concurrency. Electronic Notes in Theoretical Computer Science 7. Elsevier, 1997
  doi: 10.1016/S1571-0661(05)80463-3

• D. Plump
  Simplification Orders for Term Graph Rewriting
  Proc. Mathematical Foundations of Computer Science. Lecture Notes in Computer Science 1295, pages 458-467. Springer, 1997
  doi: 10.1007/BFb0029989

• A. Habel and D. Plump
  Term Graph Narrowing
  Mathematical Structures in Computer Science 6(6):649-676. Cambridge University Press, 1996
  doi: 10.1017/S0960129500070122

• D. Plump and A. Habel
  Graph Unification and Matching
  Graph Grammars and Their Application to Computer Science, Selected Papers. Lecture Notes in Computer Science 1073, pages 75-89. Springer, 1996
  doi: 10.1007/3-540-61228-9_80

• D. Plump
  On Termination of Graph Rewriting
  Proc. Graph-Theoretic Concepts in Computer Science. Lecture Notes in Computer Science 1017, pages 88-100. Springer, 1995

• A. Habel and D. Plump
  Unification, Rewriting, and Narrowing on Term Graphs
  Proc. Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA '95). Electronic Notes in Theoretical Computer Science 2. Elsevier, 1995

• D. Plump
  Critical Pairs in Term Graph Rewriting
  Proc. Mathematical Foundations of Computer Science (MFCS 1994). Lecture Notes in Computer Science 841, pages 556-566. Springer, 1994
  doi: 10.1007/3-540-58338-6_102

• D. Plump
  Hypergraph Rewriting: Critical Pairs and Undecidability of Confluence
  In Term Graph Rewriting: Theory and Practice, chapter 15, pages 201-213
  eds. M.R. Sleep, M.J. Plasmeijer and M.C.J.D. van Eekelen. John Wiley, 1993

• D. Plump
  Collapsed Tree Rewriting: Completeness, Confluence, and Modularity
  Proc. Conditional Term Rewriting Systems (CTRS-92). Lecture Notes in Computer Science 656, pages 97-112. Springer, 1993

• B. Hoffmann and D. Plump
  Implementing Term Rewriting by Jungle Evaluation
  RAIRO Theoretical Informatics and Applications 25(5):445-472, 1991
  doi: 10.1051/ita/1991250504451

• A. Habel, H.-J. Kreowski and D. Plump
  Jungle Evaluation
  Fundamenta Informaticae 15(1):37-60, 1991

• D. Plump
  Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems
  Proc. Conditional and Typed Rewriting Systems (CTRS 1990). Lecture Notes in Computer Science 516, pages 307-317. Springer, 1991

• D. Plump
  Graph-Reducible Term Rewriting Systems
  Proc. Graph Grammars and Their Application to Computer Science. Lecture Notes in Computer Science 532, pages 622-636. Springer, 1991

• B. Hoffmann and D. Plump
  Jungle Evaluation for Efficient Term Rewriting
  Proc. Algebraic and Logic Programming. Mathematical Research 49, pages 191-203, Akademie-Verlag, 1988. Also in Lecture Notes in Computer Science 343, pages 191-203. Springer, 1989

• A. Habel, H.-J. Kreowski and D. Plump
  Jungle Evaluation
  Recent Trends in Data Type Specification (WADT 1987), Selected Papers. Lecture Notes in Computer Science 332, pages 92-112. Springer, 1988

Edited Books, Journal Issues and Proceedings

• R. Echahed and D. Plump (eds.)
  Proceedings Tenth International Workshop on Graph Computation Models (GCM 2019)
  Electronic Proceedings in Theoretical Computer Science 309, 2019

• J. de Lara and D. Plump (eds.)
  Special issue on the 10th International Conference on Graph Transformation
  Journal of Logical and Algebraic Methods in Programming 104, 2019

• J. de Lara and D. Plump (eds.)
  Proceedings Tenth International Conference on Graph Transformation (ICGT 2017)
  Volume 10373 of Lecture Notes in Computer Science, Springer, 2017

• D. Plump (ed.)
  Graph Computation Models, Selected Revised Papers from GCM 2015
  Electronic Communications of the EASST 73, 2016

• D. Plump (ed.)
  Proceedings Sixth International Workshop on Graph Computation Models (GCM 2015)
  CEUR Workshop Proceedings 1403, 2015

• R. Echahed and D. Plump (eds.)
  Proceedings Seventh International Workshop on Computing with Terms and Graphs (TERMGRAPH 2013)
  Electronic Proceedings in Theoretical Computer Science 110, 2013

• F. Drewes, A. Habel, B. Hoffmann and D. Plump (eds.)
  Manipulation of Graphs, Algebras and Pictures: Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday
  Electronic Communications of the EASST 26, 2010

• F. Drewes, A. Habel, B. Hoffmann and D. Plump (eds.)
  Manipulation of Graphs, Algebras and Pictures: Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday
  Festschrift, 356 pages, 2010

• I. Mackie and D. Plump (eds.)
  Proceedings Fourth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2007)
  Electronic Notes in Theoretical Computer Science 203(1), 2008

• I. Mackie and D. Plump (eds.)
  Theory and Applications of Term Graph Rewriting
  Mathematical Structures in Computer Science 17(3):361-584, 2007

• I. Mackie and D. Plump (eds.)
  Proceedings First International Workshop on Term Graph Rewriting (TERMGRAPH 2002)
  Electronic Notes in Theoretical Computer Science 72(1), 2007

Theses

• D. Plump
  Computing by Graph Rewriting
  Habilitation thesis, Universität Bremen, Fachbereich Mathematik und Informatik, 193 pages, 1999

• D. Plump
  Evaluation of Functional Expressions by Hypergraph Rewriting
  Doctoral thesis, Universität Bremen, Fachbereich Mathematik und Informatik, 119 pages, 1993

Other Publications

• R. Söldner and D. Plump
  Formalising the Double-Pushout Approach to Graph Transformation
  ArXiv e-prints, arXiv:2312.15641, 36 pages, 2023

• G. Campbell and D. Plump
  Confluence up to Garbage in Graph Transformation
  ArXiv e-prints, arXiv:2101.01842, 33 pages, 2021

• G. Campbell, B. Courtehoute and D. Plump
  Fast Rule-Based Graph Programs
  ArXiv e-prints, arXiv:2012.11394, 47 pages, 2020

• G. Wulandari and D. Plump
  Verifying Graph Programs with First-Order Logic (Extended Version)
  ArXiv e-prints, arXiv:2010.14549v1, 68 pages, 2020

• G. Campbell, J. Romo and D. Plump
  The Improved GP 2 Compiler
  ArXiv e-prints, arXiv:2010.03993, 11 pages, 2020

• T. Atkinson, D. Plump and S. Stepney
  Semantic Neutral Drift
  ArXiv e-prints, arXiv:1810.10453 (Version 2), 18 pages, 2020

• G. Campbell and D. Plump
  Efficient Recognition of Graph Languages
  EPSRC project report, Department of Computer Science, University of York. ArXiv e-prints, arXiv:1705.02171, 101 pages, 2019

• G. Campbell, J. Romo and D. Plump
  Improving the GP 2 Compiler
  ArXiv e-prints, arXiv:2002.02914, 42 pages, 2019

• G. Campbell, J. Romo and D. Plump
  Fast Graph Programs
  EPSRC project report, Department of Computer Science, University of York, 49 pages, 2018

• I. Hristakiev and D. Plump
  A Unification Algorithm for GP 2 (Long Version)
  ArXiv e-prints, arXiv:1705.02171, 27 pages, 2017

• I. Hristakiev and D. Plump
  Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem (Long Version)
  Technical report, Department of Computer Science, University of York, 19 pages, 2016

• D. Plump, R. Suri and A. Singh
  Minimizing Finite Automata with Graph Programs
  Proc. International Workshop on Graph Computation Models (GCM 2010), CTIT Workshop Proceedings WP 2010-05, pages 97-110. University of Twente, 2010

• A. Bakewell, D. Plump and C. Runciman
  Specifying Pointer Structures by Graph Reduction
  Technical Report YCS-2003-367, The University of York, 48 pages, 2003

• A. Bakewell, D. Plump and C. Runciman
  Checking the Shape Safety of Pointer Manipulations (Extended Abstract)
  Preliminary Proc. International Seminar on Relational Methods in Computer Science (RelMiCS 7), pages 144-151, Universität Kiel, 2003

• D. Plump
  TERMGRAPH 2002 - Workshop Survey
  Proc. International Conference on Graph Transformation (ICGT 2002) , Lecture Notes in Computer Science 2505, pages 435-439. Springer, 2002

• A. Habel and D. Plump
  A Core Language for Graph Transformation
  Proc. Workshop on Applied Graph Transformation (AGT 2002), pages 187-199, 2002

• H.-J. Kreowski and D. Plump (eds.)
  APPLIGRAPH: Applications of Graph Transformation - ESPRIT Working Group No. 22565
  Final report, Universität Bremen, 98 pages, 2002

• F. Drewes, B. Hoffmann and D. Plump
  Hierarchical Graph Transformation
  Informatik-Bericht Nr. 1/2000, Fachbereich Mathematik und Informatik, Universität Bremen, 33 pages, 2000

• A. Habel, J. Müller and D. Plump
  Double-Pushout Graph Transformation Revisited
  Bericht Nr. 7/99, Fachbereich Informatik, Universität Oldenburg, 68 pages, 1999
  

• D. Plump
  Church-Rosser Hypergraph Languages
  Proc. 9. Theorietag Automaten und Formale Sprachen, Mathematische Schriften Kassel 12/99, Universität Kassel, Fachbereich Mathematik/Informatik, 1999

• D. Plump
  Term Graph Rewriting
  Report CSI-R9822, Computing Science Institute, Katholieke Universiteit Nijmegen, 63 pages, 1998

• Z.M. Ariola, J.W. Klop and D. Plump
  Bisimilarity in Term Graph Rewriting
  Report SEN-R9801, CWI, Amsterdam, 22 pages, 1998

• A. Habel and D. Plump
  Completeness of Narrowing in Non-copying Implementations
  Informatik-Bericht Nr. 19/97, Universität Hildesheim, 21 pages, 1997

• D. Plump
  Termination of Graph Rewriting is Undecidable
  Informatik-Bericht Nr. 7/97, Universität Bremen, 10 pages, 1997

• M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr and G. Taentzer
  Graph Transformation for Specification and Programming
  Informatik-Bericht Nr. 7/96, Universität Bremen, 50 pages, 1996

• A. Habel and D. Plump
  Term Graph Narrowing
  Informatik-Bericht Nr. 14/96, Universität Hildesheim, 28 pages, 1996
  Short version in Proc. Tenth International Workshop on Unification (UNIF '96), CIS-Bericht 96-91, Universität München, 1996

• D. Plump
  Dschungelersetzung
  Proc. Alternative Konzepte für Sprachen und Rechner - Bad Honnef 1994, Bericht Nr. 9412, pages 104-107, Institut für Informatik und Praktische Informatik, Christian-Albrechts-Universität Kiel, 1994

• B. Krieg-Brückner and D. Plump
  COMPASS: A Comprehensive Algebraic Approach to System Specification and Development - ESPRIT Basic Research Working Group No. 3264
  EATCS Bulletin 47:87-90, 1992

• A. Corradini and D. Plump
  Jungle Rewriting: A New Paradigm for the Implementation of Functional and Logic Programming Languages
  Computing by Graph Transformation (COMPUGRAPH), ESPRIT Basic Research Working Group No. 3299 - Survey, Results, and Applications
  Technische Universität Berlin, 1992

• D. Plump
  A Critical Pair Lemma for Graph Rewriting
  Proc. SemaGraph Symposium on the Semantics and Pragmatics of Generalized Graph Rewriting, Technical Report 91-25, pages 381-394, University of Nijmegen, Department of Informatics, 1991

• B. Krieg-Brückner and D. Plump (eds.)
  COMPASS: A Comprehensive Algebraic Approach to System Specification and Development - Final Report
  Informatik-Bericht Nr. 7/91, Universität Bremen, 104 pages, 1991

• D. Plump
  Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems
  Proc. 2nd German Workshop on Term Rewriting, Forschungsbericht Nr. 336, pages 13-16, Fachbereich Informatik, Universität Dortmund, 1990

• B. Hoffmann and D. Plump
  Term Rewriting and Jungle Evaluation: Similarities and Differences
  Proc. Funktionale und logische Programmierung - Sprachen, Methoden, Implementationen, Bericht Nr. 214, pages 78-83, Institut für Mathematik, Universität Augsburg, 1989

• B. Hoffmann and D. Plump
  Jungle Evaluation for Efficient Term Rewriting
  Informatik-Bericht Nr. 4/88, Universität Bremen, 62 pages, 1988
  Short version in Proc. 1st German Workshop on Term Rewriting, SEKI Report SR-89-02, Fachbereich Informatik, Universität Kaiserslautern, 1989