2009 | ||
---|---|---|
4 | EE | Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis: Deny-Guarantee Reasoning. ESOP 2009: 363-377 |
2008 | ||
3 | EE | Mike Dodds: From Separation Logic to Hyperedge Replacement and Back. ICGT 2008: 484-486 |
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 | [4] |
2 | Matthew J. Parkinson | [4] |
3 | Detlef Plump | [1] [2] |
4 | Viktor Vafeiadis | [4] |