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

Aziem Chawdhary

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

2008
2EEAziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang: Ranking Abstractions. ESOP 2008: 148-162
2007
1EEJosh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn: Variance analyses from invariance analyses. POPL 2007: 211-224

Coauthor Index

1Josh Berdine [1]
2Byron Cook [1] [2]
3Dino Distefano [1]
4Sumit Gulwani [2]
5Peter W. O'Hearn [1]
6Shmuel Sagiv (Mooly Sagiv) [2]
7Hongseok Yang [2]

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