Alceste Scalas
About
Alceste Scalas has authored 21 papers that have received a total of 161 indexed citations.
This includes 15 papers in Artificial Intelligence, 8 papers in Computer Networks and Communications and 8 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (14 papers), Formal Methods in Verification (8 papers) and Security and Verification in Computing (7 papers). Alceste Scalas is often cited by papers focused on Logic, programming, and type systems (14 papers), Formal Methods in Verification (8 papers) and Security and Verification in Computing (7 papers) and collaborates with scholars based in United Kingdom, Italy and Denmark. Alceste Scalas's co-authors include Nobuko Yoshida, Julien Lange, Massimo Bartoletti, Roberto Zunino and Emilio Tuosto and has published in prestigious journals such as Science of Computer Programming, ACM Transactions on Computational Logic and Proceedings of the ACM on Programming Languages
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Sophia L. Alexis are co-authored with Top authors papers by Sandeep Hans are co-authored with Top fields papers by Rahul Aralikatte are about Top fields papers by Jimmy Phuong are about Top journals papers by José Ceresetto are published in Top journals papers by Hossein Hojjat are published in Top fields papers by Nguyễn Bá Nam are about Top authors papers by Н. С. Крашенинникова are co-authored with