Mike Dodds

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

Coauthor Index

1	Xinyu Feng	[5]
2	Matthew J. Parkinson	[5]
3	Detlef Plump	[1] [2] [3]
4	Viktor Vafeiadis	[5]

Colors in the list of coauthors