Alessandro Aldini
About
Alessandro Aldini has authored 52 papers that have received a total of 366 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
Top countries impacted by papers by Mohammad Khosravi Top authors papers by David Birmingham are co-authored with Top journals papers by Liqiang Ren are published in Top authors papers by Minoru Igarashi are co-authored with Top fields papers by Martina Sebök are about Top fields papers by Zichen Wang are about Top fields papers by Wellington Farias Araújo are about Top authors papers by Md Sakib Hasan are co-authored with