Alessandro Aldini
About
Alessandro Aldini has authored 52 papers that have received a total of 368 indexed citations.
This includes 34 papers in Artificial Intelligence, 18 papers in Computer Networks and Communications and 17 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (15 papers), Security and Verification in Computing (14 papers) and Advanced Software Engineering Methodologies (9 papers). Alessandro Aldini is often cited by papers focused on Formal Methods in Verification (15 papers), Security and Verification in Computing (14 papers) and Advanced Software Engineering Methodologies (9 papers) and collaborates with scholars based in Italy, United Kingdom and Spain. Alessandro Aldini's co-authors include Marco Bernardo, Fabio Martinelli, Roberto Gorrieri, Alessandra Di Pierro and Neeraj Suri and has published in prestigious journals such as Reliability Engineering & System Safety, Theoretical Computer Science and Lecture notes in computer science.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Deng’an Cai Breakdown of academic impact, for papers by Akella Chendrasekhar Breakdown of academic impact, for papers by V. B. Rozanov Breakdown of academic impact, for papers by Qingbang Han Breakdown of academic impact, for papers by Xingyu Yang Breakdown of academic impact, for papers by Haoxue Qiao Breakdown of academic impact, for papers by Antoinette Lombard Breakdown of academic impact, for papers by Diego Kauffmann‐Guerrero