Adrian Francalanza

44 papers and 225 indexed citations i.

Adrian Francalanza has authored 44 papers that have received a total of 225 indexed citations. This includes 34 papers in Artificial Intelligence, 25 papers in Computational Theory and Mathematics and 11 papers in Software. The topics of these papers are Formal Methods in Verification (24 papers), Logic, programming, and type systems (23 papers) and Security and Verification in Computing (14 papers). Adrian Francalanza is often cited by papers focused on Formal Methods in Verification (24 papers), Logic, programming, and type systems (23 papers) and Security and Verification in Computing (14 papers) and collaborates with scholars based in Malta, Iceland and Italy. Adrian Francalanza's co-authors include Anna Ingólfsdóttir, Luca Aceto, Matthew Hennessy, Gordon J. Pace and José Rufino and has published in prestigious journals such as Development, Information and Computation and Science of Computer Programming.