Detlef Plump

According to our database, Detlef Plump authored at least 87 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Monadic second-order incorrectness logic for GP 2.

Christopher M. Poskitt, Detlef Plump

J. Log. Algebraic Methods Program., 2023

Formalising the Double-Pushout Approach to Graph Transformation.

Robert Söldner, Detlef Plump

CoRR, 2023

Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem.

Robert Söldner, Detlef Plump

Proceedings of the Graph Transformation - 16th International Conference, 2023

2022

Fast rule-based graph programs.

Graham Campbell, Brian Courtehoute, Detlef Plump

Sci. Comput. Program., 2022

Time and Space Measures for a Complete Graph Computation Model.

Brian Courtehoute, Detlef Plump

Proceedings of the Thirteenth International Workshop on Graph Computation Models, 2022

Towards Mechanised Proofs in Double-Pushout Graph Transformation.

Robert Söldner, Detlef Plump

Proceedings of the Thirteenth International Workshop on Graph Computation Models, 2022

2021

Confluence up to garbage in graph transformation.

Graham Campbell, Detlef Plump

Theor. Comput. Sci., 2021

Evolving graphs with semantic neutral drift.

Timothy Atkinson, Detlef Plump, Susan Stepney

Nat. Comput., 2021

A Small-Step Operational Semantics for GP 2.

Brian Courtehoute, Detlef Plump

Proceedings of the Proceedings Twelfth International Workshop on Graph Computational Models, 2021

Verifying Graph Programs with Monadic Second-Order Logic.

Gia Septiana Wulandari, Detlef Plump

Proceedings of the Graph Transformation - 14th International Conference, 2021

2020

Horizontal gene transfer for recombining graphs.

Timothy Atkinson, Detlef Plump, Susan Stepney

Genet. Program. Evolvable Mach., 2020

A Fast Graph Program for Computing Minimum Spanning Trees.

Brian Courtehoute, Detlef Plump

Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020

Verifying Graph Programs with First-Order Logic.

Gia Septiana Wulandari, Detlef Plump

Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020

Verifying Graph Programs with First-Order Logic (Extended Version).

Gia Septiana Wulandari, Detlef Plump

CoRR, 2020

The Improved GP 2 Compiler.

Graham Campbell, Jack Romo, Detlef Plump

CoRR, 2020

Improving the GP 2 Compiler.

Graham Campbell, Jack Romo, Detlef Plump

CoRR, 2020

Confluence up to Garbage.

Graham Campbell, Detlef Plump

Proceedings of the Graph Transformation - 13th International Conference, 2020

2019

Preface to the special issue on the 10th International Conference on Graph Transformation.

Detlef Plump, Juan de Lara

J. Log. Algebraic Methods Program., 2019

Efficient Recognition of Graph Languages.

Graham Campbell, Detlef Plump

CoRR, 2019

Evolving graphs with horizontal gene transfer.

Timothy Atkinson, Detlef Plump, Susan Stepney

Proceedings of the Genetic and Evolutionary Computation Conference, 2019

Linear-Time Graph Algorithms in GP 2.

Graham Campbell, Brian Courtehoute, Detlef Plump

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

2018

Semantic Neutral Drift.

Timothy Atkinson, Detlef Plump, Susan Stepney

CoRR, 2018

Verifying a Copying Garbage Collector in GP 2.

Gia Septiana Wulandari, Detlef Plump

Proceedings of the Software Technologies: Applications and Foundations, 2018

Probabilistic Graph Programs for Randomised and Evolutionary Algorithms.

Timothy Atkinson, Detlef Plump, Susan Stepney

Proceedings of the Graph Transformation - 11th International Conference, 2018

Evolving Graphs by Graph Programming.

Timothy Atkinson, Detlef Plump, Susan Stepney

Proceedings of the Genetic Programming - 21st European Conference, 2018

Modular Termination of Graph Transformation.

Detlef Plump

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017

From imperative to rule-based graph programs.

Detlef Plump

J. Log. Algebraic Methods Program., 2017

A Unification Algorithm for GP 2 (Long Version).

Ivaylo Hristakiev, Detlef Plump

CoRR, 2017

Checking Graph Programs for Confluence.

Ivaylo Hristakiev, Detlef Plump

Proceedings of the Software Technologies: Applications and Foundations, 2017

2016

Reasoning about Graph Programs.

Detlef Plump

Proceedings of the Proceedings 9th International Workshop on Computing with Terms and Graphs, 2016

Towards Critical Pair Analysis for the Graph Programming Language GP 2.

Ivaylo Hristakiev, Detlef Plump

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem.

Ivaylo Hristakiev, Detlef Plump

Proceedings of the Software Technologies: Applications and Foundations, 2016

Compiling Graph Programs to C.

Christopher Bak, Detlef Plump

Proceedings of the Graph Transformation - 9th International Conference, 2016

2015

Preface.

Detlef Plump

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

A Reference Interpreter for the Graph Programming Language GP 2.

Christopher Bak, Glyn Faulkner, Detlef Plump, Colin Runciman

Proceedings of the Proceedings Graphs as Models, 2015

2014

A Unification Algorithm for GP 2.

Ivaylo Hristakiev, Detlef Plump

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Verifying Monadic Second-Order Properties of Graph Programs.

Christopher M. Poskitt, Detlef Plump

Proceedings of the Graph Transformation - 7th International Conference, 2014

2013

Verifying Total Correctness of Graph Programs.

Christopher M. Poskitt, Detlef Plump

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

2012

Hoare-Style Verification of Graph Programs.

