Fabio Somenzi
About
Fabio Somenzi has authored 98 papers that have received a total of 1.8k indexed citations.
This includes 67 papers in Computational Theory and Mathematics, 51 papers in Hardware and Architecture and 39 papers in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (67 papers), VLSI and Analog Circuit Testing (36 papers) and Software Testing and Debugging Techniques (24 papers). Fabio Somenzi is often cited by papers focused on Formal Methods in Verification (67 papers), VLSI and Analog Circuit Testing (36 papers) and Software Testing and Debugging Techniques (24 papers) and collaborates with scholars based in United States, Italy and Germany. Fabio Somenzi's co-authors include Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Kavita Ravi and Shan Gai and has published in prestigious journals such as Proceedings of the IEEE, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and International Journal on Software Tools for Technology Transfer
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by V. Bortolani are co-authored with Top fields papers by Michaël Tatoulian are about Top countries impacted by papers by Corinna Dawid Top countries impacted by papers by P. Kandaswamy Top fields papers by Yang Tian are about Top authors papers by T. Mogas are co-authored with Top fields papers by Chunliang Li are about Top journals papers by Mohammad Sadegh Allahyari are published in