Detlef Plump

According to our database1, Detlef Plump
  • authored at least 67 papers between 1987 and 2018.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Evolving Graphs by Graph Programming.
Proceedings of the Genetic Programming - 21st European Conference, 2018

Modular Termination of Graph Transformation.
Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017
From imperative to rule-based graph programs.
J. Log. Algebr. Meth. Program., 2017

A Unification Algorithm for GP 2 (Long Version).
CoRR, 2017

Checking Graph Programs for Confluence.
Proceedings of the Software Technologies: Applications and Foundations, 2017

2016
Reasoning about Graph Programs.
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.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem.
Proceedings of the Software Technologies: Applications and Foundations, 2016

Compiling Graph Programs to C.
Proceedings of the Graph Transformation - 9th International Conference, 2016

2015
Preface.
ECEASST, 2015

A Reference Interpreter for the Graph Programming Language GP 2.
Proceedings of the Proceedings Graphs as Models, 2015

2014
A Unification Algorithm for GP 2.
ECEASST, 2014

Verifying Monadic Second-Order Properties of Graph Programs.
CoRR, 2014

Verifying Monadic Second-Order Properties of Graph Programs.
Proceedings of the Graph Transformation - 7th International Conference, 2014

2013
Verifying Total Correctness of Graph Programs.
ECEASST, 2013

2012
Hoare-Style Verification of Graph Programs.
Fundam. Inform., 2012

Rooted Graph Programs.
ECEASST, 2012

$\mathcal M, \mathcal N$ -Adhesive Transformation Systems.
Proceedings of the Graph Transformations - 6th International Conference, 2012

2011
Minimizing Finite Automata with Graph Programs.
ECEASST, 2011

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

2010
Checking Graph-Transformation Systems for Confluence.
ECEASST, 2010

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

A Hoare Calculus for Graph Programs.
Proceedings of the Graph Transformations - 5th International Conference, 2010

2009
The Semantics of Graph Programs
Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

The Graph Programming Language GP.
Proceedings of the Algebraic Informatics, Third International Conference, 2009

2008
The York Abstract Machine.
Electr. Notes Theor. Comput. Sci., 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

The GP Programming System.
ECEASST, 2008

From Hyperedge Replacement to Separation Logic and Back.
ECEASST, 2008

2007
Theory and applications of term graph rewriting: introduction.
Mathematical Structures in Computer Science, 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
Extending C for Checking Shape Safety.
Electr. Notes Theor. Comput. Sci., 2006

Graph Transformation in Constant Time.
Proceedings of the Graph Transformations, Third International Conference, 2006

2005
Confluence of Graph Transformation Revisited.
Proceedings of the Processes, 2005

2004
Towards Graph Programs for Graph Algorithms.
Proceedings of the Graph Transformations, Second International Conference, 2004

2003
Diagrams for Meaning Preservation.
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Specifying Pointer Structures by Graph Reduction.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

Checking the Shape Safety of Pointer Manipulations.
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.
J. Comput. Syst. Sci., 2002

TERMGRAPH 2002 - Workshop Survey.
Proceedings of the Graph Transformation, First International Conference, 2002

Relabelling in Graph Transformation.
Proceedings of the Graph Transformation, First International Conference, 2002

2001
Double-pushout graph transformation revisited.
Mathematical Structures in Computer Science, 2001

Essentials of Term Graph Rewriting.
Electr. Notes Theor. Comput. Sci., 2001

Solving Equations by Graph Transformation.
Electr. Notes Theor. Comput. Sci., 2001

Computational Completeness of Programming Languages Based on Graph Transformation.
Proceedings of the Foundations of Software Science and Computation Structures, 2001

2000
Bisimilarity in Term Graph Rewriting.
Inf. Comput., 2000

Hierarchical Graph Transformation.
Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999
Graph Transformation for Specification and Programming.
Sci. Comput. Program., 1999

1998
Termination of Graph Rewriting is Undecidable.
Fundam. Inform., 1998

Complete Strategies for Term Graph Narrowing.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Double-Pushout Approach with Injective Matching.
Proceedings of the Theory and Application of Graph Transformations, 1998

1997
Confluent rewriting of bisimilar term graphs.
Electr. Notes Theor. Comput. Sci., 1997

Simplification Orders for Term Graph Rewriting.
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

1996
Term Graph Narrowing.
Mathematical Structures in Computer Science, 1996

1995
Unification, rewriting, and narrowing on term graphs.
Electr. Notes Theor. Comput. Sci., 1995

On Termination of Graph Rewriting.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1995

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

Critical Pairs in Term Graph Rewriting.
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

1993
Evaluation of functional expressions by hypergraph rewriting.
PhD thesis, 1993

1992
Collapsed Tree Rewriting: Completeness, Confluence, and Modularity.
Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1991
Implementing term rewriting by jungle evaluation.
ITA, 1991

Jungle evaluation.
Fundam. Inform., 1991

1990
Graph-Reducible Term Rewriting Systems.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems.
Proceedings of the Conditional and Typed Rewriting Systems, 1990

1988
Jungle Evaluation for Efficient Term Rewriting.
Proceedings of the Algebraic and Logic Programming, 1988

1987
Jungle Evaluation.
Proceedings of the Recent Trends in Data Type Specification, 1987


  Loading...