Research output per year
Research output per year
Personal profile
Research interests
Graph-based programming models; theory and applications of graph transformation; formal verification; rewriting systems; theoretical computer science.
Biography
1987-1993 - Research Associate, University of Bremen, Germany.
1993-2000 - Assistant Professor, University of Bremen, Germany.
2000-2001 - Lecturer, University of York.
2001 to present - Associate Professor, University of York.
Visiting Researcher at Heriot-Watt University (Edinburgh).
Visiting Researcher at University of Nijmegen (The Netherlands) and Free University of Amsterdam (The Netherlands) for more than two years in total.
Education/Academic qualification
Habilitation, University of Bremen
Award Date: 20 Dec 1999
Dr. ing., University of Bremen
Award Date: 9 Apr 1993
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Formalising the Double-Pushout Approach to Graph Transformation
Soeldner, R. & Plump, D., 4 Oct 2024, In: Logical Methods in Computer Science. 20, 4, 37 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Linear-Time Graph Programs for Unbounded-Degree Graphs
Ismaili Alaoui, Z. & Plump, D., 11 Jul 2024, Proceedings, 17th International Conference on Graph Transformation (ICGT 2024). Springer, p. 3-20 18 p. (Lecture Notes in Computer Science; vol. 14774).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Random Graph Generation in Context-Free Graph Languages
Vastarini, F. & Plump, D., 1 Oct 2024, Proc. 13th International Workshop on Developments in Computational Models (DCM 2023). Open Publishing Association, p. 107-120 14 p. (Electronic Proceedings in Theoretical Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
Projects
- 3 Finished
-
Efficient Recognition of Graph Languages
Plump, D. & Campbell, G.
1/07/19 → 8/09/19
Project: Research project (funded) › Studentship (central)
File -
Fast Graph Programs
Plump, D., Campbell, G. & Romo, J.
9/07/18 → 14/09/18
Project: Research project (funded) › Studentship (central)
File -
-
18th International Conference on Graph Transformation (ICGT 2025)
Detlef Plump (Member of programme committee)
10 Jun 2025 → 13 Jun 2025Activity: Participating in or organising an event › Conference participation
-
16th International Workshop on Graph Computation Models
Detlef Plump (Member of programme committee)
Jun 2025Activity: Participating in or organising an event › Seminar/workshop/course
-
17th International Conference on Graph Transformation (ICGT 2024)
Detlef Plump (Member of programme committee)
8 Jul 2024 → 12 Jul 2024Activity: Participating in or organising an event › Conference participation
Prizes
-
Best Theory Paper
Plump, Detlef (Recipient) & Soeldner, Robert (Recipient), 19 Jul 2023
Prize: Prize (including medals and awards)
-