Ashutosh Gupta

	2009
5		Ashutosh Gupta, Andrey Rybalchenko: InvGen: An Efficient Invariant Generator. CAV 2009: 634-640
4		Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko: From Tests to Proofs. TACAS 2009: 262-276
	2008
3		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

Coauthor Index

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]

Colors in the list of coauthors