Detlef Plump
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
1994–2026
Best venue rank
B
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICGT | Formalising and Verifying Graph Programs with Higher-Order Logic. | Robert Sldner, Detlef Plump |
| 2019 | CALCO | Linear-Time Graph Algorithms in GP 2. | Graham Campbell, Brian Courtehoute, Detlef Plump |
| 2019 | GECCO | Evolving graphs with horizontal gene transfer. | Timothy Atkinson, Detlef Plump, Susan Stepney |
| 2018 | EUROGP | Evolving Graphs by Graph Programming. | Timothy Atkinson, Detlef Plump, Susan Stepney |
| 2001 | FOSSACS | Computational Completeness of Programming Languages Based on Graph Transformation. | Annegret Habel, Detlef Plump |
| 2000 | FOSSACS | Hierarchical Graph Transformation. | Frank Drewes, Berthold Hoffmann, Detlef Plump |
| 1997 | MFCS | Simplification Orders for Term Graph Rewriting. | Detlef Plump |
| 1995 | WG | On Termination of Graph Rewriting. | Detlef Plump |
| 1994 | MFCS | Critical Pairs in Term Graph Rewriting. | Detlef Plump |