Detlef Plump

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 36

Top Venues

CoRR

ICGT

GCM@STAF

J. Log. Algebraic Methods Program.

University of Bremen, Germany (PHD)

Education History

University of Bremen, Germany

PHD

Publications

Ziad Ismaili Alaoui, Detlef Plump
Linear-Time Graph Programs for Unbounded-Degree Graphs. ICGT (2024)
Robert Söldner, Detlef Plump
Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem. ICGT (2023)
Robert Söldner, Detlef Plump
Formalising the Double-Pushout Approach to Graph Transformation. CoRR (2023)
Christopher M. Poskitt, Detlef Plump
Monadic second-order incorrectness logic for GP 2. J. Log. Algebraic Methods Program. 130 (2023)
Graham Campbell, Brian Courtehoute, Detlef Plump
Fast rule-based graph programs. Sci. Comput. Program. 214 (2022)
Brian Courtehoute, Detlef Plump
Time and Space Measures for a Complete Graph Computation Model. CoRR (2022)
Robert Söldner, Detlef Plump
Towards Mechanised Proofs in Double-Pushout Graph Transformation. CoRR (2022)
Timothy Atkinson, Detlef Plump, Susan Stepney
Evolving graphs with semantic neutral drift. Nat. Comput. 20 (1) (2021)
Graham Campbell, Detlef Plump
Confluence up to garbage in graph transformation. Theor. Comput. Sci. 884 (2021)
Gia S. Wulandari, Detlef Plump
Verifying Graph Programs with Monadic Second-Order Logic. ICGT (2021)
Graham Campbell, Detlef Plump
Confluence up to Garbage in Graph Transformation. CoRR (2021)
Brian Courtehoute, Detlef Plump
A Small-Step Operational Semantics for GP 2. GCM@STAF (2021)
Brian Courtehoute, Detlef Plump
A Fast Graph Program for Computing Minimum Spanning Trees. GCM@STAF (2020)
Graham Campbell, Detlef Plump
Confluence up to Garbage. ICGT (2020)
Gia S. Wulandari, Detlef Plump
Verifying Graph Programs with First-Order Logic. GCM@STAF (2020)
Graham Campbell, Jack Romo, Detlef Plump
The Improved GP 2 Compiler. CoRR (2020)
Graham Campbell, Jack Romo, Detlef Plump
Improving the GP 2 Compiler. CoRR (2020)
Timothy Atkinson, Detlef Plump, Susan Stepney
Horizontal gene transfer for recombining graphs. Genet. Program. Evolvable Mach. 21 (3) (2020)
Gia S. Wulandari, Detlef Plump
Verifying Graph Programs with First-Order Logic (Extended Version). CoRR (2020)
Graham Campbell, Brian Courtehoute, Detlef Plump
Fast Rule-Based Graph Programs. CoRR (2020)
Timothy Atkinson, Detlef Plump, Susan Stepney
Evolving graphs with horizontal gene transfer. GECCO (2019)
Detlef Plump, Juan de Lara
Preface to the special issue on the 10th International Conference on Graph Transformation. J. Log. Algebraic Methods Program. 104 (2019)
Graham Campbell, Brian Courtehoute, Detlef Plump
Linear-Time Graph Algorithms in GP 2. CALCO (2019)
Graham Campbell, Detlef Plump
Efficient Recognition of Graph Languages. CoRR (2019)
Gia S. Wulandari, Detlef Plump
Verifying a Copying Garbage Collector in GP 2. STAF Workshops (2018)
Detlef Plump
Modular Termination of Graph Transformation. Graph Transformation, Specifications, and Nets (2018)
Timothy Atkinson, Detlef Plump, Susan Stepney
Probabilistic Graph Programs for Randomised and Evolutionary Algorithms. ICGT (2018)
Timothy Atkinson, Detlef Plump, Susan Stepney
Evolving Graphs by Graph Programming. EuroGP (2018)
Timothy Atkinson, Detlef Plump, Susan Stepney
Semantic Neutral Drift. CoRR (2018)
Detlef Plump
From imperative to rule-based graph programs. J. Log. Algebraic Methods Program. 88 (2017)
Ivaylo Hristakiev, Detlef Plump
A Unification Algorithm for GP 2 (Long Version). CoRR (2017)
Ivaylo Hristakiev, Detlef Plump
Checking Graph Programs for Confluence. STAF Workshops (2017)
Christopher Bak, Detlef Plump
Compiling Graph Programs to C. ICGT (2016)
Ivaylo Hristakiev, Detlef Plump
Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem. STAF Workshops (2016)
Ivaylo Hristakiev, Detlef Plump
Towards Critical Pair Analysis for the Graph Programming Language GP 2. WADT (2016)
Detlef Plump
Reasoning about Graph Programs. TERMGRAPH (2016)
Detlef Plump
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 73 (2015)
Christopher Bak, Glyn Faulkner, Detlef Plump, Colin Runciman
A Reference Interpreter for the Graph Programming Language GP 2. GaM (2015)
Christopher M. Poskitt, Detlef Plump
Verifying Monadic Second-Order Properties of Graph Programs. ICGT (2014)
Ivaylo Hristakiev, Detlef Plump
A Unification Algorithm for GP 2. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 71 (2014)
Christopher M. Poskitt, Detlef Plump
Verifying Monadic Second-Order Properties of Graph Programs. CoRR (2014)
Christopher M. Poskitt, Detlef Plump
Verifying Total Correctness of Graph Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 61 (2013)
Annegret Habel, Detlef Plump
$\mathcal M, \mathcal N$ -Adhesive Transformation Systems. ICGT (2012)
Christopher M. Poskitt, Detlef Plump
Hoare-Style Verification of Graph Programs. Fundam. Informaticae 118 (1-2) (2012)
Detlef Plump, Christopher Bak
Rooted Graph Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 54 (2012)
Detlef Plump
The Design of GP 2 WRS (2011)
Detlef Plump, Robin Suri, Ambuj Singh
Minimizing Finite Automata with Graph Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39 (2011)
Detlef Plump
Checking Graph-Transformation Systems for Confluence. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010)
Christopher M. Poskitt, Detlef Plump
A Hoare Calculus for Graph Programs. ICGT (2010)
Frank Drewes, Annegret Habel, Berthold Hoffmann, Detlef Plump
Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010)
Detlef Plump
The Graph Programming Language GP. CAI (2009)
Detlef Plump, Sandra Steinert
The Semantics of Graph Programs RULE (2009)
Greg Manning, Detlef Plump
The York Abstract Machine. Electron. Notes Theor. Comput. Sci. 211 (2008)
Ian Mackie, Detlef Plump
Preface. Electron. Notes Theor. Comput. Sci. 203 (1) (2008)
Mike Dodds, Detlef Plump
From Hyperedge Replacement to Separation Logic and Back. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 16 (2008)
Greg Manning, Detlef Plump
The GP Programming System. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Gabriele Taentzer, Enrico Biermann, Dénes Bisztray, Bernd Bohnet, Iovka Boneva, Artur Boronat, Leif Geiger, Rubino Geiß, Ákos Horváth, Ole Kniemeyer, Tom Mens, Benjamin Ness, Detlef Plump, Tamás Vajk
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools. AGTIVE (2007)
Ian Mackie, Detlef Plump
Preface. Electron. Notes Theor. Comput. Sci. 72 (1) (2007)
Ian Mackie, Detlef Plump
Theory and applications of term graph rewriting: introduction. Math. Struct. Comput. Sci. 17 (3) (2007)
Mike Dodds, Detlef Plump
Extending C for Checking Shape Safety. Electron. Notes Theor. Comput. Sci. 154 (2) (2006)
Mike Dodds, Detlef Plump
Graph Transformation in Constant Time. ICGT (2006)
Detlef Plump
Confluence of Graph Transformation Revisited. Processes, Terms and Cycles (2005)
Detlef Plump, Sandra Steinert
Towards Graph Programs for Graph Algorithms. ICGT (2004)
Adam Bakewell, Detlef Plump, Colin Runciman
Checking the Shape Safety of Pointer Manipulations. RelMiCS (2003)
Adam Bakewell, Detlef Plump, Colin Runciman
Specifying Pointer Structures by Graph Reduction. AGTIVE (2003)
J. B. Wells, Detlef Plump, Fairouz Kamareddine
Diagrams for Meaning Preservation. RTA (2003)
Detlef Plump
TERMGRAPH 2002 - Workshop Survey. ICGT (2002)
Frank Drewes, Berthold Hoffmann, Detlef Plump
Hierarchical Graph Transformation. J. Comput. Syst. Sci. 64 (2) (2002)
Annegret Habel, Detlef Plump
Relabelling in Graph Transformation. ICGT (2002)
Annegret Habel, Jürgen Müller, Detlef Plump
Double-pushout graph transformation revisited. Math. Struct. Comput. Sci. 11 (5) (2001)
Detlef Plump
Essentials of Term Graph Rewriting. Electron. Notes Theor. Comput. Sci. 51 (2001)
Annegret Habel, Detlef Plump
Solving Equations by Graph Transformation. Electron. Notes Theor. Comput. Sci. 51 (2001)
Annegret Habel, Detlef Plump
Computational Completeness of Programming Languages Based on Graph Transformation. FoSSaCS (2001)
Frank Drewes, Berthold Hoffmann, Detlef Plump
Hierarchical Graph Transformation. FoSSaCS (2000)
Zena M. Ariola, Jan Willem Klop, Detlef Plump
Bisimilarity in Term Graph Rewriting. Inf. Comput. 156 (1-2) (2000)
Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, Gabriele Taentzer
Graph Transformation for Specification and Programming. Sci. Comput. Program. 34 (1) (1999)
Detlef Plump
Termination of Graph Rewriting is Undecidable. Fundam. Informaticae 33 (2) (1998)
Annegret Habel, Jürgen Müller, Detlef Plump
Double-Pushout Approach with Injective Matching. TAGT (1998)
Annegret Habel, Detlef Plump
Complete Strategies for Term Graph Narrowing. WADT (1998)
Zena M. Ariola, Jan Willem Klop, Detlef Plump
Confluent rewriting of bisimilar term graphs. EXPRESS (1997)
Detlef Plump
Simplification Orders for Term Graph Rewriting. MFCS (1997)
Annegret Habel, Detlef Plump
Term Graph Narrowing. Math. Struct. Comput. Sci. 6 (6) (1996)
Annegret Habel, Detlef Plump
Unification, rewriting, and narrowing on term graphs. Electron. Notes Theor. Comput. Sci. 2 (1995)
Detlef Plump
On Termination of Graph Rewriting. WG (1995)
Detlef Plump, Annegret Habel
Graph Unification and Matching. TAGT (1994)
Detlef Plump
Critical Pairs in Term Graph Rewriting. MFCS (1994)
Detlef Plump
Collapsed Tree Rewriting: Completeness, Confluence, and Modularity. CTRS (1992)
Berthold Hoffmann, Detlef Plump
Implementing term rewriting by jungle evaluation. RAIRO Theor. Informatics Appl. 25 (1991)
Annegret Habel, Hans-Jörg Kreowski, Detlef Plump
Jungle evaluation. Fundam. Informaticae 15 (1) (1991)
Detlef Plump
Graph-Reducible Term Rewriting Systems. Graph-Grammars and Their Application to Computer Science (1990)
Detlef Plump
Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems. CTRS (1990)
Berthold Hoffmann, Detlef Plump
Jungle Evaluation for Efficient Term Rewriting. ALP (1988)
Annegret Habel, Hans-Jörg Kreowski, Detlef Plump
Jungle Evaluation. ADT (1987)

Detlef Plump.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Detlef Plump