Supratik Chakraborty

发表

Sasidhar Sunkari, Supratik Chakraborty, Vivekananda M. Vedula, 2007, 2007 Eighth International Workshop on Microprocessor Test and Verification.
Kenneth Y. Yun, Supratik Chakraborty, Rene L. Cruz, 2000, IEEE Trans. Very Large Scale Integr. Syst..
Madhav P. Desai, Supratik Chakraborty, Gautam Hazari, 2004, 17th International Conference on VLSI Design. Proceedings..
Sanjit A. Seshia, Daniel J. Fremont, Supratik Chakraborty, 2014, AAAI.
Supratik Chakraborty, Shrawan Kumar, Priyanka Darke, 2020, TACAS.
Supratik Chakraborty, Ajith K. John, 2013, TACAS.
Supratik Chakraborty, Hrishikesh Karmarkar, 2011, ArXiv.
Supratik Chakraborty, Divyesh Unadkat, Ashutosh Gupta, 2020, TACAS.
Supratik Chakraborty, Ashutosh Trivedi, Ajith K. John, 2015, 2015 Formal Methods in Computer-Aided Design (FMCAD).
Supratik Chakraborty, Moshe Y. Vardi, Aditya A. Shrotri, 2019, CP.
Supratik Chakraborty, K. Y. Yun, D. I. Dill, 1999, Proc. IEEE.
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat, 2017, SAS.
Supratik Chakraborty, Manas Joglekar, Hrishikesh Karmarkar, 2013, ATVA.
Supratik Chakraborty, Shubham Goel, S. Akshay, 2018, CAV.
David L. Dill, Supratik Chakraborty, K. Y. Yun, 2002 .
Ankur Taly, Varun Kanade, Supratik Chakraborty, 2007 .
Supratik Chakraborty, Sukanya Basu, S. Akshay, 2019, CP.
Supratik Chakraborty, Carl-Johan H. Seger, Zurab Khasidashvili, 2017, Formal Methods Syst. Des..
Supratik Chakraborty, Bharat Adsul, Abhisekh Sankaran, 2013, ArXiv.
Supratik Chakraborty, Seetha Jayasankar, 2013, 2013 IEEE Conference on Computer Aided Control System Design (CACSD).
Supratik Chakraborty, Dipanwita Roy Chowdhury, B. Vamsi, 1993, ICCAD '93.
Joycee Mekie, P. S. Thiagarajan, Supratik Chakraborty, 2006, 12th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'06).
Supratik Chakraborty, Bharat Adsul, Abhisekh Sankaran, 2014, MFCS.
David L. Dill, Supratik Chakraborty, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
Supratik Chakraborty, Paritosh K. Pandya, Dina Thomas, 2007, International Journal on Software Tools for Technology Transfer.
Joycee Mekie, Supratik Chakraborty, Dinesh K. Sharma, 2006, Formal Methods Syst. Des..
Supratik Chakraborty, Moshe Y. Vardi, Kuldeep S. Meel, 2015, AAAI.
Supratik Chakraborty, Bharat Adsul, Abhisekh Sankaran, 2018, 1811.01014.
Supratik Chakraborty, Paritosh K. Pandya, Babita Sharma, 2005, TACAS.
Supratik Chakraborty, Shubham Goel, Sumith Kulal, 2020, Formal Methods Syst. Des..
Supratik Chakraborty, Moshe Y. Vardi, Kuldeep S. Meel, 2015, IJCAI.
Parimal Pal Chaudhuri, Vamsi Boppana, Supratik Chakraborty, 1993, The Sixth International Conference on VLSI Design.
David L. Dill, Supratik Chakraborty, K. Y. Yun, 1998, Proceedings of the IEEE 1998 Custom Integrated Circuits Conference (Cat. No.98CH36143).
Supratik Chakraborty, Moshe Y. Vardi, Kuldeep S. Meel, 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).
Supratik Chakraborty, Rohan Angrish, 2002, Proceedings Eighth International Symposium on Asynchronous Circuits and Systems.
Supratik Chakraborty, Sai Sandeep, Ankush Das, 2017, CONCUR.
Parimal Pal Chaudhuri, Supratik Chakraborty, Dipanwita Roy Chowdhury, 1996, IEEE Trans. Computers.
Supratik Chakraborty, Ajith K. John, Supratik Chakraborty, 2016, Formal Methods Syst. Des..
Rajeev Murgai, Supratik Chakraborty, Ankur Srivastava, 2007 .
Supratik Chakraborty, Supratik Chakraborty, 2012, Modern Applications of Automata Theory.
Supratik Chakraborty, Paritosh K. Pandya, Dina Thomas, 2006, TACAS.
Rajeev Murgai, Supratik Chakraborty, 2001, VLSI Design 2001. Fourteenth International Conference on VLSI Design.
Supratik Chakraborty, Jeff Edmonds, J. Edmonds, 2010, SODA '10.
Rahul Jain, Supratik Chakraborty, Ashutosh Gupta, 2016, VMCAI.
Vishwani D. Agrawal, Masahiro Fujita, Jacob A. Abraham, 2004 .
Supratik Chakraborty, Moshe Y. Vardi, Kuldeep S. Meel, 2013, CP.
Supratik Chakraborty, G. Ramalingam, Aditya V. Nori, 2011, TOPL.
Supratik Chakraborty, G. Ramalingam, Aditya V. Nori, 2009, SAS.
Kenneth Y. Yun, David L. Dill, Supratik Chakraborty, 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Parimal Pal Chaudhuri, Supratik Chakraborty, Dipanwita Roy Chowdhury, 1993, The Sixth International Conference on VLSI Design.
Sanjit A. Seshia, Daniel J. Fremont, Supratik Chakraborty, 2015, TACAS.
Kenneth Y. Yun, Supratik Chakraborty, Rene L. Cruz, 1998, Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273).
David L. Dill, Supratik Chakraborty, 1997, Proceedings Third International Symposium on Advanced Research in Asynchronous Circuits and Systems.
Joycee Mekie, Supratik Chakraborty, Dinesh K. Sharma, 2004, 17th International Conference on VLSI Design. Proceedings..
Supratik Chakraborty, Moshe Y. Vardi, Kuldeep S. Meel, 2019, AAAI.
Supratik Chakraborty, Ajith K. John, S. Akshay, 2017, TACAS.
Supratik Chakraborty, Sriram K. Rajamani, Aditya V. Nori, 2010, Inf. Process. Lett..
Kenneth Y. Yun, David L. Dill, Supratik Chakraborty, 1997, Proceedings Third International Symposium on Advanced Research in Asynchronous Circuits and Systems.
Rajeev Murgai, Supratik Chakraborty, 2002, Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design.
Supratik Chakraborty, Carl-Johan H. Seger, Zurab Khasidashvili, 2015, CAV.
Supratik Chakraborty, Ajith K. John, 2014, ICMS.
Supratik Chakraborty, Jatin Arora, Shetal Shah, 2019, 2019 Formal Methods in Computer Aided Design (FMCAD).
Supratik Chakraborty, Moshe Y. Vardi, Lucas M. Tabajara, 2018, 2018 Formal Methods in Computer Aided Design (FMCAD).
Tsuneo Nakata, Supratik Chakraborty, S. Ramesh, 2002, Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design.
Supratik Chakraborty, Sriram K. Rajamani, Aditya V. Nori, 2008, TACAS.
Supratik Chakraborty, Uday P. Khedker, Swati Jaiswal, 2020, Sci. Comput. Program..
Supratik Chakraborty, Moshe Y. Vardi, Aditya A. Shrotri, 2020, 2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD).
Supratik Chakraborty, Moshe Y. Vardi, Kuldeep S. Meel, 2013, CAV.
Sharad Malik, Sanjit A. Seshia, Daniel J. Fremont, 2015, AAAI Workshop: Beyond NP.
Vasudeva Varma, Supratik Chakraborty, 2019, Commun. ACM.
Supratik Chakraborty, Hrishikesh Karmarkar, 2009, ATVA.
Supratik Chakraborty, Pritish Kamath, Vivek Madan, 2012, WoLLIC.
Supratik Chakraborty, Divyesh Unadkat, Ashutosh Gupta, 2021, CAV.
Supratik Chakraborty, Aman Bansal, Preey Shah, 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Rajeev Murgai, Supratik Chakraborty, 2001 .
David L. Dill, Supratik Chakraborty, Pasupathi A. Subrahmanyam, 1997 .
David L. Dill, Supratik Chakraborty, 1997, ICCAD 1997.
Nutan Limaye, Supratik Chakraborty, Abhisekh Sankaran, 2012 .