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

Krishna K. Mehra

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

2009
3EESumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi: SPEED: precise and efficient static estimation of program computational complexity. POPL 2009: 127-139
2007
2EEKrishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha: Verification of Object Relational Maps. SEFM 2007: 283-292
1EEShuvendu K. Lahiri, Krishna K. Mehra: Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic. JSAT 1(3-4): 187-207 (2007)

Coauthor Index

1Trishul M. Chilimbi [3]
2Sumit Gulwani [3]
3Sumit Kumar Jha [2]
4Shuvendu K. Lahiri [1]
5Sriram K. Rajamani [2]
6A. Prasad Sistla [2]

Colors in the list of coauthors

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