Luciano Lavagno

173 papers and 2.6k indexed citations i.

Luciano Lavagno has authored 173 papers that have received a total of 2.6k indexed citations. This includes 125 papers in Hardware and Architecture, 65 papers in Electrical and Electronic Engineering and 55 papers in Computational Theory and Mathematics. The topics of these papers are Embedded Systems Design Techniques (95 papers), Formal Methods in Verification (43 papers) and Parallel Computing and Optimization Techniques (42 papers). Luciano Lavagno is often cited by papers focused on Embedded Systems Design Techniques (95 papers), Formal Methods in Verification (43 papers) and Parallel Computing and Optimization Techniques (42 papers) and collaborates with scholars based in Italy, United States and Spain. Luciano Lavagno's co-authors include Alberto Sangiovanni‐Vincentelli, Jordi Cortadella, A. Kondratyev, Alex Yakovlev and Mihai T. Lazarescu and has published in prestigious journals such as Proceedings of the IEEE, Sensors and IEEE Access.