| |
| * | 2009 | |
|---|---|---|
| 5 | EE | Ashutosh Gupta, Andrey Rybalchenko: InvGen: An Efficient Invariant Generator. CAV 2009: 634-640 |
| 4 | EE | Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko: From Tests to Proofs. TACAS 2009: 262-276 |
| 2008 | ||
| 3 | EE | Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu: Proving non-termination. POPL 2008: 147-158 |
| 2007 | ||
| 2 | Ashutosh Gupta, Suneeta Agarwal: Word Based Text Compression Using Encryption. IMECS 2007: 471-473 | |
| 1 | Ashutosh Gupta, Suneeta Agarwal: New Transform for Improving Compression Performance in Natural Language Text. IMECS 2007: 564-567 | |
| 1 | Suneeta Agarwal | [1] [2] |
| 2 | Thomas A. Henzinger | [3] |
| 3 | Rupak Majumdar | [3] [4] |
| 4 | Andrey Rybalchenko | [3] [4] [5] |
| 5 | Ru-Gang Xu | [3] |