Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Detlef Plump
Map detail
Detlef Plump13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipDetlef PlumpADetlef PlumpResearcherThe Semantics of Graph ProgramsWThe Semantics of Graph ...preprint / 2010The Design of GP 2WThe Design of GP 2preprint / 2012Reasoning about Graph ProgramsWReasoning about Graph P...preprint / 2016Confluence up to Garbage in Graph TransformationWConfluence up to Garbag...preprint / 2021Efficient Recognition of Graph LanguagesWEfficient Recognition o...preprint / 2021Evolving Graphs with Semantic Neutral DriftWEvolving Graphs with Se...preprint / 2020Implementing Binary Search Trees in GP 2 (Extended Abstract)WImplementing Binary Sea...preprint / 2026Proceedings 7th International Workshop on Computing with Terms and GraphsWProceedings 7th Interna...preprint / 2013Verifying Monadic Second-Order Properties of Graph ProgramsWVerifying Monadic Secon...preprint / 2014Fast Rule-Based Graph ProgramsWFast Rule-Based Graph P...preprint / 2021The Improved GP 2 CompilerWThe Improved GP 2 Compilerpreprint / 2021Improving the GP 2 CompilerWImproving the GP 2 Comp...preprint / 2021
Person12 links

Detlef Plump

Researcher