Ashutosh Gupta
发表
Andreas Dengel,
Syed Saqib Bukhari,
Ashutosh Gupta,
2018,
ICPRAM.
Ashutosh Gupta,
Solomon Raju Kota,
Shashikant Nayak,
2009
.
Ashutosh Gupta,
Ravi Shankar Shukla,
Neeraj Tyagi,
2017,
Int. J. Ad Hoc Ubiquitous Comput..
Ashutosh Gupta,
Varun Krishna,
Saarthak Gupta,
2016
.
Thomas A. Henzinger,
Ashutosh Gupta,
Tatjana Petrov,
2015,
TACAS.
Sujata Pandey,
Ashutosh Gupta,
Shivani Yadav,
2014,
2014 Eleventh International Conference on Wireless and Optical Communications Networks (WOCN).
Supratik Chakraborty,
Ashutosh Gupta,
Divyesh Unadkat,
2017,
SAS.
Ashutosh Gupta,
Chandan Maity,
Chaitanya Garg,
2012,
ICACCI '12.
Thomas A. Henzinger,
Ashutosh Gupta,
Cezara Dragoi,
2013,
CAV.
Ashutosh Gupta,
Eshita Madhok,
Nidhi Grover,
2016
.
Ashutosh Gupta,
Bhaswati Mukherjee,
Satyanshu K. Upadhyay,
2008,
Reliab. Eng. Syst. Saf..
Anubhav Garg,
Ashutosh Gupta,
Pradeep Kumar,
2016,
2016 International Conference on Advances in Computing, Communications and Informatics (ICACCI).
Ashutosh Gupta,
Andrey Rybalchenko,
A. Rybalchenko,
2009,
CAV.
Ashutosh Gupta,
Shruti Murgai,
Gayathri Muthukrishnan,
2015,
2015 International Conference on Advances in Computing, Communications and Informatics (ICACCI).
Thomas A. Henzinger,
Rupak Majumdar,
Ashutosh Gupta,
2008,
POPL '08.
Ashutosh Gupta,
Andrey Rybalchenko,
Nuno P. Lopes,
2012,
TACAS.
Ashutosh Gupta,
Andrey Rybalchenko,
Corneliu Popeea,
2011,
CAV.
Rupak Majumdar,
Ashutosh Gupta,
Andrey Rybalchenko,
2012,
International Journal on Software Tools for Technology Transfer.
Ashutosh Gupta,
Andrey Rybalchenko,
Corneliu Popeea,
2011,
POPL '11.
Rupak Majumdar,
Ashutosh Gupta,
Andrey Rybalchenko,
2009,
TACAS.
Ashutosh Gupta,
T. P. Srinivasan,
S. Devakanth Naidu,
2011,
2011 Nirma University International Conference on Engineering.
Ashutosh Gupta,
Pratim Kumar Chattaraj,
Gabriel Merino,
2015,
J. Comput. Chem..
Thomas A. Henzinger,
Ashutosh Gupta,
2015,
ACM Trans. Model. Comput. Simul..
Ashutosh Gupta,
Andrey Rybalchenko,
Corneliu Popeea,
2010,
ATVA.
Ashutosh Gupta,
Arnab Bhattacharyya,
Lakshmanan Kuppusamy,
2019,
Acta Informatica.
Andrei Voronkov,
Laura Kovács,
Ashutosh Gupta,
2014,
ATVA.
Laura Kovács,
Ashutosh Gupta,
Bernhard Kragl,
2013,
LPAR.
Jie-Hong Roland Jiang,
Ashutosh Gupta,
Bettina Könighofer,
2013,
2013 Formal Methods in Computer-Aided Design.
Ashutosh Gupta,
Debasis Das,
Akshita Bhandari,
2017,
ICSCA '17.
Performance Analysis and FPGA Implementation of Digital PID Controller for Speed Control of DC Motor
Ashutosh Gupta,
Haneet Rana,
Charul Agarwal,
2013,
BIOINFORMATICS 2013.
Viktor Vafeiadis,
Satnam Singh,
Ashutosh Gupta,
2009,
2009 Formal Methods in Computer-Aided Design.
Improvised Apriori Algorithm using frequent pattern tree for real time applications in data mining
pdf
Ashutosh Gupta,
Debasis Das,
Akshita Bhandari,
2014,
ArXiv.
Ashutosh Gupta,
Ankur Jain,
Dewang Gedia,
2019,
ArXiv.
Ashutosh Gupta,
Shipra Gupta,
2017
.
Jagdish Lal Raheja,
Ashutosh Gupta,
Kota Solomon Raju,
2009,
2009 International Conference on Advances in Recent Technologies in Communication and Computing.
Thomas A. Henzinger,
Ashutosh Gupta,
Przemyslaw Daca,
2015,
VMCAI.
Ashutosh Gupta,
2012,
SAT.
Rahul Jain,
Supratik Chakraborty,
Ashutosh Gupta,
2016,
VMCAI.
Ashutosh Gupta,
Georg Hofferek,
Ashutosh Gupta,
2014,
Haifa Verification Conference.
Ashutosh Gupta,
Andrey Rybalchenko,
Corneliu Popeea,
2011,
APLAS.
Suneeta Agarwal,
Ashutosh Gupta,
2011,
Int. J. Bioinform. Res. Appl..
Suneeta Agarwal,
Ashutosh Gupta,
2010,
Int. J. Comput. Appl. Technol..
Ashutosh Gupta,
Andrey Rybalchenko,
Corneliu Popeea,
2014,
HCVS.
Ashutosh Gupta,
Shankar Anand,
Ankit Banaudha,
2017
.
Suneeta Agarwal,
Ashutosh Gupta,
2007,
IMECS.
Chandra Sekhar Seelamantula,
Ashutosh Gupta,
Babu Kishore Subramanian,
2016,
ICVGIP '16.
Ashutosh Gupta,
Ashutosh Gupta,
2012,
ATVA.
Ashutosh Gupta,
Chandan Maity,
Sanjat Kumar Panigrahi,
2013
.
Thomas A. Henzinger,
Ali Sezgin,
Ashutosh Gupta,
2012,
CAV.
Thomas A. Henzinger,
Ashutosh Gupta,
Tatjana Petrov,
2016,
Acta Informatica.
Suneeta Agarwal,
Vinay Rishiwal,
Ashutosh Gupta,
2010,
IC3.
Chandra Sekhar Seelamantula,
Ashutosh Gupta,
Sagar Venkatesh Gubbi,
2016,
ICVGIP '16.
Ashutosh Gupta,
Chandan Maity,
Mahua Maity,
2009,
IC3.
Ashutosh Gupta,
Ankit Shukla,
Mukund Thattai,
2018,
ArXiv.
Thomas A. Henzinger,
Arjun Radhakrishna,
Ashutosh Gupta,
2015,
POPL.
Ashutosh Gupta,
Ankit Shukla,
Somya Mani,
2018,
CMSB.
Gaurav Yadav,
Ashutosh Gupta,
Saket Kumar,
2018,
2018 International Conference on Intelligent Circuits and Systems (ICICS).
Suneeta Agarwal,
Rahul Gupta,
Ashutosh Gupta,
2008,
2008 IEEE International Conference on System of Systems Engineering.
Gaurav Yadav,
Ashutosh Gupta,
Saket Kumar,
2018,
2018 International Conference on Intelligent Circuits and Systems (ICICS).
Suneeta Agarwal,
Ashutosh Gupta,
2007,
IMECS.