Ashutosh Gupta
发表
Ashutosh Gupta,
Ashutosh Gupta,
2012,
ATVA.
Rupak Majumdar,
Ashutosh Gupta,
Andrey Rybalchenko,
2009,
TACAS.
T. Henzinger,
Ashutosh Gupta,
Przemyslaw Daca,
2015
.
Supratik Chakraborty,
Ashutosh Gupta,
Divyesh Unadkat,
2022,
International Journal on Software Tools for Technology Transfer.
Ashutosh Gupta,
David Levens,
Laura Baranello,
2012,
Biochimica et biophysica acta.
Thomas A. Henzinger,
Ashutosh Gupta,
T. Henzinger,
2013,
Lecture Notes in Computer Science.
T. Przytycka,
Ashutosh Gupta,
D. Levens,
2013,
Nature Structural &Molecular Biology.
Ashutosh Gupta,
D. Levens,
2010,
Science.
Ashutosh Gupta,
Andrey Rybalchenko,
A. Rybalchenko,
2009,
CAV.
Ashutosh Gupta,
Ankit Shukla,
Mukund Thattai,
2018,
ArXiv.
Ashutosh Gupta,
Arnab Bhattacharyya,
Lakshmanan Kuppusamy,
2019,
Acta Informatica.
Ashutosh Gupta,
Andrey Rybalchenko,
Corneliu Popeea,
2011,
POPL '11.
Supratik Chakraborty,
Divyesh Unadkat,
Ashutosh Gupta,
2021,
CAV.
Thomas A. Henzinger,
Rupak Majumdar,
Ashutosh Gupta,
2008,
POPL '08.
Andrei Voronkov,
Laura Kovács,
Ashutosh Gupta,
2014,
ATVA.
Ashutosh Gupta,
Andrey Rybalchenko,
Corneliu Popeea,
2011,
CAV.
Thomas A. Henzinger,
Arjun Radhakrishna,
Ashutosh Gupta,
2015,
POPL.
Thomas A. Henzinger,
Ashutosh Gupta,
Przemyslaw Daca,
2015,
VMCAI.
Mukund Thattai,
Ansuman Biswas,
Ashutosh Gupta,
2021,
CMSB.
Thomas A. Henzinger,
Ali Sezgin,
Ashutosh Gupta,
2012,
CAV.
Ashutosh Gupta,
Georg Hofferek,
Ashutosh Gupta,
2014,
Haifa Verification Conference.
Ashutosh Gupta,
Ankit Shukla,
Somya Mani,
2018,
CMSB.
Rahul Jain,
Supratik Chakraborty,
Ashutosh Gupta,
2016,
VMCAI.
Ashutosh Gupta,
Andrey Rybalchenko,
Corneliu Popeea,
2010,
ATVA.