Sudipta Kundu, Ph.D. - Publications
Affiliations: | 2009 | Computer Science and Engineering | University of California, San Diego, La Jolla, CA |
Area:
Computer ScienceYear | Citation | Score | |||
---|---|---|---|---|---|
2014 | Mathew J, Babu DG, Kundu S, Kumar KV, Pant CC. Integrating intensity–duration-based rainfall threshold and antecedent rainfall-based probability estimate towards generating early warning for rainfall-induced landslides in parts of the Garhwal Himalaya, India Landslides. 11: 575-588. DOI: 10.1007/S10346-013-0408-2 | 0.301 | |||
2011 | Wang C, Kundu S, Limaye R, Ganai M, Gupta A. Symbolic predictive analysis for concurrent programs Formal Aspects of Computing. 23: 781-805. DOI: 10.1007/S00165-011-0179-2 | 0.346 | |||
2010 | Kundu S, Lerner S, Gupta RK. Translation Validation of High-Level Synthesis Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 29: 566-579. DOI: 10.1109/Tcad.2010.2042889 | 0.509 | |||
2009 | Kundu S, Lerner S, Gupta RK. High-Level Verification Ipsj Transactions On System Lsi Design Methodology. 2: 131-144. DOI: 10.2197/Ipsjtsldm.2.131 | 0.508 | |||
Show low-probability matches. |