Alberto Puggelli
发表
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Alberto Puggelli,
2014,
2014 International Conference on Embedded Software (EMSOFT).
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2014,
IEEE Transactions on Automatic Control.
Alberto L. Sangiovanni-Vincentelli,
Alberto Puggelli,
Andreas Kuehlmann,
2011,
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Luciano Lavagno,
Alberto Sangiovanni-Vincentelli,
Alberto Puggelli,
2011,
ICNS 2011.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Alberto Puggelli,
2013,
CAV.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Pierluigi Nuzzo,
2010,
Formal Methods in Computer Aided Design.
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli,
Alberto Puggelli,
2012,
2012 International Conference on Computing, Networking and Communications (ICNC).
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli,
Alberto Puggelli,
2015,
IEEE Systems Journal.
Alberto L. Sangiovanni-Vincentelli,
S. Shankar Sastry,
Ruzena Bajcsy,
2014,
AAAI Spring Symposia.
David Patterson,
Alberto Puggelli,
Elad Alon,
2016,
IEEE Micro.
Salvatore Levantino,
Carlo Samori,
Andrea L. Lacaita,
2010,
2010 Proceedings of ESSCIRC.
Alberto L. Sangiovanni-Vincentelli,
Alberto Puggelli,
John Crossley,
2013,
2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).