Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jyotirmoy V. Deshmukh" ( http://dblp.L3S.de/Authors/Jyotirmoy_V._Deshmukh )

URL (Homepage):  http://www.cerc.utexas.edu/~jyotirmoy/  Author page on DBLP  Author page in RDF  Community of Jyotirmoy V. Deshmukh in ASPL-2

Publication years (Num. hits)
2006 (1) 2008 (1) 2009 (2) 2010 (1) 2011 (4)
Publication types (Num. hits)
article(3) inproceedings(6)
Venues (Conferences, Journals, ...)
FMCAD(2) ASE(1) Autom. Softw. Eng.(1) CoRR(1) ESOP(1) ICALP(1) Logical Methods in Computer Sc...(1) TACAS(1)
Authors
Jyotirmoy V. Deshmukh(9) E. Allen Emerson(5) G. Ramalingam(2) Kapil Vaswani(2) Rajeev Alur(2) Sriram Sankaranarayanan(2) Venkatesh Prasad Ranganath(2) Loris D'Antoni(1) Mukund Raghothaman(1) Prateek Gupta(1) Roopsha Samanta(1) Yifei Yuan(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan Symbolic modular deadlock analysis. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani Logical Concurrency Control from Sequential Proofs Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Jyotirmoy V. Deshmukh Nondeterministic Streaming String Transducers. Search on Bibsonomy ICALP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani Logical Concurrency Control from Sequential Proofs. Search on Bibsonomy ESOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Concurrent Libraries, Static Analysis, Program Analysis, Deadlock Detection, SMT solvers
1Jyotirmoy V. Deshmukh, E. Allen Emerson Verification of recursive methods on tree-like data structures. Search on Bibsonomy FMCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson Automatic Generation of Local Repairs for Boolean Programs. Search on Bibsonomy FMCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta Automatic Verification of Parameterized Data Structures. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Parameterized correctness, Data structures
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.