Stefano Quer

66 papers and 416 indexed citations i.

Stefano Quer has authored 66 papers that have received a total of 416 indexed citations. This includes 42 papers in Computational Theory and Mathematics, 27 papers in Software and 23 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (40 papers), Software Testing and Debugging Techniques (22 papers) and VLSI and Analog Circuit Testing (14 papers). Stefano Quer is often cited by papers focused on Formal Methods in Verification (40 papers), Software Testing and Debugging Techniques (22 papers) and VLSI and Analog Circuit Testing (14 papers) and collaborates with scholars based in Italy, United States and France. Stefano Quer's co-authors include Gianpiero Cabodi, P. Camurati, Luciano Lavagno, Enrico Macii and Massimo Poncino and has published in prestigious journals such as Sensors, IEEE Access and IEEE Transactions on Vehicular Technology