Jyotirmoy V. Deshmukh

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

2 Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson: Automatic Generation of Local Repairs for Boolean Programs. FMCAD 2008: 1-10

2006

1 Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta: Automatic Verification of Parameterized Data Structures. TACAS 2006: 27-41

	2008
2		Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson: Automatic Generation of Local Repairs for Boolean Programs. FMCAD 2008: 1-10
	2006
1		Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta: Automatic Verification of Parameterized Data Structures. TACAS 2006: 27-41

Coauthor Index