Fabio Somenzi

发表

Kenneth L. McMillan, Kavita Ravi, Thomas R. Shiple, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

Fabio Somenzi, Gary D. Hachtel, Seon-Woong Jeong, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

Enrico Macii, Abelardo Pardo, Fabio Somenzi, 1994, 31st Design Automation Conference.

Chao Wang, Fabio Somenzi, Gary D. Hachtel, 2004, IEEE International Conference on Computer Design: VLSI in Computers and Processors, 2004. ICCD 2004. Proceedings..

Kavita Ravi, Fabio Somenzi, Roderick Bloem, 1999, CAV.

Silvano Gai, Fabio Somenzi, Ernst G. Ulrich, 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Olivier Coudert, David R. O'Hallaron, Randal E. Bryant, 1998, FMCAD.

Chao Wang, Fabio Somenzi, Gary D. Hachtel, 2006, Series on Integrated Circuits and Systems.

Christoph Meinel, Thorsten Theobald, Fabio Somenzi, 1998, Proceedings of 1998 Asia and South Pacific Design Automation Conference.

Fabio Somenzi, HoonSang Jin, 2005, Proceedings. 42nd Design Automation Conference, 2005..

Fabio Somenzi, Saqib Sohail, 2012, International Journal on Software Tools for Technology Transfer.

Fabio Somenzi, Aaron R. Bradley, 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD).

Fabio Somenzi, Gary D. Hachtel, G. Hachtel, 1996 .

Robert K. Brayton, Fabio Somenzi, Ellen Sentovich, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

Fabio Somenzi, Gary D. Hachtel, 1997, Formal Methods Syst. Des..

Fabio Somenzi, Mohammad Awedh, 2006, 2006 43rd ACM/IEEE Design Automation Conference.

Fabio Somenzi, Gary D. Hachtel, June-Kyung Rho, 1994, Proceedings of the European Conference on Design Automation..

Kavita Ravi, Fabio Somenzi, Roderick Bloem, 2000, Proceedings 37th Design Automation Conference.

Yan Zhang, Fabio Somenzi, Zyad Hassan, 2011, DIFTS@FMCAD.

Enrico Macii, Abelardo Pardo, Fabio Somenzi, 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).

Fabio Somenzi, HoonSang Jin, Andreas Kuehlmann, 2002, TACAS.

Fabio Somenzi, R. Iris Bahar, 1995, ICCAD.

Fabio Somenzi, HyoJung Han, F. Somenzi, 2009, SAT.

Fabio Somenzi, HoonSang Jin, F. Somenzi, 2005, Electron. Notes Theor. Comput. Sci..

Enrico Macii, Fabio Somenzi, Bernard Plessier, 1992, ICCAD.

Fabio Somenzi, Saqib Sohail, F. Somenzi, 2013, 2013 Formal Methods in Computer-Aided Design.

Chao Wang, Bing Li, Fabio Somenzi, 2005, International Journal on Software Tools for Technology Transfer.

Chao Wang, Fabio Somenzi, Gary D. Hachtel, 2003, ICCAD 2003.

Sven Schewe, Fabio Somenzi, Dominik Wojtczak, 2020, ArXiv.

Abelardo Pardo, Peter Feldmann, Fabio Somenzi, 1995, ISLPED '95.

Massoud Pedram, Enrico Macii, Fabio Somenzi, 2021, Digital Logic Design Using Verilog.

Sriram Sankaranarayanan, Yan Zhang, Fabio Somenzi, 2012, 2012 Formal Methods in Computer-Aided Design (FMCAD).

Silvano Gai, Fabio Somenzi, Pier Luca Montessoro, 1988, 25th ACM/IEEE, Design Automation Conference.Proceedings 1988..

Fabio Somenzi, June-Kyung Rho, F. Somenzi, 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

Fabio Somenzi, HoonSang Jin, HyoJung Han, 2011, 2011 Design, Automation & Test in Europe.

Sven Schewe, Fabio Somenzi, Dominik Wojtczak, 2020, TACAS.

Orna Kupferman, Moshe Y. Vardi, Fabio Somenzi, 2003, CHARME.

In-Ho Moon, Fabio Somenzi, Gary D. Hachtel, 2000, FMCAD.

Fabio Somenzi, 2003, CHARME.

Chao Wang, Kavita Ravi, Fabio Somenzi, 2001, CONCUR.

Paolo Prinetto, Silvano Gai, Marco Mezzalama, 1983 .

