Pierluigi Nuzzo

65 papers and 1.2k indexed citations i.

Pierluigi Nuzzo has authored 65 papers that have received a total of 1.2k indexed citations. This includes 33 papers in Computational Theory and Mathematics, 28 papers in Hardware and Architecture and 20 papers in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (33 papers), Model-Driven Software Engineering Techniques (11 papers) and Embedded Systems Design Techniques (11 papers). Pierluigi Nuzzo is often cited by papers focused on Formal Methods in Verification (33 papers), Model-Driven Software Engineering Techniques (11 papers) and Embedded Systems Design Techniques (11 papers) and collaborates with scholars based in United States, Italy and Belgium. Pierluigi Nuzzo's co-authors include Alberto Sangiovanni‐Vincentelli, Sanjit A. Seshia, Paulo Tabuada, Yasser Shoukry and Geert Van der Plas and has published in prestigious journals such as IEEE Transactions on Automatic Control, Proceedings of the IEEE and IEEE Access