Jyotirmoy V. Deshmukh

	2011
9		Rajeev Alur, Jyotirmoy V. Deshmukh: Nondeterministic Streaming String Transducers. ICALP (2) 2011: 1-20
8		Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan: Symbolic modular deadlock analysis. Autom. Softw. Eng. 18(3-4): 325-362 (2011)
7		Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan: Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems CoRR abs/1111.0670: (2011)
6		Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani: Logical Concurrency Control from Sequential Proofs Logical Methods in Computer Science 7(3): (2011)
	2010
5		Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani: Logical Concurrency Control from Sequential Proofs. ESOP 2010: 226-245
	2009
4		Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan: Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients. ASE 2009: 480-491
3		Jyotirmoy V. Deshmukh, E. Allen Emerson: Verification of recursive methods on tree-like data structures. FMCAD 2009: 33-40
	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

1	Rajeev Alur	[7] [9]
2	Loris D'Antoni	[7]
3	E. Allen Emerson	[1] [2] [3] [4] [8]
4	Prateek Gupta	[1]
5	Mukund Raghothaman	[7]
6	G. Ramalingam (Ganesan Ramalingam)	[5] [6]
7	Venkatesh Prasad Ranganath	[5] [6]
8	Roopsha Samanta	[2]
9	Sriram Sankaranarayanan	[4] [8]
10	Kapil Vaswani	[5] [6]
11	Yifei Yuan	[7]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page