Alberto Sangiovanni‐Vincentelli

541 papers and 15.3k indexed citations i.

Alberto Sangiovanni‐Vincentelli is a scholar working on Hardware and Architecture, Electrical and Electronic Engineering and Computational Theory and Mathematics. According to data from OpenAlex, Alberto Sangiovanni‐Vincentelli has authored 541 papers receiving a total of 15.3k indexed citations (citations by other indexed papers that have themselves been cited), including 266 papers in Hardware and Architecture, 217 papers in Electrical and Electronic Engineering and 172 papers in Computational Theory and Mathematics. Recurrent topics in Alberto Sangiovanni‐Vincentelli’s work include Embedded Systems Design Techniques (164 papers), Formal Methods in Verification (136 papers) and VLSI and FPGA Design Techniques (112 papers). Alberto Sangiovanni‐Vincentelli is often cited by papers focused on Embedded Systems Design Techniques (164 papers), Formal Methods in Verification (136 papers) and VLSI and FPGA Design Techniques (112 papers). Alberto Sangiovanni‐Vincentelli collaborates with scholars based in United States, Italy and Germany. Alberto Sangiovanni‐Vincentelli's co-authors include Robert K. Brayton, Sanjit A. Seshia, Pierluigi Nuzzo, Luciano Lavagno and Qi Zhu and has published in prestigious journals such as IEEE Transactions on Pattern Analysis and Machine Intelligence, IEEE Transactions on Automatic Control and Scientific Reports.