Fausto Spoto
About
Fausto Spoto has authored 30 papers that have received a total of 244 indexed citations.
This includes 24 papers in Artificial Intelligence, 14 papers in Information Systems and 11 papers in Signal Processing. The topics of these papers are Logic, programming, and type systems (15 papers), Advanced Malware Detection Techniques (11 papers) and Formal Methods in Verification (9 papers). Fausto Spoto is often cited by papers focused on Logic, programming, and type systems (15 papers), Advanced Malware Detection Techniques (11 papers) and Formal Methods in Verification (9 papers) and collaborates with scholars based in Italy, United States and France. Fausto Spoto's co-authors include Pietro Ferrara, Thomas Jensen, Michael D. Ernst, Agostino Cortesi and Étienne Payet and has published in prestigious journals such as Scientific Reports, Theoretical Computer Science and Information and Software Technology
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Bilal Aoun are published in Top authors papers by John Pittner are co-authored with Top fields papers by Tae Kyung Lee are about Top journals papers by İlyas Çankaya are published in Top fields papers by Priyanka Anand are about Top countries impacted by papers by Siti Fatimah Sabran Top fields papers by Yuhua Su are about Top fields papers by Bin Lu are about