Concepedia

Detlef Plump

DP

20

Publications

845

Citations

14

H-Index

1988

Active since

Affiliations

University of York(Current)

University of Bremen

Carl von Ossietzky Universität Oldenburg

Detlef Plump is an author at University of York specializing in graph theory, engineering, and computer science.

Top concepts

Graph TheoryEngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationGraph ProcessingCombinatorial OptimizationProgram AnalysisData Science

Publications per year

1988–2024

20

Publications

20

Graph transformation for specification and programming

Marc Andries, Gregor Engels, Annegret Habel et al. · Science of Computer Programming · 1999 · 167 citations

Specification Language, Engineering, Graph Theory +8

Double-pushout graph transformation revisited

Annegret Habel, Jürgen Müller, Detlef Plump · Mathematical Structures in Computer Science · 2001 · 129 citations

Directed Graph, Engineering, Parallel Commutativity +17

Hierarchical Graph Transformation

Frank Drewes, Berthold Hoffmann, Detlef Plump · Journal of Computer and System Sciences · 2002 · 111 citations

Engineering, Graph Theory, Data Science +6

Termination of Graph Rewriting is Undecidable

Detlef Plump · Fundamenta Informaticae · 1998 · 78 citations

Engineering, Graph Theory, Reachability Problem +14

Implementing term rewriting by jungle evaluation

Berthold Hoffmann, Detlef Plump · RAIRO - Theoretical Informatics and Applications · 1991 · 47 citations · Full text

Rows per page

1–5 of 20