Detlef Plump

Available identifiers

zbMath Open plump.detlefMaRDI QIDQ516037

List of research outcomes

Publication	Date of Publication	Type
On termination of graph rewriting	2024-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q6198038	2024-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q6198042	2024-02-20	Paper
Evolving graphs with semantic neutral drift	2023-09-08	Paper
Collapsed tree rewriting: Completeness, confluence, and modularity	2023-03-09	Paper
Implementing term rewriting by graph reduction: Termination of combined systems	2023-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q5875357	2023-02-03	Paper
Monadic second-order incorrectness logic for GP 2	2022-11-16	Paper
Confluence up to Garbage	2022-09-01	Paper
Critical pairs in term graph rewriting	2022-08-18	Paper
Verifying graph programs with monadic second-order logic	2022-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q5021227	2022-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q5021228	2022-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q5015376	2021-12-07	Paper
Confluence up to garbage in graph transformation	2021-08-27	Paper
Towards Critical Pair Analysis for the Graph Programming Language GP 2	2020-01-16	Paper
Graph unification and matching	2019-01-10	Paper
Probabilistic graph programs for randomised and evolutionary algorithms	2018-08-24	Paper
Modular termination of graph transformation	2018-04-04	Paper
From imperative to rule-based graph programs	2017-03-20	Paper
Verifying Monadic Second-Order Properties of Graph Programs	2014-09-26	Paper
The York Abstract Machine	2014-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q2852056	2013-10-07	Paper
Solving Equations by Graph Transformation	2013-05-24	Paper
Essentials of Term Graph Rewriting	2013-05-24	Paper
$\mathcal M, \mathcal N$ -Adhesive Transformation Systems	2012-10-02	Paper
Hoare-Style Verification of Graph Programs	2012-07-11	Paper
A Hoare Calculus for Graph Programs	2010-10-04	Paper
The Graph Programming Language GP	2009-11-05	Paper
Graph Transformation in Constant Time	2008-11-27	Paper
Graph Transformations	2007-06-21	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity	2006-11-13	Paper
Relational and Kleene-Algebraic Methods in Computer Science	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4447225	2004-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4438775	2003-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q4438801	2003-12-10	Paper
Bisimilarity in term graph rewriting.	2003-01-14	Paper
Hierarchical graph transformation	2002-08-04	Paper
Double-pushout graph transformation revisited	2002-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q2769432	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4941932	2001-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4508296	2000-10-03	Paper
https://portal.mardi4nfdi.de/entity/Q4502808	2000-09-12	Paper
Graph transformation for specification and programming	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4699322	1999-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4222908	1998-12-21	Paper
https://portal.mardi4nfdi.de/entity/Q3837998	1998-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4222797	1998-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q5284550	1997-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q4037331	1993-05-18	Paper
Implementing term rewriting by jungle evaluation	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3486869	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3811685	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Detlef Plump