EDBT 2026 Demo / reviewers in the wild / expert

Detlef Plump

dblp:31/6990 · DBLP profile ↗
← Back
13ranked-venue papers in the field
2as first author
3since 2021 · last 2024
0000-0002-1148-822XORCID · verified

Domains — venue-derived; a paper can count in several

Other / Interdisciplinary · 13 (2 first)
YearPublicationVenuePosition
2024 Linear-Time Graph Programs for Unbounded-Degree Graphs
Ziad Ismaili Alaoui, Detlef Plump
 ICGT2
2023 Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem
Robert Söldner, Detlef Plump
 ICGT2
2021 Verifying Graph Programs with Monadic Second-Order Logic
Gia Septiana Wulandari, Detlef Plump
 ICGT2
2020 Confluence up to Garbage
Graham Campbell 0001, Detlef Plump
 ICGT2
2018 Probabilistic Graph Programs for Randomised and Evolutionary Algorithms
Timothy Atkinson 0001, Detlef Plump, Susan Stepney
 ICGT2
2016 Compiling Graph Programs to C
Christopher Bak, Detlef Plump
 ICGT2
2014 Verifying Monadic Second-Order Properties of Graph Programs
Christopher M. Poskitt, Detlef Plump
 ICGT2
2012 $\mathcal M, \mathcal N$ -Adhesive Transformation Systems
Annegret Habel, Detlef Plump
 ICGT2
2010 A Hoare Calculus for Graph Programs
Christopher M. Poskitt, Detlef Plump
 ICGT2
2006 Graph Transformation in Constant Time
Mike Dodds, Detlef Plump
 ICGT2
2004 Towards Graph Programs for Graph Algorithms
Detlef Plump, Sandra Steinert
 ICGT1
2002 Relabelling in Graph Transformation
Annegret Habel, Detlef Plump
 ICGT2
2002 TERMGRAPH 2002 - Workshop Survey
Detlef Plump
 ICGT1