| Attributed Graph Transformation via Rule Schemata D Plump, I Hristakiev Software Technologies: Applications and Foundations: STAF 2016 Collocated …, 2016 | 18* | 2016 |
| Checking graph programs for confluence I Hristakiev, D Plump Software Technologies: Applications and Foundations: STAF 2017 Collocated …, 2018 | 16 | 2018 |
| A unification algorithm for GP 2 I Hristakiev, D Plump Electronic Communications of the EASST, 2015 | 9 | 2015 |
| Confluence analysis for a graph programming language I Hristakiev University of York, 2018 | 6 | 2018 |
| Towards critical pair analysis for the graph programming language GP 2 I Hristakiev, D Plump International Workshop on Algebraic Development Techniques, 153-169, 2016 | 5 | 2016 |
| A Unification Algorithm for GP 2 (Long Version) I Hristakiev, D Plump arXiv preprint arXiv:1705.02171, 2017 | 3 | 2017 |
| Towards Critical Pair Analysis for the Graph Programming Language GP 2 D Plump, I Hristakiev Recent Trends in Algebraic Development Techniques (WADT 2016), Revised …, 2017 | | 2017 |
| A Unification Algorithm for GP D Plump, I Hristakiev Fifth International Workshop on Graph Computation Models, 60-75, 2014 | | 2014 |
| Programming in Safety Critical Java I Hristakiev | | 2013 |
| Checking Graph Programs for Confluence (Long Version) I Hristakiev, D Plump | | |
| Towards Critical Pair Analysis for the Graph Programming Language GP 2 (Long Version) I Hristakiev, D Plump | | |
| Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem (Long Version) I Hristakiev, D Plump | | |
Detlef PlumpDepartment of Computer Science, University of YorkVerified email at york.ac.uk