conf.researchr.org / Detlef Plump
Registered user since Wed 15 Nov 2023
Name:Detlef Plump
Country:United Kingdom
Affiliation:University of York
Personal website: https://www-users.cs.york.ac.uk/det/
Research interests:Theory and applications of graph transformation; graph-based programming models; rewriting systems; theoretical computer science
Contributions
2025
2024
ICGT
2023
ICGT
- Author of Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem within the Research Papers-track
- Session Chair of ICGT Session 5: Blue Skies & Journal-First (part of Research Papers)
- Steering Committee Member in Steering Committee
- Presenter of Fast Rule-Based Graph Programs within the Journal-First-track
- Committee Member in Program Committee within the Research Papers-track