| |
| * | 2009 | |
|---|---|---|
| 5 | EE | Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis: Deny-Guarantee Reasoning. ESOP 2009: 363-377 |
| 2008 | ||
| 4 | EE | Mike Dodds: From Separation Logic to Hyperedge Replacement and Back. ICGT 2008: 484-486 |
| 3 | EE | Mike Dodds, Detlef Plump: From Hyperedge Replacement to Separation Logic and Back. ECEASST 16: (2008) |
| 2006 | ||
| 2 | EE | Mike Dodds, Detlef Plump: Graph Transformation in Constant Time. ICGT 2006: 367-382 |
| 1 | EE | Mike Dodds, Detlef Plump: Extending C for Checking Shape Safety. Electr. Notes Theor. Comput. Sci. 154(2): 95-112 (2006) |
| 1 | Xinyu Feng | [5] |
| 2 | Matthew J. Parkinson | [5] |
| 3 | Detlef Plump | [1] [2] [3] |
| 4 | Viktor Vafeiadis | [5] |