Enea Zaffanella
About
Enea Zaffanella has authored 23 papers that have received a total of 308 indexed citations.
This includes 19 papers in Computational Theory and Mathematics, 14 papers in Artificial Intelligence and 9 papers in Software. The topics of these papers are Formal Methods in Verification (18 papers), Logic, programming, and type systems (14 papers) and Software Testing and Debugging Techniques (4 papers). Enea Zaffanella is often cited by papers focused on Formal Methods in Verification (18 papers), Logic, programming, and type systems (14 papers) and Software Testing and Debugging Techniques (4 papers) and collaborates with scholars based in Italy, United Kingdom and France. Enea Zaffanella's co-authors include Roberto Bagnara, Patricia M. Hill, Gianluca Amato, Andrew D. Gordon and Gerhard Goos and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Information and Computation.
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Masateru Shinozaki Top journals papers by Peyman Kabiri are published in Top authors papers by Haitao Yu are co-authored with Top authors papers by Saad Pervaiz are co-authored with Top fields papers by Jakarat Anothai are about Top fields papers by Bahman Mirheidari are about Top journals papers by M. Mollova are published in Top countries impacted by papers by Vicky Thiffault