Marco Carbone

21 papers and 760 indexed citations i.

Marco Carbone has authored 21 papers that have received a total of 760 indexed citations. This includes 19 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 10 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (13 papers), Formal Methods in Verification (9 papers) and Cryptography and Data Security (5 papers). Marco Carbone is often cited by papers focused on Logic, programming, and type systems (13 papers), Formal Methods in Verification (9 papers) and Cryptography and Data Security (5 papers) and collaborates with scholars based in Denmark, United Kingdom and Italy. Marco Carbone's co-authors include Nobuko Yoshida, Kohei Honda, Fabrizio Montesi, Morten S. Nielsen and Vladimiro Sassone and has published in prestigious journals such as Journal of the ACM, Theoretical Computer Science and ACM SIGPLAN Notices