dblp.uni-trier.dewww.uni-trier.de

Mike Dodds

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)