Tiziano Villa, Stephen A. Edwards, Szu-Tsung Cheng, 1996, CAV.

Robert K. Brayton, Fabio Somenzi, R. Brayton, 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

Chao Wang, Bing Li, Fabio Somenzi, 2003, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Seh-Woong Jeong, Fabio Somenzi, Gary D. Hachtel, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

Fabio Somenzi, F. Somenzi, 2001, International Journal on Software Tools for Technology Transfer.

Fabio Somenzi, Kuntal Nanshi, 2008, 2008 Design, Automation and Test in Europe.

Fabio Somenzi, F. Somenzi, 1998 .

Fabio Somenzi, Gary D. Hachtel, Hyunwoo Cho, 1991, [1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors.

Fabio Somenzi, HoonSang Jin, Mohammad Awedh, 2004, CAV.

Fabio Somenzi, HoonSang Jin, Hyondeuk Kim, 2009, SAT.

Fabio Somenzi, Tara Weber, 1991, Proceedings of the European Conference on Design Automation..

Fabio Somenzi, Gary D. Hachtel, 1993, ICCAD.

Enrico Macii, Abelardo Pardo, Fabio Somenzi, 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Fabio Somenzi, Saqib Sohail, 2009, 2009 Formal Methods in Computer-Aided Design.

Fabio Somenzi, HoonSang Jin, Hyondeuk Kim, 2007, J. Satisf. Boolean Model. Comput..

Fabio Somenzi, Roderick Bloem, Marco Roveri, 2007, Electron. Notes Theor. Comput. Sci..

Seh-Woong Jeong, Eric M. Schwarz, Fabio Somenzi, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

Kavita Ravi, Fabio Somenzi, Roderick Bloem, 2002, FMCAD.

Enrico Macii, Massimo Poncino, Fabio Somenzi, 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

In-Ho Moon, Kavita Ravi, Fabio Somenzi, 2000, DAC.

Enrico Macii, Fabio Somenzi, Gary D. Hachtel, 1994, ICCAD '94.

Fabio Somenzi, Gary D. Hachtel, Bernard Plessier, 1991, Formal Methods Syst. Des..

Kavita Ravi, Fabio Somenzi, F. Somenzi, 1999, CHARME.

Fabio Somenzi, Hyunwoo Cho, 1993, 1993 European Conference on Design Automation with the European Event in ASIC Design.

Paolo Prinetto, Silvano Gai, Marco Mezzalama, 1983, 20th Design Automation Conference Proceedings.

Fabio Somenzi, June-Kyung Rho, F. Somenzi, 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.

Fabio Somenzi, Shipra Panda, Bernard F. Plessier, 1994, IEEE/ACM International Conference on Computer-Aided Design.

In-Ho Moon, Fabio Somenzi, Balakrishna Kumthekar, 1997, Proceedings of 1997 International Symposium on Low Power Electronics and Design.

Enrico Macii, Fabio Somenzi, Gary D. Hachtel, 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Chao Wang, Kavita Ravi, Fabio Somenzi, 2006, Formal Methods Syst. Des..

Kavita Ravi, Fabio Somenzi, HoonSang Jin, 2004, International Journal on Software Tools for Technology Transfer.

Massoud Pedram, Enrico Macii, Fabio Somenzi, 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

In-Ho Moon, Thomas R. Shiple, Fabio Somenzi, 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).

Fabio Somenzi, M. Pipponzi, 1990, Proceedings of the European Design Automation Conference, 1990., EDAC..

Behrouz Touri, Ashutosh Trivedi, Fabio Somenzi, 2018, HSCC.

Yan Zhang, Fabio Somenzi, Aaron R. Bradley, 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD).

Enrico Macii, Fabio Somenzi, Gary D. Hachtel, 1996, ISLPED '96.

Christoph Meinel, Thorsten Theobald, Fabio Somenzi, 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Fabio Somenzi, Bernard Plessier, Shipra Panda, 1994, ICCAD '94.

Fabio Somenzi, Roderick Bloem, Sankar Gurumurthy, 2002, CAV.

Robert K. Brayton, Fabio Somenzi, Vigyan Singhal, 1999, DATE '99.

Enrico Macii, Fabio Somenzi, Gary D. Hachtel, 1994, Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC.

R. Scarsi, Enrico Macii, Massimo Poncino, 1998 .

Hiroyuki Higuchi, Fabio Somenzi, 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).

Fabio Somenzi, Hyondeuk Kim, F. Somenzi, 2006, 2006 Formal Methods in Computer Aided Design.

