Flavio Lerda
About
Flavio Lerda has authored 11 papers that have received a total of 530 indexed citations.
This includes 9 papers in Computational Theory and Mathematics, 6 papers in Software and 2 papers in Computer Vision and Pattern Recognition. The topics of these papers are Formal Methods in Verification (7 papers), Software Testing and Debugging Techniques (5 papers) and Software Reliability and Analysis Research (5 papers). Flavio Lerda is often cited by papers focused on Formal Methods in Verification (7 papers), Software Testing and Debugging Techniques (5 papers) and Software Reliability and Analysis Research (5 papers) and collaborates with scholars based in United States, Italy and Israel. Flavio Lerda's co-authors include Michael Theobald, Bruce H. Krogh, Edmund M. Clarke, James Kapinski and Catterina Dagnino and has published in prestigious journals such as ACM SIGPLAN Notices, CALCOLO and Automated Software Engineering
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by H. Coetzer are co-authored with Top fields papers by Jared Mondschein are about Top countries impacted by papers by Gengwen Tian Top authors papers by Akseli Aittomäki are co-authored with Top fields papers by B.J. Eadie are about Top countries impacted by papers by Weston Lane Top fields papers by Evan T. Ogburn are about Top authors papers by Mary Boggs are co-authored with