Marco Carbone
About
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.
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Peilan Wang are published in Top countries impacted by papers by Steven L. Shapiro Top authors papers by Xidong Feng are co-authored with Top authors papers by Andrea M. Santangelo are co-authored with Top countries impacted by papers by Meltem Arıkan Top journals papers by Verónica Leticia Colin are published in Top fields papers by Kwi Hye Koh are about Top fields papers by Michele Di Pierro are about