Beniamino Accattoli
About
Beniamino Accattoli has authored 17 papers that have received a total of 63 indexed citations.
This includes 17 papers in Artificial Intelligence, 16 papers in Computational Theory and Mathematics and 1 paper in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (17 papers), Formal Methods in Verification (11 papers) and Logic, Reasoning, and Knowledge (11 papers). Beniamino Accattoli is often cited by papers focused on Logic, programming, and type systems (17 papers), Formal Methods in Verification (11 papers) and Logic, Reasoning, and Knowledge (11 papers) and collaborates with scholars based in France, Italy and United States. Beniamino Accattoli's co-authors include Delia Kesner, Ugo Dal Lago, Stefano Guerrini, Eduardo Bonelli and Claudio Sacerdoti Coen and has published in prestigious journals such as Theoretical Computer Science, ACM SIGPLAN Notices and Information and Computation.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Thorsten Fögen Breakdown of academic impact, for papers by Zuriati Janin Breakdown of academic impact, for papers by Luis Terán Breakdown of academic impact, for papers by Howard P. Kainz Breakdown of academic impact, for papers by I. A. Rakhimov Breakdown of academic impact, for papers by E. F. Beach Breakdown of academic impact, for papers by Edward L. Greenstein Breakdown of academic impact, for papers by Max F. Meyer