A. Puggelli

发表

Elad Alon, Philippe Flatresse, Borivoje Nikolic, 2016, IEEE Journal of Solid-State Circuits.

David Patterson, Alberto Puggelli, Elad Alon, 2016, IEEE Micro.

Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, 2014, IEEE Transactions on Automatic Control.

A. Sangiovanni-Vincentelli, S. Seshia, P. Tabuada, 2015 .

Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, 2014, ArXiv.

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Alberto Puggelli, 2013, CAV.

John B. Finn, A. Sangiovanni-Vincentelli, S. Seshia, 2012 .

Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Ruzena Bajcsy, 2014, AAAI Spring Symposia.

Paulo Tabuada, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, 2015, 2015 American Control Conference (ACC).

Xuening Sun, A. Sangiovanni-Vincentelli, P. Nuzzo, 2012, IEEE Sensors Journal.

Alberto L. Sangiovanni-Vincentelli, Alberto Puggelli, John Crossley, 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Elad Alon, Borivoje Nikolić, Brian Zimmer, 2017, IEEE Journal of Solid-State Circuits.

A. Sangiovanni-Vincentelli, S. Seshia, P. Tabuada, 2014, IEEE Transactions on Automatic Control.

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Pierluigi Nuzzo, 2010, Formal Methods in Computer Aided Design.

S. Sastry, R. Bajcsy, A. Sangiovanni-Vincentelli, 2014, AAAI Spring Symposia.