Gennaro Parlato
About
Gennaro Parlato has authored 30 papers that have received a total of 315 indexed citations.
This includes 25 papers in Computational Theory and Mathematics, 17 papers in Artificial Intelligence and 10 papers in Software. The topics of these papers are Formal Methods in Verification (23 papers), Logic, programming, and type systems (12 papers) and Software Testing and Debugging Techniques (8 papers). Gennaro Parlato is often cited by papers focused on Formal Methods in Verification (23 papers), Logic, programming, and type systems (12 papers) and Software Testing and Debugging Techniques (8 papers) and collaborates with scholars based in Italy, United Kingdom and United States. Gennaro Parlato's co-authors include P. Madhusudan, Salvatore La Torre, Omar Inverso, Bernd Fischer and Anna Lisa Ferrara and has published in prestigious journals such as Theoretical Computer Science, ACM SIGPLAN Notices and ACM Transactions on Programming Languages and Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Gil-Lim Yoon are about Top authors papers by Lisa Schubert are co-authored with Top fields papers by D. Ferré are about Top authors papers by Yu‐Zhou Du are co-authored with Top fields papers by Zhilong Ma are about Top countries impacted by papers by Yu Liang Top countries impacted by papers by Suchada Piriyaprasarth Top authors papers by Simon Prince are co-authored with