Robert K. Brayton

发表

Robert K. Brayton, Paul R. Stephan, 1993, Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.
Robert K. Brayton, Giovanni De Micheli, Mathias Soeken, 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, William K. C. Lam, 1994, 31st Design Automation Conference.
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .
Robert K. Brayton, Yu-Yun Dai, R. Brayton, 2017, 2017 IEEE International Symposium on Hardware Oriented Security and Trust (HOST).
Robert K. Brayton, Zhongcheng Li, Yinghua Min, 1998, Proceedings Seventh Asian Test Symposium (ATS'98) (Cat. No.98TB100259).
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 2015, Proc. IEEE.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sharad Malik, 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Gary D. Hachtel, 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Giovanni De Micheli, Alan Mishchenko, 2020, ArXiv.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Jie-Hong Roland Jiang, Alan Mishchenko, 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.
Robert K. Brayton, Mathias Soeken, Alan Mishchenko, 2018, DAC.
Robert K. Brayton, William K. C. Lam, R. Brayton, 1993, CAV.
Robert K. Brayton, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
Robert K. Brayton, Adnan Aziz, Carl Pixley, 1995, Proceedings of EURO-DAC. European Design Automation Conference.
Robert K. Brayton, Yunjian Jiang, 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).
Robert K. Brayton, Timothy Kam, 1990 .
Robert K. Brayton, Robert P. Kurshan, Hervé J. Touati, 1995, Inf. Comput..
Robert K. Brayton, Jan M. Rabaey, Alberto Sangiovanni-Vincentelli, 1990 .
Robert K. Brayton, Andreas Veneris, Yu-Shen Yang, 2011 .
Robert K. Brayton, Hervé J. Touati, R. Brayton, 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Rajeev Murgai, Alberto Sangiovanni-Vincentelli, 1995 .
Robert K. Brayton, David Berthelot, Alan Mishchenko, 2010, Formal Methods in Computer Aided Design.
Robert K. Brayton, Anuj Puri, Sriram C. Krishnan, 1995, STACS.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev Murgai, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
Robert K. Brayton, Vigyan Singhal, Ramin Hojati, 1994 .
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Narendra V. Shenoy, 1995, Proceedings of the 8th International Conference on VLSI Design.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, 1993, 30th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Alan Mishchenko, Satrajit Chatterjee, 2005 .
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sunil P. Khatri, 2000, Proceedings 2000 International Conference on Computer Design.
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Thomas R. Shiple, 1996 .
Robert K. Brayton, Huey-Yih Wang, 1994, 31st Design Automation Conference.
Robert K. Brayton, Ellen Sentovich, R. Brayton, 1991, VLSI.
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .
Robert K. Brayton, Rajeev K. Ranjan, R. Brayton, 1997 .
Robert K. Brayton, Gurmeet Singh Manku, Ramin Hojati, 1998, CAV.
Robert K. Brayton, Yosinori Watanabe, 1994, Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC.
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 1997 .
Robert K. Brayton, Fabio Somenzi, Ellen Sentovich, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 2010 .
Tiziano Villa, Robert K. Brayton, Timothy Kam, 1998 .
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .
Robert K. Brayton, Luciano Lavagno, Gianpiero Cabodi, 1996, Proceedings EURO-DAC '96. European Design Automation Conference with EURO-VHDL '96 and Exhibition.
Robert K. Brayton, Yosinori Watanabe, 1991, [1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Tiziano Villa, Robert K. Brayton, Valentina Ciriani, 2018 .
Robert K. Brayton, Ralph H. J. M. Otten, R. Brayton, 2000, Integr..
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Alexander Saldanha, 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Masahiro Fujita, 1996, Proceedings of 9th International Conference on VLSI Design.
Robert K. Brayton, Ramin Hojati, Sriram C. Krishnan, 1996, Proceedings International Conference on Computer Design. VLSI in Computers and Processors.
Robert K. Brayton, Alan Mishchenko, Hamid Savoj, 2014, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Patrick C. McGeer, 1991 .
Robert K. Brayton, A. Richard Newton, Abdallah Tabbara, 1999, DAC '99.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Narendra V. Shenoy, 1993, 30th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Narendra V. Shenoy, 1992, ICCAD.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Mário J. Silva, 1992, Proceedings EURO-DAC '92: European Design Automation Conference.
Robert K. Brayton, Alan Mishchenko, Subarnarekha Sinha, 2002, IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002..
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Sharad Malik, Vigyan Singhal, 1996, ICCAD 1996.
Robert K. Brayton, Jie-Hong Roland Jiang, Alan Mishchenko, 2004, IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..
Robert K. Brayton, Gitanjali M. Swamy, G. Swamy, 1996 .
Robert K. Brayton, Carl Pixley, Vigyan Singhal, 1995, Proceedings of ISCAS'95 - International Symposium on Circuits and Systems.
Robert K. Brayton, Abdallah Tabbara, Fan Mo, 2001, Proceedings 2001 IEEE International Conference on Computer Design: VLSI in Computers and Processors. ICCD 2001.
Robert K. Brayton, Yu-Yun Dai, Kei-Yong Khoo, 2014, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).
Robert K. Brayton, William K. C. Lam, 1994 .
Robert K. Brayton, Eugene Goldberg, Yuji Kukimoto, 1998, Proceedings Design, Automation and Test in Europe.
Robert K. Brayton, A. Richard Newton, Bassam Tabbara, 2000, Integr..
Robert K. Brayton, Fan Mo, R. Brayton, 2004, IWLS.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Giovanni De Micheli, 1986, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Shaz Qadeer, Vigyan Singhal, 1996, Proceedings International Conference on Computer Design. VLSI in Computers and Processors.
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Adnan Aziz, 1997, ICCAD 1997.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev K. Ranjan, 1996, DAC '96.
Robert K. Brayton, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, William K. C. Lam, 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Giovanni De Micheli, 1985, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Paul R. Stephan, 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Vigyan Singhal, Gitanjali Swamy, 1995, Proceedings of ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors.
Robert K. Brayton, Jie-Hong Roland Jiang, Alan Mishchenko, 2016, SAT.
Robert K. Brayton, William K. C. Lam, R. Brayton, 1994, CAV.
Robert K. Brayton, Alan Mishchenko, Subarnarekha Sinha, 2002, IWLS.
Robert K. Brayton, Yuhong Zhao, Zhongcheng Li, 1997, Proceedings International Conference on Computer Design VLSI in Computers and Processors.
Robert K. Brayton, Yosinori Watanabe, Vigyan Singhal, 1993, Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Patrick C. McGeer, 2003 .
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 2008, Discret. Event Dyn. Syst..
Robert K. Brayton, Patrick C. McGeer, 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Robert K. Brayton, Sayak Ray, Pierluigi Nuzzo, 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).
Robert K. Brayton, Nikhil Sharma, Alan Mishchenko, 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Robert K. Brayton, Alan Mishchenko, Satrajit Chatterjee, 2006, ICCAD.
Robert K. Brayton, Philip Chong, 2001 .
Robert K. Brayton, Alan Mishchenko, Timothy Kam, 2006, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..
Robert K. Brayton, Yunjian Jiang, 2001, CODES '01.
Robert K. Brayton, Cho W. Moon, 1993, 30th ACM/IEEE Design Automation Conference.
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 2007, GLSVLSI '07.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sunil P. Khatri, 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Robert K. Brayton, Hervé J. Touati, Hamid Savoj, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Narendra V. Shenoy, 1991, [1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Robert K. Brayton, Ellen Sentovich, 1994, Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Robert K. Brayton, Patrick C. McGeer, 1991 .
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 1997 .
Robert K. Brayton, Yosinori Watanabe, Lisa M. Guerra, 1993, Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.
Robert K. Brayton, Sunil P. Khatri, R. Brayton, 1999, Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).
Robert K. Brayton, Alexander Saldanha, Adnan Aziz, 1995, CAV.
Robert K. Brayton, Alan Mishchenko, Bruno de O. Schmitt, 2018, 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC).
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, 1994, 31st Design Automation Conference.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Adnan Aziz, 1995, ICCAD.
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Gary D. Hachtel, 1984 .
Robert K. Brayton, Alan Mishchenko, Jason Baumgartner, 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, William K. C. Lam, 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Paul R. Stephan, Cho W. Moon, 1994, J. VLSI Signal Process..
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev Murgai, 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.
Szu-Tsung Cheng, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 1994, 31st Design Automation Conference.
Robert K. Brayton, Yinghua Li, Alex Kondratyev, 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..
Robert K. Brayton, Patrick C. McGeer, R. Brayton, 1991 .
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 2012 .
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, William K. C. Lam, 1993, 30th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Luciano Lavagno, Gianpiero Cabodi, 2000, Formal Methods Syst. Des..
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Albert R. Wang, 1989, 26th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Alan Mishchenko, 2008, 2008 Formal Methods in Computer-Aided Design.
Tiziano Villa, Stephen A. Edwards, Szu-Tsung Cheng, 1996, CAV.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, William K. C. Lam, 1992, ICCAD.
Robert K. Brayton, Fabio Somenzi, R. Brayton, 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Robert K. Brayton, Jie-Hong Roland Jiang, R. Brayton, 2004, CAV.
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Sunil P. Khatri, 1998 .
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, 1993, The Sixth International Conference on VLSI Design.
Robert K. Brayton, Jie-Hong Roland Jiang, 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Sungmin Cho, Alan Mishchenko, 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.
Robert K. Brayton, William K. C. Lam, 1994 .
Robert K. Brayton, Jason Cong, R. Brayton, 2010, IEEE Des. Test Comput..
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Sunil P. Khatri, 2001 .
Robert K. Brayton, Ramin Hojati, R. Brayton, 1995, Formal Methods Syst. Des..
Robert K. Brayton, Satrajit Chatterjee, 2007 .
Robert K. Brayton, Yuji Kukimoto, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Bill Lin, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Robert K. Brayton, Adnan Aziz, Vigyan Singhal, 1994, Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Robert K. Brayton, Patrick C. McGeer, P. T. Gutwin, 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.
Robert K. Brayton, Huey-Yih Wang, 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).
Robert K. Brayton, Alan Mishchenko, Malgorzata Chrzanowska-Jeske, 2006, 2006 43rd ACM/IEEE Design Automation Conference.
Tiziano Villa, Robert K. Brayton, Alexander Saldanha, 1991, 28th ACM/IEEE Design Automation Conference.
Tiziano Villa, Robert K. Brayton, Alexander Saldanha, 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).
Tiziano Villa, Robert K. Brayton, Jie-Hong Roland Jiang, 2002, Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic.
Robert K. Brayton, Fan Mo, 2002, IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002..
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, William K. C. Lam, 1993, 30th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Aaron P. Hurst, 2005 .
Robert K. Brayton, Adrian J. Isles, 2000 .
Robert K. Brayton, Yunjian Jiang, Slobodan Matic, 2003, DAC '03.
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 1997 .
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2015, Proceedings of the IEEE.
Robert K. Brayton, Yosinori Watanabe, Ralph H. J. M. Otten, 2000, Proceedings 37th Design Automation Conference.
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .
Tiziano Villa, Robert K. Brayton, Timothy Kam, 1997 .
Robert K. Brayton, Giovanni De Micheli, Mathias Soeken, 2017, 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Robert K. Brayton, C. Tong, R. Brayton, 1979 .
Robert K. Brayton, Eugene Goldberg, Mukul R. Prasad, 2002, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.
Robert K. Brayton, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Yosinori Watanabe, 1993, ICCAD.
Robert K. Brayton, Fan Mo, 2002, DAC '02.
Robert K. Brayton, Masahiro Fujita, Yuji Kukimoto, 1994, ICCAD.
Robert K. Brayton, Abdul A. Malik, Hamid Savoj, 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Robert K. Brayton, Yosinori Watanabe, Lisa M. Guerra, 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Ramin Hojati, Sriram C. Krishnan, 1993 .
Robert K. Brayton, Serdar Tasiran, Ramin Hojati, 1995, CHARME.
Robert K. Brayton, Fan Mo, 2004, Proceedings. 41st Design Automation Conference, 2004..
Robert K. Brayton, Yuji Kukimoto, 1997, DAC.
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).
Robert K. Brayton, Giovanni De Micheli, Mathias Soeken, 2016, SAT.
Robert K. Brayton, Robert B. Mueller-Thuns, Ramin Hojati, 1994, CAV.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, 1991, DAC '90.
Robert K. Brayton, Dennis Wu, Alan Mishchenko, 2009, FPGA '09.
Robert K. Brayton, Alan Mishchenko, 2005, Design, Automation and Test in Europe.
Robert K. Brayton, Alan Mishchenko, Victor N. Kravets, 2011, 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Robert K. Brayton, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Amit Narayan, 1999 .
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Amit Mehrotra, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
Robert K. Brayton, Ellen M. Sentovich, R. Brayton, 1993 .
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Gary D. Hachtel, 1990, Proc. IEEE.
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, William K. C. Lam, 1993 .
Robert K. Brayton, Abdul A. Malik, David Harrison, 1991, [1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Robert K. Brayton, Alexander Saldanha, Alberto Sangiovanni-Vincentelli, 1993 .
Robert K. Brayton, Alan Mishchenko, Stephen Jang, 2010, FPGA '10.
Robert K. Brayton, Alan Mishchenko, Satrajit Chatterjee, 2006, 2006 43rd ACM/IEEE Design Automation Conference.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev Murgai, 1995, Proceedings the European Design and Test Conference. ED&TC 1995.
Robert K. Brayton, Yuji Kukimoto, Evguenii I. Goldberg, 1997 .
Robert K. Brayton, Rajeev Murgai, Alberto L. Sangiovanni-Vincentelli, 1993, ICCAD.
Robert K. Brayton, Jie-Hong Roland Jiang, Alan Mishchenko, 2018, DAC.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Massimiliano Chiodo, 1992, ICCAD.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Kanwar Jit Singh, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Alan Mishchenko, Sunil P. Khatri, 2010 .
Robert K. Brayton, William K. C. Lam, 1994 .
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Gary York, 1993, Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference.
Robert K. Brayton, Gary D. Hachtel, F. G. Gustavson, 1971 .
Robert K. Brayton, Alan Mishchenko, Stephen Jang, 2008, 2008 IEEE/ACM International Conference on Computer-Aided Design.
Robert K. Brayton, Carl Pixley, Adnan Aziz, 1994, IEEE/ACM International Conference on Computer-Aided Design.
Robert K. Brayton, Sharad Malik, Ellen M. Sentovich, 1990 .
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Kanwar Jit Singh, 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Alexander Saldanha, 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Stephen A. Edwards, Robert K. Brayton, Gitanjali Swamy, 1998, Proceedings Eleventh International Conference on VLSI Design.
Robert K. Brayton, Fabio Somenzi, Vigyan Singhal, 1999, DATE '99.
Robert K. Brayton, Sayak Ray, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Robert K. Brayton, Adnan Aziz, Carl Pixley, 1994, ICCAD '94.
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2005, Design, Automation and Test in Europe.
Robert K. Brayton, Enrico Macii, Rajesh K. Gupta, 2007, IEEE Design & Test of Computers.
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev Murgai, 1993, 30th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Alexander Saldanha, 1992 .
Robert K. Brayton, Carl Pixley, Richard L. Rudell, 1995, 32nd Design Automation Conference.
Robert K. Brayton, Andreas G. Veneris, Yu-Shen Yang, 2011, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 2012 .
Robert K. Brayton, Ralph H. J. M. Otten, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
Robert K. Brayton, Alan Mishchenko, Satrajit Chatterjee, 2008, 2008 IEEE/ACM International Conference on Computer-Aided Design.
Robert K. Brayton, Alan Mishchenko, Aaron P. Hurst, 2007, Formal Methods in Computer Aided Design (FMCAD'07).
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev Murgai, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
Robert K. Brayton, Adnan Aziz, Vigyan Singhal, 2000, TOCL.
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Patrick C. McGeer, 1990 .
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Sunil P. Khatri, 2001 .
Robert K. Brayton, Jiang Long, Michael L. Case, 2013, DIFTS@FMCAD.
Robert K. Brayton, Yunjian Jiang, 2003, ASP-DAC '03.
Robert K. Brayton, Zhongcheng Li, Yinghua Min, 1997, Proceedings International Test Conference 1997.
Robert K. Brayton, Alan Mishchenko, Satrajit Chatterjee, 2006, ICCAD.
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Sunil P. Khatri, 2001 .
Robert K. Brayton, Alexander Saldanha, Wilsin Gosti, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Amit Narayan, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
Robert K. Brayton, Yu-Yun Dai, 2019, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Tiziano Villa, Robert K. Brayton, Peter L. Hammer, 2010, Boolean Models and Methods.
Robert K. Brayton, Robert P. Kurshan, Hervé J. Touati, 1992, CAV.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev Murgai, 1993, Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.
Robert K. Brayton, Huey-Yih Wang, 1995, ICCAD.
Robert K. Brayton, William K. C. Lam, 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.
Robert K. Brayton, Narendra V. Shenoy, Alberto L. Sangiovanni-Vincentelli, 1993, ICCAD.
Robert K. Brayton, William K. C. Lam, R. Brayton, 1994, The Kluwer international series in engineering and computer science.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sunil P. Khatri, 1999, DAC '99.
Robert K. Brayton, Alan Mishchenko, 2002, IWLS.
Robert K. Brayton, Sunil P. Khatri, Philip Chong, 2009 .
Robert K. Brayton, Yinghua Li, Alex Kondratyev, 2005, Fifth International Conference on Application of Concurrency to System Design (ACSD'05).
Robert K. Brayton, Alan Mishchenko, 2002, IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002..
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 2012 .
Robert K. Brayton, Yuji Kukimoto, Serdar Tas, 1997 .
Robert K. Brayton, Abdallah Tabbara, Fan Mo, 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).
Robert K. Brayton, Rajeev Murgai, A. Richard Newton, 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Robert K. Brayton, Alan Mishchenko, Malgorzata Chrzanowska-Jeske, 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Robert K. Brayton, Sayak Ray, Chao Chen, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Robert K. Brayton, Anuj Puri, Sriram C. Krishnan, 1994, ISAAC.
Robert K. Brayton, Thomas A. Henzinger, Rajeev Alur, 2001, Formal Methods Syst. Des..
Robert K. Brayton, Patrick C. McGeer, 1990, Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Robert K. Brayton, Patrick C. McGeer, 1991 .
Robert K. Brayton, Jie-Hong Roland Jiang, Alan Mishchenko, 2009, FPGA '09.
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 1997 .
Robert K. Brayton, R. Brayton, 1993, CAV.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev Murgai, 1994, 31st Design Automation Conference.
Robert K. Brayton, Fan Mo, 2007, ISPD '07.
Robert K. Brayton, Fan Mo, 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.
Robert K. Brayton, Jiayuan Fang, Antony P.-C. Ng, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.
Robert K. Brayton, Pravin Varaiya, Anuj Puri, 1995, CAV.
Robert K. Brayton, Ralph A. Willoughby, 1963, IEEE Trans. Electron. Comput..
Robert K. Brayton, Fan Mo, 2008, 2008 IEEE/ACM International Conference on Computer-Aided Design.
Robert K. Brayton, Eugene Goldberg, Mukul R. Prasad, 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.
Robert K. Brayton, Alan Mishchenko, Niklas Eén, 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD).
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sunil P. Khatri, 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Amit Narayan, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).
Robert K. Brayton, Patrick C. McGeer, R. Brayton, 1989 .
Robert K. Brayton, Patrick C. McGeer, R. Brayton, 1989, 26th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Ellen M. Sentovich, 1991 .
Robert K. Brayton, Alan Mishchenko, Aaron P. Hurst, 2007 .
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.
Robert K. Brayton, Yunjian Jiang, 2003 .
Robert K. Brayton, Tsutomu Sasao, Alan Mishchenko, 2003 .
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Adnan Aziz, 1994, CAV.
Robert K. Brayton, Alan Mishchenko, Victor N. Kravets, 2008, 2008 45th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Narendra V. Shenoy, 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Hervé J. Touati, Hamid Savoj, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
Robert K. Brayton, Yosinori Watanabe, 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Alan Mishchenko, Michael L. Case, 2007, Formal Methods in Computer Aided Design (FMCAD'07).
Robert K. Brayton, Cho W. Moon, Albert Wang, 1990 .
Robert K. Brayton, Alan Mishchenko, Satrajit Chatterjee, 2007, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Abdallah Tabbara, Fan Mo, 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).
Robert K. Brayton, Giovanni De Micheli, Mathias Soeken, 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Robert K. Brayton, Fan Mo, R. Brayton, 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Alan Mishchenko, R. Brayton, 2010, CAV.
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 1997 .
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sharad Malik, 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Robert P. Kurshan, Ramin Hojati, 1993, CAV.
Robert K. Brayton, Adnan Aziz, Carl Pixley, 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Serdar Tasiran, Adnan Aziz, 1994, 31st Design Automation Conference.
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 1994, 31st Design Automation Conference.
Robert K. Brayton, Alan Mishchenko, 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Robert K. Brayton, Ramin Hojati, Desmond Kirkpatrick, 1996, FMCAD.
Robert K. Brayton, Hua Xiang, Minsik Cho, 2016 .
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .
Robert K. Brayton, Alan Mishchenko, Jason Baumgartner, 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Massimo Baleani, 2002, Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627).
Robert K. Brayton, Alan Mishchenko, Jason Baumgartner, 2008, 2008 Formal Methods in Computer-Aided Design.
Robert K. Brayton, Vigyan Singhal, R. Brayton, 1996 .
Robert K. Brayton, Rajeev Murgai, Alberto Sangiovanni-Vincentelli, 1995 .
Robert K. Brayton, Jiang Long, Sayak Ray, 2011, DIFTS@FMCAD.
Robert K. Brayton, Andreas Kuehlmann, Subarnarekha Sinha, 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Gary D. Hachtel, 1984 .
Robert K. Brayton, Alexander Saldanha, Wilsin Gosti, 1997, ICCAD 1997.
Robert K. Brayton, Alan Mishchenko, Pritam Roy, 2016, 2016 Formal Methods in Computer-Aided Design (FMCAD).
Robert K. Brayton, Kenneth L. McMillan, Andreas Kuehlmann, 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).
Robert K. Brayton, Yusuke Matsunaga, Patrick C. McGeer, 1993, 30th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Paul R. Stephan, Cho W. Moon, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Gary D. Hachtel, 1984, The Kluwer International Series in Engineering and Computer Science.
Robert K. Brayton, Adnan Aziz, Carl Pixley, 2003, TODE.
Robert K. Brayton, Alan Mishchenko, Michael L. Case, 2007 .
Robert K. Brayton, Gitanjali M. Swamy, R. Brayton, 1994, IEEE/ACM International Conference on Computer-Aided Design.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Kwang-Ting Cheng, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Robert K. Brayton, Hamid Savoj, R. Brayton, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
Robert K. Brayton, Rajeev Murgai, Alberto Sangiovanni-Vincentelli, 1995 .
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Wilsin Gosti, 1997, Proceedings International Conference on Computer Design VLSI in Computers and Processors.
Robert K. Brayton, Alan Mishchenko, Satrajit Chatterjee, 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Robert K. Brayton, Prashant Sawkar, Yuji Kukimoto, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .
Robert K. Brayton, Sharad Malik, Vigyan Singhal, 1996, Proceedings of International Conference on Computer Aided Design.
Robert K. Brayton, Rajeev Murgai, Alberto Sangiovanni-Vincentelli, 1995 .
Robert K. Brayton, C. Tong, R. Brayton, 1980 .
Robert K. Brayton, John A. Darringer, 2003 .
Robert K. Brayton, Andreas G. Veneris, Yu-Shen Yang, 2007, 2007 Asia and South Pacific Design Automation Conference.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, A. Richard Newton, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.
Robert K. Brayton, Sayak Ray, 2013, 2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013).
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sunil P. Khatri, 1999, Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).
Robert K. Brayton, Alan Mishchenko, Yen-Sheng Ho, 2017, 2017 Formal Methods in Computer Aided Design (FMCAD).
Szu-Tsung Cheng, Robert K. Brayton, R. Brayton, 1996, Proceedings. IEEE International Verilog HDL Conference.
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 1997 .
Robert K. Brayton, Ramin Hojati, R. Brayton, 1995, CAV.
Robert K. Brayton, Xinning Wang, Subarna Sinha, 2004 .
Robert K. Brayton, Subarnarekha Sinha, 1998, ICCAD.
Robert K. Brayton, Alan Mishchenko, André Inácio Reis, 2017, 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC).
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Sunil P. Khatri, 2001 .
Robert K. Brayton, Giovanni De Micheli, Mathias Soeken, 2018 .
Tiziano Villa, Robert K. Brayton, Valentina Ciriani, 2015, 2015 Euromicro Conference on Digital System Design.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Adnan Aziz, 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Ellen Sentovich, 1995, IEICE Trans. Inf. Syst..
Rolf Drechsler, Robert K. Brayton, Mathias Soeken, 2015, FMCAD.
Robert K. Brayton, Gitanjali Swamy, 1994, ICCAD.
Robert K. Brayton, Alan Mishchenko, Andreas Kuehlmann, 2007, 2007 44th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sartaj Sahni, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Gary D. Hachtel, 1984 .
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Wing Lam, 1992 .
Robert K. Brayton, Jason Cong, R. Brayton, 2010, IEEE Design & Test of Computers.
Tiziano Villa, Robert K. Brayton, Luca P. Carloni, 1997, International Conference on Computer Aided Design.
Robert K. Brayton, Alan Mishchenko, 2003, ICCAD.
Robert K. Brayton, R. Brayton, 1964, IBM J. Res. Dev..
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Masahiro Fujita, 1996, FMCAD.
Robert K. Brayton, Alan Mishchenko, Aaron P. Hurst, 2008, 2008 45th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Alan Mishchenko, Wenyi Feng, 2015, FPGA.
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, A. R. Newton, 1993, IEEE Trans. Computers.
Robert K. Brayton, Rajeev Alur, Serdar Tasiran, 1996, CONCUR.
Robert K. Brayton, Masahiro Fujita, Yuji Kukimoto, 1994, IEEE/ACM International Conference on Computer-Aided Design.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Amit Narayan, 1996, 33rd Design Automation Conference Proceedings, 1996.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Massimiliano Chiodo, 1992, CAV.
Robert K. Brayton, Satrajit Chatterjee, 2004, IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..
Robert K. Brayton, Alan Mishchenko, Jie-Hong R. Jiang, 2004, ICCAD 2004.
Robert K. Brayton, Thomas A. Henzinger, Rajeev Alur, 1997, CAV.
Robert K. Brayton, Adnan Aziz, Vigyan Singhal, 1996, CAV.
Robert K. Brayton, Yosinori Watanabe, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton, Fan Mo, 2003, ISPD '03.
Robert K. Brayton, R. Brayton, 1980 .
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Richard L. Rudell, 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Tiziano Villa, Robert K. Brayton, Luca P. Carloni, 1996 .
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2015, SEFM Workshops.
Robert K. Brayton, Giovanni De Micheli, Mathias Soeken, 2016, 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Alexander Saldanha, 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Jie-Hong Roland Jiang, 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Robert K. Brayton, Luciano Lavagno, Sharad Malik, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Robert K. Brayton, Alan Mishchenko, 2002, IWLS.
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Thomas R. Shiple, 1994, 31st Design Automation Conference.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, 1993, IEEE Trans. Very Large Scale Integr. Syst..
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .
Robert K. Brayton, Huey-Yih Wang, R. Brayton, 1993, ICCAD '93.
Robert K. Brayton, Fabio Somenzi, Vigyan Singhal, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev Murgai, 1991, DAC '90.
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 2012 .
Robert K. Brayton, Robert P. Kurshan, Thomas R. Shiple, 1993, 30th ACM/IEEE Design Automation Conference.
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 1997 .
Robert K. Brayton, Huey Wang, 1993 .
Robert K. Brayton, Yuji Kukimoto, 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).
Robert K. Brayton, Patrick C. McGeer, 1991, DAC '90.
Robert K. Brayton, Andreas G. Veneris, Yu-Shen Yang, 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.
Robert K. Brayton, Patrick C. McGeer, 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.
Robert K. Brayton, Sharad Malik, Alberto Sangiovanni-Vincentelli, 1988 .
Robert K. Brayton, Patrick C. McGeer, R. Brayton, 1989, 26th ACM/IEEE Design Automation Conference.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sharad Malik, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Robert K. Brayton, Sharad Malik, Arvind Srinivasan, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Robert K. Brayton, Jie-Hong Roland Jiang, Alan Mishchenko, 2021, 2021 58th ACM/IEEE Design Automation Conference (DAC).
Robert K. Brayton, Alan Mishchenko, Giovanni De Micheli, 2021, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Robert K. Brayton, Jie-Hong Roland Jiang, Alan Mishchenko, 2016 .
Robert K. Brayton, R. Brayton, Yosinori Watanabe, 1994 .
Tiziano Villa, Robert K. Brayton, Luca P. Carloni, 1997, ICCAD 1997.
Tiziano Villa, Robert K. Brayton, A. Sangiovanni Vincentelli, 2010 .
Robert K. Brayton, Fabio Somenzi, 1989, IEEE International Symposium on Circuits and Systems,.
Robert K. Brayton, Masahiro Fujita, Sunil P. Khatri, 1995 .
Robert K. Brayton, Yosinori Watanabe, 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).
Robert K. Brayton, Masahiro Fujita, Yuji Kukimoto, 1996, 1996 IEEE International Symposium on Circuits and Systems. Circuits and Systems Connecting the World. ISCAS 96.
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, .
Robert K. Brayton, Alan J. Hoffman, A. Hoffman, 1974 .
Robert K. Brayton, Sriram K. Rajamani, Gitanjali M. Swamy, 1997, Proceedings of 1997 IEEE International Symposium on Circuits and Systems. Circuits and Systems in the Information Age ISCAS '97.
Robert K. Brayton, Felice Balarin, Aziz, 1995 .
Robert K. Brayton, Fan Mo, R. Brayton, 2002, ICCAD 2002.
Robert K. Brayton, Huey-Yih Wang, 1995, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
Robert K. Brayton, Patrick C. McGeer, Alberto Sangiovanni-Vincentelli, 1993 .
Robert K. Brayton, Adnan Aziz, Vigyan Singhal, 2016 .
Robert K. Brayton, Sayak Ray, 2012 .
Robert K. Brayton, Alan Mishchenko, 2003, ICCAD 2003.
Robert K. Brayton, Aaron P. Hurst, R. Brayton, 2006 .
Robert K. Brayton, Gitanjali M. Swamy, Sriram Rajamani, 1994 .
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 2003 .
Tiziano Villa, Robert K. Brayton, Timothy Kam, 1997 .
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Narendra V. Shenoy, 1993, ICCAD '93.
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2014 .
Robert K. Brayton, Ramin Hojati, Sriram C. Krishnan, 1994 .
Robert K. Brayton, Mukul Ranjan Prasad, 2001 .
Robert K. Brayton, Alan Mishchenko, Satrajit Chatterjee, 2008, ICCAD 2008.
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 1997, ICCAD 1997.
Robert K. Brayton, Yuji Kukimoto, 1997 .
Robert K. Brayton, Patrick C. McGeer, J. Sanghavi, 1993 .
Robert K. Brayton, Alan J. Hoffman, Don Coppersmith, 2003 .
Robert K. Brayton, W. L. Miranker, R. Brayton, 1964 .
Robert K. Brayton, Luciano Lavagno, Gianpiero Cabodi, 1995 .
Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Rajeev K. Ranjan, 1996, Proceedings International Conference on Computer Design. VLSI in Computers and Processors.
Robert K. Brayton, Adnan Aziz, R. Brayton, 1993 .
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, .
Robert K. Brayton, Ellen M. Sentovich, 1994 .
Robert K. Brayton, Gary D. Hachtel, Alberto Sangiovanni-Vincentelli, 1984 .
Robert K. Brayton, Adnan Aziz, Vigyan Singhal, 1993 .
Robert K. Brayton, Adnan Aziz, R. Brayton, 1994 .
Robert K. Brayton, Paul R. Stephan, Ellen M. Sentovich, 1992 .