Alberto Puggelli

17 papers and 423 indexed citations i.

Alberto Puggelli has authored 17 papers that have received a total of 423 indexed citations. This includes 8 papers in Electrical and Electronic Engineering, 7 papers in Hardware and Architecture and 5 papers in Artificial Intelligence. The topics of these papers are Low-power high-performance VLSI design (7 papers), Formal Methods in Verification (5 papers) and VLSI and Analog Circuit Testing (5 papers). Alberto Puggelli is often cited by papers focused on Low-power high-performance VLSI design (7 papers), Formal Methods in Verification (5 papers) and VLSI and Analog Circuit Testing (5 papers) and collaborates with scholars based in United States, France and Italy. Alberto Puggelli's co-authors include Alberto Sangiovanni‐Vincentelli, Ben Keller, Sanjit A. Seshia, Brian Zimmer and Milovan Blagojević and has published in prestigious journals such as IEEE Transactions on Automatic Control, IEEE Journal of Solid-State Circuits and IEEE Sensors Journal