In-Ho Moon, Fabio Somenzi, James H. Kukula, 2007 .

Massimo Poncino, Abelardo Pardo, Fabio Somenzi, 1994, ICCAD '94.

Fabio Somenzi, Harold N. Gabow, Roderick Bloem, 2000, Formal Methods Syst. Des..

Enrico Macii, Fabio Somenzi, Gary D. Hachtel, 1993, 30th ACM/IEEE Design Automation Conference.

Fabio Somenzi, Woohyuk Lee, 1998 .

Behrouz Touri, Ashutosh Trivedi, Fabio Somenzi, 2017, ATVA.

Kavita Ravi, Fabio Somenzi, F. Somenzi, 1999, Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040).

Fabio Somenzi, Aaron R. Bradley, Zyad Hassan, 2013, 2013 Formal Methods in Computer-Aided Design.

Sriram Sankaranarayanan, Yan Zhang, Fabio Somenzi, 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).

Chao Wang, Fabio Somenzi, Gary D. Hachtel, 2003, ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486).

Fabio Somenzi, HoonSang Jin, HyoJung Han, 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Silvano Gai, Fabio Somenzi, M. Spalla, 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Fabio Somenzi, Gary D. Hachtel, June-Kyung Rho, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

Fabio Somenzi, F. Somenzi, 2001, SMC@FLoC.

Massoud Pedram, Enrico Macii, Fabio Somenzi, 1997, Proceedings of the 34th Design Automation Conference.

Sven Schewe, Ashutosh Trivedi, Fabio Somenzi, 2018, TACAS.

Fabio Somenzi, Kuntal Nanshi, 2009, 2009 46th ACM/IEEE Design Automation Conference.

Fabio Somenzi, HoonSang Jin, F. Somenzi, 2004, SAT.

Fabio Somenzi, Gary D. Hachtel, HoonSang Jin, 2003, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Silvano Gai, Fabio Somenzi, Massimo Spalla, 1985 .

Enrico Macii, Massimo Poncino, Alberto Macii, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).

Enrico Macii, Massimo Poncino, Fabio Somenzi, 1994, Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC.

Paolo Prinetto, Silvano Gai, Marco Mezzalama, 1985, IEEE Transactions on Computers.

Fabio Somenzi, Mohammad Awedh, F. Somenzi, 2005, BMC@CAV.

In-Ho Moon, Kavita Ravi, Fabio Somenzi, 2000 .

Fabio Somenzi, HyoJung Han, 2007, 2007 44th ACM/IEEE Design Automation Conference.

Enrico Macii, Fabio Somenzi, Gary D. Hachtel, 1996, Proceedings of 1996 International Symposium on Low Power Electronics and Design.

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám, 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Enrico Macii, Massimo Poncino, Abelardo Pardo, 1995, 32nd Design Automation Conference.

Kavita Ravi, Fabio Somenzi, F. Somenzi, 2004, TACAS.

Robert P. Kurshan, Kavita Ravi, Fabio Somenzi, 2008, CAV.

Fabio Somenzi, Mitra Purandare, F. Somenzi, 2002, CAV.

Fabio Somenzi, Hyunwoo Cho, C. Pixley, 1993, 1993 European Conference on Design Automation with the European Event in ASIC Design.

Melvin A. Breuer, Majid Sarrafzadeh, Fabio Somenzi, 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Chao Wang, Bing Li, Fabio Somenzi, 2003, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Fabio Somenzi, Mohammad Awedh, F. Somenzi, 2004, CAV.

Seh-Woong Jeong, Eric M. Schwarz, Fabio Somenzi, 1990, CAV.

Dirk Grunwald, Fabio Somenzi, Srilatha Manne, 1997, DAC.

Paolo Prinetto, Silvano Gai, Marco Mezzalama, 1984, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Enrico Macii, Fabio Somenzi, Bernard Plessier, 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Kavita Ravi, Fabio Somenzi, Saqib Sohail, 2008, VMCAI.

Fabio Somenzi, Ashutosh Trivedi, F. Somenzi, 2019, NSV@CAV.

Kavita Ravi, Fabio Somenzi, HoonSang Jin, 2004, International Journal on Software Tools for Technology Transfer.

Fabio Somenzi, Shin-ichi Minato, 1997, Formal Methods Syst. Des..

Kavita Ravi, Fabio Somenzi, 1995, ICCAD.

