Alberto Sangiovanni-Vincentelli

发表

Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-Vincentelli, 2000 .
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .
Alberto Sangiovanni-Vincentelli, Andrea Balluchi, M. D. Di Benedetto, 1999 .
Sanjit A. Seshia, Alberto Sangiovanni-Vincentelli, Haibo Zeng, 2010 .
Alberto Sangiovanni-Vincentelli, Abbas El Gamal, Jonathan Rose, 1993 .
Alberto Sangiovanni-Vincentelli, Chung-Wei Lin, 2017 .
Alberto Sangiovanni-Vincentelli, Qi Zhu, 2018, Proceedings of the IEEE.
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Rong Chen, 2003 .
Alberto Sangiovanni-Vincentelli, Donald Webber, 1988 .
Alberto Sangiovanni-Vincentelli, T. Villa, Pierpaolo Murrieri, 2005 .
Edward A. Lee, David Blaauw, Roozbeh Jafari, 2012 .
Tiziano Villa, Alberto Sangiovanni-Vincentelli, Alberto Casagrande, 2006 .
Alberto Sangiovanni-Vincentelli, Mauro Santomauro, 1979 .
Alberto Sangiovanni-Vincentelli, Srinivas Devadas, Hi-Keung Tony Ma, 1988 .
Robert K. Brayton, Jan M. Rabaey, Alberto Sangiovanni-Vincentelli, 1990 .
Robert K. Brayton, Rajeev Murgai, Alberto Sangiovanni-Vincentelli, 1995 .
Alberto Sangiovanni-Vincentelli, Henry Chang, Eric Felt, 1995, Proceedings of the IEEE 1995 Custom Integrated Circuits Conference.
Alberto Sangiovanni-Vincentelli, Jacob K. White, 1987 .
Alberto Sangiovanni-Vincentelli, Edoardo Charbon, Alper Demir, 1997 .
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Massimiliano Chiodo, 1993 .
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, 1993 .
Roberto Passerone, Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2004 .
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Thomas R. Shiple, 1996 .
Luciano Lavagno, Bassam Tabbara, Alberto Sangiovanni-Vincentelli, 1997 .
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 1997 .
Luca P. Carloni, Roberto Passerone, Alberto Sangiovanni-Vincentelli, 2004 .
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 2010 .
Alberto Sangiovanni-Vincentelli, Pierluigi Nuzzo, Mehdi Maasoumy, 2015 .
A. Richard Newton, Alberto Sangiovanni-Vincentelli, Amit Narayan, 1997, ICCAD 1997.
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .
Alberto Sangiovanni-Vincentelli, Douglas Braun, Carl Sechen, 1986 .
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Ellen M. Sentovich, 2001 .
Alberto Sangiovanni-Vincentelli, Albert E. Ruehli, N. B. G. Rabbat, 1980 .
Alberto Sangiovanni-Vincentelli, 2010 .
Alberto Sangiovanni-Vincentelli, Gary D. Hachtel, A. R. Newton, 1982, DAC 1982.
Alberto Sangiovanni-Vincentelli, Edoardo Charbon, Alper Demir, 1997 .
A. El Gamal, Alberto Sangiovanni-Vincentelli, Jonathan Rose, 1993, Proc. IEEE.
Alberto Sangiovanni-Vincentelli, Jacob K. White, Kenneth S. Kundert, 1990 .
Paulo Tabuada, Sanjit A. Seshia, Alberto Sangiovanni-Vincentelli, 2016, ICCPS 2016.
Alberto Sangiovanni-Vincentelli, Andrea Balluchi, Luca Benvenuti, 2006 .
Edward A. Lee, Alberto Sangiovanni-Vincentelli, Jeronimo Castrillon, 2019, CyPhy/WESE.
Baohua Zhao, Alberto Sangiovanni-Vincentelli, Assane Gueye, 2009 .
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Francesco Gregoretti, 1999 .
Dejan Nickovic, Thomas A. Henzinger, Roberto Passerone, 2015 .
Jos C. M. Baeten, Brian Nielsen, Nicolas Halbwachs, 2005 .
Luca P. Carloni, Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2004 .
Alberto Sangiovanni-Vincentelli, Edoardo Charbon, Alper Demir, 1997 .
Karl Henrik Johansson, Manfred Morari, John Lygeros, 2005 .
Alberto Sangiovanni-Vincentelli, Douglas Densmore, A. Sangiovanni-Vincentelli, 2007 .
Edward A. Lee, Alberto Sangiovanni-Vincentelli, Patricia Derler, 2011 .
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Adnan Aziz, 1997, ICCAD 1997.
Alberto Sangiovanni-Vincentelli, Kenneth S. Kundert, 2003 .
Alberto Sangiovanni-Vincentelli, 2000 .
Anthony Rowe, Edward A. Lee, David Blaauw, 2015, IEEE Design & Test.
Alberto Sangiovanni-Vincentelli, C. Pinello, Haibo Zeng, 2006 .
Alberto Sangiovanni-Vincentelli, Richard L. Rudell, A. Sangiovanni-Vincentelli, 1989 .
Tiziano Villa, Alberto Sangiovanni-Vincentelli, Timothy Kam, 1997 .
Alberto Sangiovanni-Vincentelli, Carlo H. Séquin, Donald O. Pederson, 1981 .
Alberto Sangiovanni-Vincentelli, Edoardo Charbon, Alper Demir, 1997 .
Luca P. Carloni, Alberto Sangiovanni-Vincentelli, Alessandro Pinto, 2006 .
Alberto Sangiovanni-Vincentelli, Luca Benvenuti, A. Balluchi, 2005 .
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Patrick C. McGeer, 2003 .
Luciano Lavagno, Bassam Tabbara, Alberto Sangiovanni-Vincentelli, 1997 .
S. Shankar Sastry, Alberto Sangiovanni-Vincentelli, T. John Koo, 2002 .
Dejan Nickovic, Roberto Passerone, Alberto Sangiovanni-Vincentelli, 2015 .
Alberto Sangiovanni-Vincentelli, Edgar Sanchez-Sinencio, Massimo Alioto, 2017, IEEE Trans. Circuits Syst. I Regul. Pap..
Alberto Sangiovanni-Vincentelli, Mehdi Maasoumy, Alessandro Pinto, 2014 .
Luciano Lavagno, Bassam Tabbara, Alberto Sangiovanni-Vincentelli, 1997 .
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 1997 .
Alberto Sangiovanni-Vincentelli, W. Nye, David C. Riley, 1988, ICCAD 1988.
Luca P. Carloni, Roberto Passerone, Alberto Sangiovanni-Vincentelli, 2006 .
Trevor Mudge, Alberto Sangiovanni-Vincentelli, Feng Zhao, 2005 .
Luca Benini, Alberto Sangiovanni-Vincentelli, Krisztian Flautner, 2008, IEEE Design & Test of Computers.
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Gary D. Hachtel, 1984 .
Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli, Luca Benvenuti, 2001 .
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Claudio Passerone, 1999 .
Alberto Sangiovanni-Vincentelli, Claudio Passerone, M. Lajolo, 1998 .
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 2012 .
Alberto Sangiovanni-Vincentelli, Alper Demir, 1998 .
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Sunil P. Khatri, 1998 .
Alberto Sangiovanni-Vincentelli, S. Anna, A. Sangiovanni-Vincentelli, 2007 .
Alberto Sangiovanni-Vincentelli, Desmond A. Kirkpatrick, 1996, ICCAD 1996.
Alberto Sangiovanni-Vincentelli, Peter Marwedel, Haibo Zeng, 2014 .
Carlo Fischione, Karl Henrik Johansson, Alberto Sangiovanni-Vincentelli, 2009 .
Alberto Sangiovanni-Vincentelli, Jacob K. White, K. S. Kundert, 1989 .
Alberto Sangiovanni-Vincentelli, 1985 .
Alberto Sangiovanni-Vincentelli, Edoardo Charbon, Henry Chang, 1996, ICCAD 1996.
Alberto Sangiovanni-Vincentelli, 2010, IEEE Solid-State Circuits Magazine.
François Terrier, Alberto Sangiovanni-Vincentelli, Albert Benveniste, 2009 .
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Sunil P. Khatri, 2001 .
Lev Greenberg, Alberto Sangiovanni-Vincentelli, Michael Masin, 2011 .
Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-Vincentelli, 2000 .
Luca P. Carloni, Alberto Sangiovanni-Vincentelli, Patrick C. McGeer, 1997, ICCAD 1997.
Alberto Sangiovanni-Vincentelli, A. Mehrotra, 2004 .
Alberto Sangiovanni-Vincentelli, 1987 .
Alberto Sangiovanni-Vincentelli, Arkadeb Ghosal, Sri Kanajan, 2008 .
Alberto Sangiovanni-Vincentelli, Alessandro Pinto, Zhengya Zhang, 2006 .
Alberto Sangiovanni-Vincentelli, Marco Antoniotti, Alberto Ferrari, 2001 .
Alberto Sangiovanni-Vincentelli, Hyunchul Shin, A. Sangiovanni-Vincentelli, 1986 .
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 1997 .
Leon O. Chua, Alberto Sangiovanni-Vincentelli, Li-Kuan Chen, 1977 .
Alberto Sangiovanni-Vincentelli, Harry Hsieh, Felice Balarin, 2001 .
Luca P. Carloni, Alberto Sangiovanni-Vincentelli, Alessandro Pinto, 2006 .
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, 1993 .
Miodrag Potkonjak, Alberto Sangiovanni-Vincentelli, Farinaz Koushanfar, 2004, Handbook of Sensor Networks.
Roberto Passerone, Alberto Sangiovanni-Vincentelli, Jerry R. Burch, 2003 .
Alberto Sangiovanni-Vincentelli, Ieee Circuits, 1987 .
Alberto Sangiovanni-Vincentelli, Chung-Wei Lin, 2017 .
Luca P. Carloni, Alberto Sangiovanni-Vincentelli, Alessandro Pinto, 2008 .
Alberto Sangiovanni-Vincentelli, Jacob K. White, Kenneth S. Kundert, 1990 .
Alberto Sangiovanni-Vincentelli, Carl Sechen, D. Braun, 1988 .
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Alberto Puggelli, 2011, ICNS 2011.
Giovanni De Micheli, Alberto Sangiovanni-Vincentelli, P. Antognetti, 1987 .
Luciano Lavagno, Malgorzata Marek-Sadowska, Rajeev Murgai, 2004 .
Alberto Sangiovanni-Vincentelli, James A. Rowson, 1998 .
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Amit Narayan, 1999 .
Alberto Sangiovanni-Vincentelli, Hormoz Yaghutiel, 1988 .
Alberto Sangiovanni-Vincentelli, A. R. Newton, 1983 .
Alberto Sangiovanni-Vincentelli, Albert Benveniste, Stavros Tripakis, 2007 .
Alberto Sangiovanni-Vincentelli, Pierluigi Nuzzo, Dewei Li, 2019, ACM Trans. Embed. Comput. Syst..
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Gary D. Hachtel, 1990, Proc. IEEE.
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, 1993 .
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, William K. C. Lam, 1993 .
Robert K. Brayton, Alexander Saldanha, Alberto Sangiovanni-Vincentelli, 1993 .
Alberto Sangiovanni-Vincentelli, Pierluigi Nuzzo, 2017 .
Carlo Guardiani, Alberto Sangiovanni-Vincentelli, Eric Felt, 1996, ICCAD 1996.
Alberto Sangiovanni-Vincentelli, Farinaz Koushanfar, 2005 .
Luciano Lavagno, Bassam Tabbara, Alberto Sangiovanni-Vincentelli, 1997 .
Alberto Sangiovanni-Vincentelli, Edoardo Charbon, Enrico Malavasi, 1996, ICCAD 1996.
Alberto Sangiovanni-Vincentelli, Arkadeb Ghosal, Randall J. Urbance, 2007 .
Tiziano Villa, Alberto Sangiovanni-Vincentelli, G. De Micheli, 1983 .
Alberto Sangiovanni-Vincentelli, A. Mehrotra, 2004 .
Roberto Guerrieri, Alberto Sangiovanni-Vincentelli, Henry Sheng, 1994 .
Alberto Sangiovanni-Vincentelli, A. E. Dunlop, J. P. Fishburn, 1988 .
Tiziano Villa, Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli, 2000, HSCC.
Alberto Sangiovanni-Vincentelli, Sinem Coleri Ergen, 2017, IEEE Vehicular Technology Magazine.
A. Richard Newton, Alberto Sangiovanni-Vincentelli, Donald O. Pederson, 1993 .
Carlo Fischione, Alvise Bonivento, Alberto Sangiovanni-Vincentelli, 2009, 2009 6th IEEE Annual Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks Workshops.
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Harry Hsieh, 1995 .
Alberto Sangiovanni-Vincentelli, Chung-Wei Lin, 2017 .
Alberto Sangiovanni-Vincentelli, Felice Balarin, Harry Hsieh, 2000 .
Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-Vincentelli, 2000 .
Alberto Sangiovanni-Vincentelli, Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1987 .
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .
Alberto Sangiovanni-Vincentelli, H.-K.T. Ma, 1986, DAC 1986.
Yang Yang, Alberto Sangiovanni-Vincentelli, Stavros Tripakis, 2011 .
A. El Gamal, Alberto Sangiovanni-Vincentelli, Jonathan Rose, 1993, Proc. IEEE.
Alberto Sangiovanni-Vincentelli, Mirko Sauermann, Dominik Langen, 2008 .
Alberto Sangiovanni-Vincentelli, Edoardo Charbon, Ranjit Gharpurey, 1996, ICCAD 1996.
Tiziano Villa, Alberto Sangiovanni-Vincentelli, T. Kam, 1997 .
Alberto Sangiovanni-Vincentelli, Guoqiang Wang, M. Di Natale, 2007 .
Roberto Passerone, Alberto Sangiovanni-Vincentelli, Alessandro Pinto, 2018, Model-Based Design for Embedded Systems.
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 2012 .
Alberto Sangiovanni-Vincentelli, L. Lavagno, C. Passerone, 2005 .
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Patrick C. McGeer, 1990 .
Alberto Sangiovanni-Vincentelli, Chung-Wei Lin, 2017 .
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Sunil P. Khatri, 2001 .
Alberto Sangiovanni-Vincentelli, M. A. Bhatti, Karl S. Pister, 1981 .
Alberto Sangiovanni-Vincentelli, Chung-Wei Lin, 2017 .
Ulrich Lauther, Alberto Sangiovanni-Vincentelli, Steven Trimberger, 1994, DAC 1994.
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Yosinori Watanabe, 2005 .
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Sunil P. Khatri, 2001 .
Alberto Sangiovanni-Vincentelli, A. R. Newton, Srinivas Devadas, 1989 .
Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli, Luca Benvenuti, 2003 .
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, 1993 .
Alberto Sangiovanni-Vincentelli, Pierluigi Nuzzo, Stavros Tripakis, 2014 .
Alberto Sangiovanni-Vincentelli, Guoqiang Wang, A. Sangiovanni-Vincentelli, 2008 .
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Ellen M. Sentovich, 1999 .
Alberto Sangiovanni-Vincentelli, Adnan Aziz, Felice Balarin, 1994, ICALP.
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, 1993 .
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 2012 .
Alberto Sangiovanni-Vincentelli, Massimo Conti, Alberto Ferrari, 2002 .
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, T. Villa, 2000 .
Alberto Sangiovanni-Vincentelli, R. Rudell, A. Sangiovanni-Vincentelli, 2003 .
Antonio Bicchi, Alberto Sangiovanni-Vincentelli, Andrea Balluchi, 1998 .
Stephen A. Edwards, Edward A. Lee, Luciano Lavagno, 1997, Proc. IEEE.
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Harry Hsieh, 1996 .
Luciano Lavagno, Bassam Tabbara, Alberto Sangiovanni-Vincentelli, 1997 .
Alberto Sangiovanni-Vincentelli, Bernhard Josko, Martin Törngren, 2004 .
A. Richard Newton, Alberto Sangiovanni-Vincentelli, Carlo H. Séquin, 1986 .
Alberto Sangiovanni-Vincentelli, Andrea Sindico, M. Di Natale, 2012, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems.
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 1997 .
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Yosinori Watanabe, 2003 .
Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-Vincentelli, 2000 .
Alberto Sangiovanni-Vincentelli, 2002 .
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Lin, 1999 .
Alberto Sangiovanni-Vincentelli, Dongpu Cao, Clara Marina Martinez, 2019, IEEE Transactions on Industrial Electronics.
Adam Wolisz, Alberto Sangiovanni-Vincentelli, Jan M. Rabaey, 2005, Ambient Intelligence.
Alberto Sangiovanni-Vincentelli, Arnon Amir, Lior Zimet, 2005, Comput. Vis. Image Underst..
Bernhard Schätz, Roberto Passerone, Alberto Sangiovanni-Vincentelli, 2017 .
Alberto Sangiovanni-Vincentelli, Jacob K. White, 1987 .
Alberto Sangiovanni-Vincentelli, G. De Micheli, Paolo Antognetti, 1987 .
Luciano Lavagno, Kurt Keutzer, Alberto Sangiovanni-Vincentelli, 1991 .
Edoardo Mosca, Alessandro Casavola, Alberto Sangiovanni-Vincentelli, 2005 .
Davide Bresolin, Tiziano Villa, Alberto Sangiovanni-Vincentelli, 2008 .
Alberto Sangiovanni-Vincentelli, Edoardo Charbon, Alper Demir, 1997 .
Alper Demir, Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1997 .
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Ellen M. Sentovich, 1991 .
Tiziano Villa, Alberto Sangiovanni-Vincentelli, T. Kam, 1997 .
Edward A. Lee, Alberto Sangiovanni-Vincentelli, 1996, ICCAD 1996.
Alberto Sangiovanni-Vincentelli, Luca Daniel, Jacob White, 2002, ICCAD 2002.
Alberto Sangiovanni-Vincentelli, Trevor Meyerowitz, A. Sangiovanni-Vincentelli, 2008 .
Alberto Sangiovanni-Vincentelli, Chung-Wei Lin, 2017 .
Roberto Guerrieri, Alberto Sangiovanni-Vincentelli, Henry Sheng, 1999 .
Miodrag Potkonjak, Alberto Sangiovanni-Vincentelli, Farinaz Koushanfar, 2003 .
Kurt Keutzer, Alberto Sangiovanni-Vincentelli, Gérard Berry, 1997, DAC 1997.
Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-Vincentelli, 2000 .
Alberto Sangiovanni-Vincentelli, Haibo Zeng, 2008 .
Roberto Passerone, Alberto Sangiovanni-Vincentelli, Pierluigi Nuzzo, 2018, 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).
Alberto Sangiovanni-Vincentelli, Alper Demir, 1998 .
Alberto Sangiovanni-Vincentelli, Rolf Johansson, Andrea Balluchi, 2006 .
Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2001, Lecture Notes in Computer Science.
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, 1993 .
Alberto Sangiovanni-Vincentelli, Edoardo Charbon, Alper Demir, 1997 .
Alberto Sangiovanni-Vincentelli, Douglas Densmore, Adam P. Donlin, 2006 .
Alberto Sangiovanni-Vincentelli, Kartikeya Mayaram, Douglas Braun, 1986, DAC 1986.
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 1997 .
Hugo De Man, Alberto Sangiovanni-Vincentelli, B Tuck, 1997 .
Alois Knoll, Alberto Sangiovanni-Vincentelli, Edgar Tamayo Cascan, 2019, 2019 IEEE Intelligent Transportation Systems Conference (ITSC).
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .
Alberto Sangiovanni-Vincentelli, Florian Hofer, Martin A. Sehr, 2020, 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC).
Robert K. Brayton, Rajeev Murgai, Alberto Sangiovanni-Vincentelli, 1995 .
Alper Demir, Alberto Sangiovanni-Vincentelli, Edward W. Y. Liu, 1994, ICCAD 1994.
Luciano Lavagno, Bassam Tabbara, Alberto Sangiovanni-Vincentelli, 1997 .
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Ellen M. Sentovich, 2000 .
Alberto Sangiovanni-Vincentelli, Giorgio Casinovi, 1988 .
Alberto Sangiovanni-Vincentelli, Carl Sechen, 1986, DAC 1986.
Bassam Tabbara, Alberto Sangiovanni-Vincentelli, Abdallah Tabbara, 2000 .
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Gary D. Hachtel, 1984 .
Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli, Luca Benvenuti, 2002 .
Adam Wolisz, Alberto Sangiovanni-Vincentelli, Marco Sgroi, 2003 .
Robert K. Brayton, Rajeev Murgai, Alberto Sangiovanni-Vincentelli, 1995 .
Luca P. Carloni, Alberto Sangiovanni-Vincentelli, Alessandro Pinto, 2008 .
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .
Alberto Sangiovanni-Vincentelli, Edoardo Charbon, Alper Demir, 1997 .
Alberto Sangiovanni-Vincentelli, Edoardo Charbon, Enrico Malavasi, 1997 .
Robert K. Brayton, Rajeev Murgai, Alberto Sangiovanni-Vincentelli, 1995 .
Alberto Sangiovanni-Vincentelli, Qi Zhu, Abhijit Davare, 2006 .
Alberto Sangiovanni-Vincentelli, Pierluigi Nuzzo, Ye Yuan, 2015, 2015 IEEE International Conference on Mechatronics and Automation (ICMA).
Leon O. Chua, Alberto Sangiovanni-Vincentelli, Li-Kuan Chen, 1976 .
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 1997 .
Alberto Sangiovanni-Vincentelli, Richard M. Murray, Pierluigi Nuzzo, 2015 .
Alberto Sangiovanni-Vincentelli, Haibo Zeng, Arkadeb Ghosal, 2012 .
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Sunil P. Khatri, 2001 .
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Gary D. Hachtel, 1984 .
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Wing Lam, 1992 .
Alberto Sangiovanni-Vincentelli, Christoph M. Kirsch, Arkadeb Ghosal, 2006 .
Alberto Sangiovanni-Vincentelli, Chung-Wei Lin, 2017 .
Alberto Sangiovanni-Vincentelli, Chung-Wei Lin, 2017 .
Tiziano Villa, Robert K. Brayton, Luca P. Carloni, 1997, International Conference on Computer Aided Design.
Alberto Sangiovanni-Vincentelli, Jacob K. White, 1987 .
Alberto Sangiovanni-Vincentelli, Paul R. Gray, R. R. Neff, 1996 .
Alberto Sangiovanni-Vincentelli, Joseph G. D'Ambrosio, Lei Rao, 2014 .
Robert K. Brayton, Alberto Sangiovanni-Vincentelli, A. R. Newton, 1993, IEEE Trans. Computers.
Alberto Sangiovanni-Vincentelli, Ruey-Sing Wei, 1985, DAC 1985.
Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, 2009, IEEE Transactions on Industrial Informatics.
Alper Demir, Alberto Sangiovanni-Vincentelli, 1998 .
Giovanni De Micheli, Alberto Sangiovanni-Vincentelli, 1982 .
Alberto Sangiovanni-Vincentelli, E. Lalarasmee, 1983 .
Alberto Sangiovanni-Vincentelli, Jacob K. White, 1987 .
Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli, Andrea Balluchi, 2004 .
Robert K. Brayton, Luciano Lavagno, Sharad Malik, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Roberto Guerrieri, Alberto Sangiovanni-Vincentelli, Henry Sheng, 1999 .
Alberto Sangiovanni-Vincentelli, Felice Balarin, Harry Hsieh, 2001 .
Alberto Sangiovanni-Vincentelli, Chung-Wei Lin, 2017 .
Alberto Sangiovanni-Vincentelli, Abbas El Gamal, Jonathan Rose, 1993 .
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .
Jan M. Rabaey, Kurt Keutzer, Alberto Sangiovanni-Vincentelli, 2001, Proc. IEEE.
Alberto Sangiovanni-Vincentelli, Andrea Balluchi, Howard Wong-Toi, 2003 .
Miodrag Potkonjak, Alberto Sangiovanni-Vincentelli, Farinaz Koushanfar, 2007 .
Alberto Sangiovanni-Vincentelli, R. John Kaye, 1983, IEEE Transactions on Systems, Man, and Cybernetics.
Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-Vincentelli, 2000 .
Alberto Sangiovanni-Vincentelli, Carlo H. Séquin, Hyunchul Shin, 1986, DAC 1986.
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .
Tiziano Villa, Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli, 2006 .
Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Wilsin Gosti, 2007 .
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 2012 .
Tiziano Villa, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, 1997 .
Miodrag Potkonjak, Alberto Sangiovanni-Vincentelli, Sasa Slijepcevic, 2004 .
Alberto Sangiovanni-Vincentelli, 2004, DAC '04.
Robert K. Brayton, Sharad Malik, Alberto Sangiovanni-Vincentelli, 1988 .
Anthony Rowe, Sanjit A. Seshia, Alberto Sangiovanni-Vincentelli, 2014 .
Mireille E. Broucke, Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 2000 .
Alberto Sangiovanni-Vincentelli, Robert G. Meyer, Edoardo Charbon, 2002, IEEE Circuits and Devices Magazine.
Alberto Sangiovanni-Vincentelli, A. Sangiovanni-Vincentelli, 1997 .
Alberto Sangiovanni-Vincentelli, Edoardo Charbon, Alper Demir, 1997 .