Mohammad Raza

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

3 Mohammad Raza, Cristiano Calcagno, Philippa Gardner: Automatic Parallelization with Separation Logic. ESOP 2009: 348-362

2 Mohammad Raza, Philippa Gardner: Footprints in Local Reasoning Logical Methods in Computer Science 5(2): (2009)

2008

1 Mohammad Raza, Philippa Gardner: Footprints in Local Reasoning. FoSSaCS 2008: 201-215

	2009
3		Mohammad Raza, Cristiano Calcagno, Philippa Gardner: Automatic Parallelization with Separation Logic. ESOP 2009: 348-362
2		Mohammad Raza, Philippa Gardner: Footprints in Local Reasoning Logical Methods in Computer Science 5(2): (2009)
	2008
1		Mohammad Raza, Philippa Gardner: Footprints in Local Reasoning. FoSSaCS 2008: 201-215

Coauthor Index