Nishant Sinha
发表
Sagar Chaki,
Nishant Sinha,
2006
.
Sriram Sankaranarayanan,
Chao Wang,
Weihong Li,
2010,
Formal Methods in Computer Aided Design.
Flavio Lerda,
Michael Theobald,
Nishant Sinha,
2003,
SoftMC@CAV.
Sagar Chaki,
Edmund M. Clarke,
Natasha Sharygina,
2008,
Formal Methods Syst. Des..
Nishant Sinha,
Nishant Sinha,
2008,
2008 Formal Methods in Computer-Aided Design.
Sagar Chaki,
Natasha Sharygina,
Nishant Sinha,
2004
.
Manu Sridharan,
Satish Chandra,
Nishant Sinha,
2012,
CAV.
Monika Gupta,
Nishant Sinha,
Rezwana Karim,
2015,
ISEC.
Yun Zhang,
Vineet Kahlon,
Nishant Sinha,
2009,
ESEC/FSE '09.
Nishant Sinha,
Nihal Rao,
N. Rao,
2020,
COMAD/CODS.
Emina Torlak,
Satish Chandra,
Vijayaraghavan Murali,
2014,
VSTTE.
Edmund M. Clarke,
Natasha Sharygina,
Nishant Sinha,
2005,
FMCO.
Amir Pnueli,
Ofer Strichman,
Muralidhar Talupur,
2004,
CAV.
Nishant Sinha,
Rezwana Karim,
2015,
ESEC/SIGSOFT FSE.
Joël Ouaknine,
Sagar Chaki,
Edmund M. Clarke,
2004,
IFM.
Abhijit Mitra,
R. Badrinath,
Niloy Mukherjee,
2001,
SPIE ITCom.
Shin-Cheng Mu,
Yu-Fang Chen,
Bow-Yaw Wang,
2017,
NETYS.
Sagar Chaki,
Nishant Sinha,
S. Chaki,
2006,
2006 Formal Methods in Computer Aided Design.
Joël Ouaknine,
Sagar Chaki,
Edmund M. Clarke,
2005,
Formal Aspects of Computing.
Nishant Sinha,
Rezwana Karim,
2013,
ESEC/FSE 2013.
Edmund M. Clarke,
Nishant Sinha,
E. Clarke,
2007
.
James Ivers,
Kurt C. Wallnau,
Nishant Sinha,
2002
.
Chao Wang,
Markus Kusano,
Nishant Sinha,
2016,
SIGSOFT FSE.
Chao Wang,
Nishant Sinha,
Chao Wang,
2010,
FSE '10.
Edmund M. Clarke,
Himanshu Jain,
Nishant Sinha,
2005,
VISSAS.
Edmund M. Clarke,
Nishant Sinha,
2007,
CAV.
Sagar Chaki,
Edmund M. Clarke,
Natasha Sharygina,
2005,
FM.
Sagar Chaki,
Arie Gurfinkel,
Nishant Sinha,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).
Nishant Sinha,
2010,
Formal Methods in Computer Aided Design.
Sagar Chaki,
Edmund M. Clarke,
Nishant Sinha,
2005,
CAV.
Saurabh Sinha,
Satish Chandra,
Suresh Thummalapenta,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Murali Krishna Ramanathan,
Monika Dhok,
Nishant Sinha,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Ajit Pal,
Debasis Samanta,
Nishant Sinha,
2002,
Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design.
Chao Wang,
Nishant Sinha,
Chao Wang,
2011,
POPL '11.
Nishant Sinha,
Saketh Vishnubhatla,
2021,
COMAD/CODS.
Nishant Sinha,
Ritu Gehlot,
2016,
2016 Symposium on Colossal Data Analysis and Networking (CDAN).
Yu-Fang Chen,
Bow-Yaw Wang,
Nishant Sinha,
2015,
TACAS.
Sriram Sankaranarayanan,
Naveen Sharma,
Jing Yang,
2012,
CC.
Vineet Kahlon,
Aarti Gupta,
Nishant Sinha,
2006,
CAV.
Nishant Sinha,
2021,
Adv. Math. Commun..
Emina Torlak,
Satish Chandra,
Vijayaraghavan Murali,
2014
.
Nishant Sinha,
Atul Singh,
Nitin Agrawal,
2010
.