- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| i1 |      | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko: Generalised Interpolation by Solving Recursion-Free Horn Clauses. CoRR abs/1303.7378 (2013) |
| 2012 | ||
| c18 | | |
| c17 | | Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin: Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits. CAV 2012: 294-309 |
| c16 | | Chandan Maity, Chaitanya Garg, Ashutosh Gupta: Ultra low power device to track environmental sensitive items in transit. ICACCI 2012: 1155-1162 |
| c15 | | Ashutosh Gupta: Improved Single Pass Algorithms for Resolution Proof Reduction - (Poster Presentation). SAT 2012: 469-470 |
| c14 | | Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko: HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution). TACAS 2012: 549-551 |
| 2011 | ||
| j4 | | Ashutosh Gupta, Suneeta Agarwal: Searching a pattern in compressed DNA sequences. IJBRA 7(2): 115-129 (2011) |
| c13 | | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko: Solving Recursion-Free Horn Clauses over LI+UIF. APLAS 2011: 188-203 |
| c12 | | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko: Threader: A Constraint-Based Verifier for Multi-threaded Programs. CAV 2011: 412-417 |
| c11 | | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko: Predicate abstraction and refinement for verifying multi-threaded programs. POPL 2011: 331-344 |
| 2010 | ||
| j3 | | Ashutosh Gupta, Suneeta Agarwal: A fast dynamic compression scheme for natural language texts. Computers & Mathematics with Applications 60(12): 3139-3151 (2010) |
| j2 | | Ashutosh Gupta, Suneeta Agarwal: Partial retrieval of compressed semi-structured documents. IJCAT 38(4): 239-249 (2010) |
| c10 | | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko: Non-monotonic Refinement of Control Abstraction for Concurrent Programs. ATVA 2010: 188-202 |
| c9 | | Ashutosh Gupta, Vinay Rishiwal, Suneeta Agarwal: Efficient Storage of Massive Biological Sequences in Compact Form. IC3 (2) 2010: 13-22 |
| 2009 | ||
| c8 | | Solomon Raju Kota, J. L. Raheja, Ashutosh Gupta, Archana Rathi, Shashikant Sharma: Principal Component Analysis for Gesture Recognition Using SystemC. ARTCom 2009: 732-737 |
| c7 | | |
| c6 | | Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis: Finding heap-bounds for hardware synthesis. FMCAD 2009: 205-212 |
| c5 | | Chandan Maity, Ashutosh Gupta, Mahua Maity: Timing Analysis of Passive UHF RFID - EPC C1G2 System in Dynamic Frame. IC3 2009: 216-227 |
| c4 | | |
| 2008 | ||
| j1 | | Ashutosh Gupta, Bhaswati Mukherjee, S. K. Upadhyay: Weibull extension model: A Bayes study using Markov chain Monte Carlo simulation. Rel. Eng. & Sys. Safety 93(10): 1434-1443 (2008) |
| c3 | | Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu: Proving non-termination. POPL 2008: 147-158 |
| 2007 | ||
| c2 |  | |
| c1 | | Ashutosh Gupta, Suneeta Agarwal: New Transform for Improving Compression Performance in Natural Language Text. IMECS 2007: 564-567 |
Colors in the list of coauthors
Last update Sat May 25 20:14:57 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page