Alexandre Petrenko
About
Alexandre Petrenko has authored 34 papers that have received a total of 592 indexed citations.
This includes 23 papers in Software, 18 papers in Computational Theory and Mathematics and 8 papers in Hardware and Architecture. The topics of these papers are Software Testing and Debugging Techniques (21 papers), Formal Methods in Verification (17 papers) and Software Reliability and Analysis Research (13 papers). Alexandre Petrenko is often cited by papers focused on Software Testing and Debugging Techniques (21 papers), Formal Methods in Verification (17 papers) and Software Reliability and Analysis Research (13 papers) and collaborates with scholars based in Canada, Russia and United States. Alexandre Petrenko's co-authors include Nina Yevtushenko, Adenilso Simão, Sergiy Boroday, Robert K. Brayton and Tiziano Villa and has published in prestigious journals such as Proceedings of the IEEE, IEEE Transactions on Software Engineering and IEEE Transactions on Computers
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Asaad Assiri are co-authored with Top countries impacted by papers by Hideaki Katori Top authors papers by Jianping Cai are co-authored with Top countries impacted by papers by Sandy Taut Top authors papers by Livius Cotarcǎ are co-authored with Top countries impacted by papers by Jeremiah R. Pinto Top countries impacted by papers by Seungwoo Song Top countries impacted by papers by Laila Hübbert