Detlef Plump

1.9k total citations
40 papers, 463 citations indexed

About

Detlef Plump is a scholar working on Artificial Intelligence, Software and Computational Theory and Mathematics. According to data from OpenAlex, Detlef Plump has authored 40 papers receiving a total of 463 indexed citations (citations by other indexed papers that have themselves been cited), including 29 papers in Artificial Intelligence, 29 papers in Software and 19 papers in Computational Theory and Mathematics. Recurrent topics in Detlef Plump's work include Model-Driven Software Engineering Techniques (28 papers), Formal Methods in Verification (18 papers) and Logic, programming, and type systems (16 papers). Detlef Plump is often cited by papers focused on Model-Driven Software Engineering Techniques (28 papers), Formal Methods in Verification (18 papers) and Logic, programming, and type systems (16 papers). Detlef Plump collaborates with scholars based in United Kingdom, Germany and France. Detlef Plump's co-authors include Annegret Habel, Berthold Hoffmann, Frank Drewes, Hans‐Jörg Kreowski, Jürgen Müller, Christopher M. Poskitt, Sabine Kuske, Andy Schürr, Gabriele Taentzer and Gregor Engels and has published in prestigious journals such as SHILAP Revista de lepidopterología, Journal of Computer and System Sciences and Information and Computation.

In The Last Decade

Detlef Plump

32 papers receiving 404 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Detlef Plump United Kingdom 11 321 278 155 120 55 40 463
Berthold Hoffmann Germany 9 185 0.6× 194 0.7× 49 0.3× 109 0.9× 40 0.7× 23 278
Annegret Habel Germany 15 505 1.6× 570 2.1× 344 2.2× 229 1.9× 118 2.1× 34 858
Traian Florin Şerbănuţă United States 9 283 0.9× 140 0.5× 165 1.1× 120 1.0× 121 2.2× 24 432
Loek Cleophas Netherlands 9 151 0.5× 77 0.3× 45 0.3× 104 0.9× 49 0.9× 66 268
Thomas Kühn Germany 10 175 0.5× 128 0.5× 27 0.2× 170 1.4× 66 1.2× 41 306
Francesco Parisi-Presicce Italy 14 474 1.5× 184 0.7× 115 0.7× 289 2.4× 143 2.6× 48 684
Andrea Maggiolo–Schettini Italy 12 161 0.5× 91 0.3× 277 1.8× 43 0.4× 76 1.4× 74 507
Russell W. Quong United States 8 208 0.6× 141 0.5× 63 0.4× 172 1.4× 144 2.6× 15 441
Andrea Vandin Italy 11 116 0.4× 58 0.2× 92 0.6× 77 0.6× 45 0.8× 39 280
Matthias Biehl Sweden 10 105 0.3× 155 0.6× 42 0.3× 139 1.2× 34 0.6× 34 297

Countries citing papers authored by Detlef Plump

Since Specialization
Citations

This map shows the geographic impact of Detlef Plump's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Detlef Plump with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Detlef Plump more than expected).

Fields of papers citing papers by Detlef Plump

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Detlef Plump. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Detlef Plump. The network helps show where Detlef Plump may publish in the future.

Co-authorship network of co-authors of Detlef Plump

This figure shows the co-authorship network connecting the top 25 collaborators of Detlef Plump. A scholar is included among the top collaborators of Detlef Plump based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Detlef Plump. Detlef Plump is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Plump, Detlef. (2024). Checking Graph-Transformation Systems for Confluence. Technische Universität Berlin – Universitätsbibliothek. 26.
2.
Plump, Detlef, et al.. (2024). The GP Programming System. Technische Universität Berlin – Universitätsbibliothek. 1 indexed citations
3.
Poskitt, Christopher M. & Detlef Plump. (2022). Monadic second-order incorrectness logic for GP 2. Journal of Logical and Algebraic Methods in Programming. 130. 100825–100825. 4 indexed citations
4.
Plump, Detlef, et al.. (2022). Towards Mechanised Proofs in Double-Pushout Graph Transformation. Electronic Proceedings in Theoretical Computer Science. 374. 59–75. 1 indexed citations
5.
Plump, Detlef, et al.. (2021). A Small-Step Operational Semantics for GP 2. Electronic Proceedings in Theoretical Computer Science. 350. 89–110.
6.
Atkinson, Timothy, Detlef Plump, & Susan Stepney. (2019). Evolving graphs with semantic neutral drift. Natural Computing. 20(1). 127–143. 7 indexed citations
7.
Campbell, Graham, et al.. (2019). Linear-Time Graph Algorithms in GP 2. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 1 indexed citations
8.
Atkinson, Timothy, Detlef Plump, & Susan Stepney. (2019). Evolving graphs with horizontal gene transfer. Proceedings of the Genetic and Evolutionary Computation Conference. 968–976. 4 indexed citations
9.
Plump, Detlef. (2016). Reasoning about Graph Programs. SHILAP Revista de lepidopterología. 225. 35–44. 1 indexed citations
10.
Echahed, Rachid & Detlef Plump. (2013). Proceedings 7th International Workshop on Computing with Terms and Graphs. Electronic Proceedings in Theoretical Computer Science. 110. 1 indexed citations
11.
Plump, Detlef, et al.. (2010). The Semantics of Graph Programs. SHILAP Revista de lepidopterología. 21. 27–38. 4 indexed citations
12.
Plump, Detlef, et al.. (2008). The York Abstract Machine. Electronic Notes in Theoretical Computer Science. 211. 231–240. 3 indexed citations
13.
Mackie, Ian & Detlef Plump. (2007). Theory and applications of term graph rewriting: introduction. Mathematical Structures in Computer Science. 17(3). 361–362. 1 indexed citations
14.
Drewes, Frank, Berthold Hoffmann, & Detlef Plump. (2002). Hierarchical Graph Transformation. Journal of Computer and System Sciences. 64(2). 249–283. 58 indexed citations
15.
Plump, Detlef. (2002). Essentials of Term Graph Rewriting. Electronic Notes in Theoretical Computer Science. 51. 277–289. 12 indexed citations
16.
Ariola, Zena M., Jan Willem Klop, & Detlef Plump. (2000). Bisimilarity in Term Graph Rewriting. Information and Computation. 156(1-2). 2–24.
17.
Engels, Gregor, Annegret Habel, Berthold Hoffmann, et al.. (1999). Graph transformation for specification and programming. Science of Computer Programming. 34(1). 1–54. 90 indexed citations
18.
Plump, Detlef. (1998). Termination of Graph Rewriting is Undecidable. Fundamenta Informaticae. 33(2). 201–209. 39 indexed citations
19.
Plump, Detlef. (1993). Hypergraph rewriting: critical pairs and undecidability of confluence. 201–213. 42 indexed citations
20.
Habel, Annegret, Hans‐Jörg Kreowski, & Detlef Plump. (1991). Jungle Evaluation. Fundamenta Informaticae. 15(1). 37–60. 2 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Berthold Hoffmann Breakdown of academic impact, for papers by Annegret Habel Breakdown of academic impact, for papers by Traian Florin Şerbănuţă Breakdown of academic impact, for papers by Loek Cleophas Breakdown of academic impact, for papers by Thomas Kühn Breakdown of academic impact, for papers by Francesco Parisi-Presicce Breakdown of academic impact, for papers by Andrea Maggiolo–Schettini Breakdown of academic impact, for papers by Russell W. Quong Breakdown of academic impact, for papers by Andrea Vandin Breakdown of academic impact, for papers by Matthias Biehl
Rankless by CCL
2026