Malay K. Ganai

发表

Aarti Gupta, Malay K. Ganai, Aarti Gupta, 2008, 2008 Design, Automation and Test in Europe.
Chao Wang, Aarti Gupta, Malay K. Ganai, 2006, SFM.
Aarti Gupta, Malay K. Ganai, Aarti Gupta, 2006, 2006 IEEE/ACM International Conference on Computer Aided Design.
Aarti Gupta, Malay K. Ganai, Pranav Ashar, 2004, IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..
Pallavi Joshi, Aarti Gupta, Malay K. Ganai, 2014, SoCC.
Sriram Sankaranarayanan, Edmund M. Clarke, Sicun Gao, 2010, Formal Methods in Computer Aided Design.
Zijiang Yang, Aarti Gupta, Malay K. Ganai, 2005, International Journal on Software Tools for Technology Transfer.
Aarti Gupta, Malay K. Ganai, Aarti Gupta, 2007 .
Sriram Sankaranarayanan, Chao Wang, Weihong Li, 2010, Formal Methods in Computer Aided Design.
Chao Wang, Weihong Li, Malay K. Ganai, 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Adnan Aziz, Praveen Yalagandula, Malay K. Ganai, 2001, J. Electron. Test..
Kazutoshi Wakabayashi, Aarti Gupta, Malay K. Ganai, 2007, 20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07).
Aarti Gupta, Malay K. Ganai, Aarti Gupta, 2007, 2007 Asia and South Pacific Design Automation Conference.
Chao Wang, Aarti Gupta, Malay K. Ganai, 2009, Formal Aspects of Computing.
Aarti Gupta, Malay K. Ganai, Pranav Ashar, 2004, CAV.
Zijiang Yang, Aarti Gupta, Malay K. Ganai, 2003, International Journal on Software Tools for Technology Transfer.
Daniel Kroening, Shuvendu K. Lahiri, Chao Wang, 2008, ICCAD 2008.
Rajesh Gupta, Malay K. Ganai, Sudipta Kundu, 2008, 2008 45th ACM/IEEE Design Automation Conference.
Sriram Sankaranarayanan, Aarti Gupta, Malay K. Ganai, 2010, Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010).
Malay K. Ganai, 2010, Formal Methods in Computer Aided Design.
Aarti Gupta, Malay K. Ganai, Dongyoon Lee, 2012, SIGSOFT FSE.
Zijiang Yang, Aarti Gupta, Malay K. Ganai, 2005, CAV.
Aarti Gupta, Malay K. Ganai, 2007 .
Aarti Gupta, Malay K. Ganai, Pranav Ashar, 2005, Design, Automation and Test in Europe.
Chao Wang, Malay K. Ganai, Sudipta Kundu, 2010, CAV.
Chao Wang, Gogul Balakrishnan, Aarti Gupta, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Malay K. Ganai, Franjo Ivancic, 2009, 2009 Formal Methods in Computer-Aided Design.
Chao Wang, Aarti Gupta, Malay K. Ganai, 2006, 2006 43rd ACM/IEEE Design Automation Conference.
Malay K. Ganai, Andreas Kuehlmann, Viresh Paruthi, 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
Daniel Kroening, Chao Wang, Shuvendu K. Lahiri, 2008, ICCAD.
Zijiang Yang, Aarti Gupta, Malay K. Ganai, 2003, ICCAD.
Malay K. Ganai, Aarti Gupta, Pranav Ashar, 2008, Theor. Comput. Sci..
Malay K. Ganai, Aarti Gupta, 2007 .
Aarti Gupta, Malay K. Ganai, Franjo Ivancic, 2005, TACAS.
Chao Wang, Zijiang Yang, Vineet Kahlon, 2005, 2005 International Conference on Computer Design.
Aarti Gupta, Malay K. Ganai, 2007 .
Aarti Gupta, Malay K. Ganai, 2007 .
Chao Wang, Aarti Gupta, Malay K. Ganai, 2009, FM.
Malay K. Ganai, Aarti Gupta, 2007 .
Adnan Aziz, Malay K. Ganai, Jeffrey L. Burns, 1999, Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).
Chao Wang, Zijiang Yang, Aarti Gupta, 2003, CAV.
Aarti Gupta, Malay K. Ganai, Aarti Gupta, 2008, SPIN.
Malay K. Ganai, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Aarti Gupta, Malay K. Ganai, Pranav Ashar, 2005, 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design.
Aarti Gupta, Malay K. Ganai, Muralidhar Talupur, 2007, J. Satisf. Boolean Model. Comput..
Adnan Aziz, Malay K. Ganai, A. Aziz, 2002, Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design.
Aarti Gupta, Malay K. Ganai, 2007 .
Aarti Gupta, Malay K. Ganai, Aarti Gupta, 2008, 2008 45th ACM/IEEE Design Automation Conference.
Srihari Cadambi, Zijiang Yang, Aarti Gupta, 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Chao Wang, Zijiang Yang, Aarti Gupta, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
Adnan Aziz, Malay K. Ganai, 2001, GLSVLSI '01.
Anoop Gupta, Srihari Cadambi, Zijiang Yang, 2006 .
Malay K. Ganai, Adnan Aziz, 1998 .
Aarti Gupta, Malay K. Ganai, Pranav Ashar, 2005, TACAS.
Malay K. Ganai, Andreas Kuehlmann, Florian Krohm, 2002, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Pallavi Joshi, Gogul Balakrishnan, Aarti Gupta, 2013, TRIOS@SOSP.
Aarti Gupta, Malay K. Ganai, 2007 .
Aarti Gupta, Malay K. Ganai, 2007 .
Chao Wang, Aarti Gupta, Malay K. Ganai, 2010, TACAS.
Gogul Balakrishnan, Malay K. Ganai, Gogul Balakrishnan, 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Aarti Gupta, Malay K. Ganai, 2007 .
Adnan Aziz, Malay K. Ganai, Andreas Kuehlmann, 1999, DAC '99.
Weihong Li, Malay K. Ganai, Weihong Li, 2009, 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design.
Weihong Li, Malay K. Ganai, 2008, Haifa Verification Conference.
Aarti Gupta, Malay K. Ganai, Pranav Ashar, 2005, Proceedings. 42nd Design Automation Conference, 2005..
Aarti Gupta, Malay K. Ganai, 2007, Series on Integrated Circuits and Systems.
Yu Lin, Pallavi Joshi, Gogul Balakrishnan, 2014, VECPAR.
Malay K. Ganai, 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Malay K. Ganai, Pranav Ashar, Ilya Shlyakhter, 2005 .
Malay K. Ganai, M. Ganai, 2014 .
Sriram Sankaranarayanan, Aarti Gupta, Malay K. Ganai, 2009 .
Adnan Aziz, Malay K. Ganai, 2001 .
Malay K. Ganai, Aarti Gupta, P. Ashar, 2003, ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486).
Malay K. Ganai, M. Ganai, Aarti Gupta, 2008 .
Malay K. Ganai, Aarti Gupta, P. Ashar, 2004, IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..
Malay K. Ganai, M. Ganai, A. Kuehlmann, 1999, Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).