Fabio Somenzi, June-Kyung Rho, F. Somenzi, 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Fabio Somenzi, Abolfazl Lavaei, Sadegh Soudjani, 2020, 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS).

Christoph Meinel, Thorsten Theobald, Fabio Somenzi, 1996, Universität Trier, Mathematik/Informatik, Forschungsbericht.

Fabio Somenzi, Kuntal Nanshi, 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Fabio Somenzi, Gianpiero Cabodi, Stefano Quer, 2000, Proceedings 37th Design Automation Conference.

Luca Benini, Enrico Macii, Fabio Somenzi, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

Enrico Macii, Fabio Somenzi, Gary D. Hachtel, 1994, IEEE/ACM International Conference on Computer-Aided Design.

Enrico Macii, Abelardo Pardo, Fabio Somenzi, 1997, ICCAD '93.

Fabio Somenzi, Gary D. Hachtel, Hyunwoo Cho, 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Fabio Somenzi, Shipra Panda, F. Somenzi, 1995, ICCAD.

Abelardo Pardo, Jae-Young Jang, Fabio Somenzi, 1996, Proceedings of International Conference on Computer Aided Design.

Chao Wang, Fabio Somenzi, Gary D. Hachtel, 2004, Proceedings. 41st Design Automation Conference, 2004..

Bing Li, Fabio Somenzi, 2004, IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..

Sven Schewe, Fabio Somenzi, Dominik Wojtczak, 2020, CONCUR.

Fabio Somenzi, Mitra Purandare, Nikhil Jayakumar, 2003, DAC '03.

Massimo Poncino, Abelardo Pardo, Fabio Somenzi, 1994, Proceedings of 4th Great Lakes Symposium on VLSI.

Sven Schewe, Fabio Somenzi, Dominik Wojtczak, 2019, ArXiv.

Fabio Somenzi, Harold N. Gabow, Roderick Bloem, 2006, Formal Methods Syst. Des..

Fabio Somenzi, Gary D. Hachtel, Bernard F. Plessier, 1992, [1992] Proceedings The European Conference on Design Automation.

Fabio Somenzi, Roderick Bloem, F. Somenzi, 2000, CAV.

Silvano Gai, Marco Mezzalama, Fabio Somenzi, 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

Fabio Somenzi, Aaron R. Bradley, Zyad Hassan, 2012, CAV.

Fabio Somenzi, Kuntal Nanshi, 2006, 2006 43rd ACM/IEEE Design Automation Conference.

Enrico Macii, Fabio Somenzi, Gary D. Hachtel, 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Jae-Young Jang, In-Ho Moon, Carl Pixley, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).

Fabio Somenzi, HoonSang Jin, 2006, Proceedings of the Design Automation & Test in Europe Conference.

Enrico Macii, Abelardo Pardo, Fabio Somenzi, 1994, Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC.

Jae-Young Jang, Fabio Somenzi, Gary D. Hachtel, 1996, ICCAD 1996.

Kavita Ravi, Fabio Somenzi, Roderick Bloem, 2000, FMCAD.

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).

Sriram Sankaranarayanan, Yan Zhang, Fabio Somenzi, 2014, ATVA.

David Ward, Fabio Somenzi, F. Somenzi, 2005, CHARME.

Seh-Woong Jeong, Carl Pixley, Fabio Somenzi, 1993, J. Electron. Test..

Fabio Somenzi, Hyondeuk Kim, F. Somenzi, 2010 .

Christoph Meinel, Bernd Becker, Masahiro Fujita, 2021 .

Sven Schewe, Ashutosh Trivedi, Fabio Somenzi, 2021, CAV.

Sven Schewe, Ashutosh Trivedi, Fabio Somenzi, 2021, ArXiv.

Sven Schewe, Ashutosh Trivedi, Fabio Somenzi, 2021, FM.

Robert K. Brayton, Fabio Somenzi, 1989, IEEE International Symposium on Circuits and Systems,.

Sven Schewe, Ashutosh Trivedi, Fabio Somenzi, 2020, ArXiv.

Fabio Somenzi, Roderick Bloem, F. Somenzi, 2001 .

Carl Pixley, Fabio Somenzi, June-Kyung Rho, 1993, 30th ACM/IEEE Design Automation Conference.

Fabio Somenzi, Gary D. Hachtel, G. Hachtel, 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).

Enrico Macii, Massimo Poncino, Kavita Ravi, 1995 .

Enrico Macii, Fabio Somenzi, Bernard F. Plessier, 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.