Christopher M. Poskitt, Detlef Plump

Fundam. Informaticae, 2012

Rooted Graph Programs.

Detlef Plump, Christopher Bak

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

$\mathcal M, \mathcal N$ -Adhesive Transformation Systems.

Annegret Habel, Detlef Plump

Proceedings of the Graph Transformations - 6th International Conference, 2012

2011

Minimizing Finite Automata with Graph Programs.

Detlef Plump, Robin Suri, Ambuj Singh

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

The Design of GP 2

Detlef Plump

Proceedings of the Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, 2011

2010

Checking Graph-Transformation Systems for Confluence.

Detlef Plump

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday.

Frank Drewes, Annegret Habel, Berthold Hoffmann, Detlef Plump

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

A Hoare Calculus for Graph Programs.

Christopher M. Poskitt, Detlef Plump

Proceedings of the Graph Transformations - 5th International Conference, 2010

2009

The Semantics of Graph Programs

Detlef Plump, Sandra Steinert

Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

The Graph Programming Language GP.

Detlef Plump

Proceedings of the Algebraic Informatics, Third International Conference, 2009

2008

The GP Programming System.

Greg Manning, Detlef Plump

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

From Hyperedge Replacement to Separation Logic and Back.

Mike Dodds, Detlef Plump

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

2007

Theory and applications of term graph rewriting: introduction.

Ian Mackie, Detlef Plump

Math. Struct. Comput. Sci., 2007

Preface.

Ian Mackie, Detlef Plump

Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, 2007

Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools.

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

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

The York Abstract Machine.

Greg Manning, Detlef Plump

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Graph Transformation in Constant Time.

Mike Dodds, Detlef Plump

Proceedings of the Graph Transformations, Third International Conference, 2006

2005

Extending C for Checking Shape Safety.

Mike Dodds, Detlef Plump

Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, 2005

Confluence of Graph Transformation Revisited.

Detlef Plump

Proceedings of the Processes, 2005

2004

Towards Graph Programs for Graph Algorithms.

Detlef Plump, Sandra Steinert

Proceedings of the Graph Transformations, Second International Conference, 2004

2003

Diagrams for Meaning Preservation.

J. B. Wells, Detlef Plump, Fairouz Kamareddine

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Specifying Pointer Structures by Graph Reduction.

Adam Bakewell, Detlef Plump, Colin Runciman

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

Checking the Shape Safety of Pointer Manipulations.

Adam Bakewell, Detlef Plump, Colin Runciman

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

2002

Hierarchical Graph Transformation.

Frank Drewes, Berthold Hoffmann, Detlef Plump

J. Comput. Syst. Sci., 2002

TERMGRAPH 2002 - Workshop Survey.

Detlef Plump

Proceedings of the Graph Transformation, First International Conference, 2002

Relabelling in Graph Transformation.

Annegret Habel, Detlef Plump

Proceedings of the Graph Transformation, First International Conference, 2002

2001

Double-pushout graph transformation revisited.

Annegret Habel, Jürgen Müller, Detlef Plump

Math. Struct. Comput. Sci., 2001

Essentials of Term Graph Rewriting.

Detlef Plump

Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

Solving Equations by Graph Transformation.

Annegret Habel, Detlef Plump

Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

Computational Completeness of Programming Languages Based on Graph Transformation.

Annegret Habel, Detlef Plump

Proceedings of the Foundations of Software Science and Computation Structures, 2001

2000

Bisimilarity in Term Graph Rewriting.

Zena M. Ariola, Jan Willem Klop, Detlef Plump

Inf. Comput., 2000

1999

Graph Transformation for Specification and Programming.

Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, Gabriele Taentzer

Sci. Comput. Program., 1999

1998

Termination of Graph Rewriting is Undecidable.

Detlef Plump

Fundam. Informaticae, 1998

Complete Strategies for Term Graph Narrowing.

Annegret Habel, Detlef Plump

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Double-Pushout Approach with Injective Matching.

Annegret Habel, Jürgen Müller, Detlef Plump

Proceedings of the Theory and Application of Graph Transformations, 1998

1997

Confluent rewriting of bisimilar term graphs.

Zena M. Ariola, Jan Willem Klop, Detlef Plump

Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

Simplification Orders for Term Graph Rewriting.

Detlef Plump

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

1996

Term Graph Narrowing.

Annegret Habel, Detlef Plump

Math. Struct. Comput. Sci., 1996

1995

Unification, rewriting, and narrowing on term graphs.

Annegret Habel, Detlef Plump

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

On Termination of Graph Rewriting.

Detlef Plump

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1995

1994

Graph Unification and Matching.

Detlef Plump, Annegret Habel

Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

Critical Pairs in Term Graph Rewriting.

Detlef Plump

Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

1993

Evaluation of functional expressions by hypergraph rewriting.

Detlef Plump

PhD thesis, 1993

1992

Collapsed Tree Rewriting: Completeness, Confluence, and Modularity.

Detlef Plump

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1991

Implementing term rewriting by jungle evaluation.

Berthold Hoffmann, Detlef Plump

RAIRO Theor. Informatics Appl., 1991

Jungle evaluation.

Annegret Habel, Hans-Jörg Kreowski, Detlef Plump

Fundam. Informaticae, 1991

1990

Graph-Reducible Term Rewriting Systems.

Detlef Plump

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems.

Detlef Plump

Proceedings of the Conditional and Typed Rewriting Systems, 1990

1988

Jungle Evaluation for Efficient Term Rewriting.

Berthold Hoffmann, Detlef Plump

Proceedings of the Algebraic and Logic Programming, 1988