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 authors papers by Daniel T. Selbie are co-authored with Top countries impacted by papers by Frederick J. Jannett Top fields papers by Shahpoor Moradi are about Top countries impacted by papers by Dale A. Koike Top countries impacted by papers by Clyde R. Burnett Top fields papers by C. Lesage are about Top fields papers by David Burke are about Top journals papers by İrfan Öztürk are published in