Roberto Di Cosmo
About
Roberto Di Cosmo has authored 35 papers that have received a total of 272 indexed citations.
This includes 19 papers in Artificial Intelligence, 15 papers in Computer Networks and Communications and 14 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (12 papers), Logic, Reasoning, and Knowledge (10 papers) and Parallel Computing and Optimization Techniques (6 papers). Roberto Di Cosmo is often cited by papers focused on Logic, programming, and type systems (12 papers), Logic, Reasoning, and Knowledge (10 papers) and Parallel Computing and Optimization Techniques (6 papers) and collaborates with scholars based in France, Italy and United Kingdom. Roberto Di Cosmo's co-authors include Stefano Zacchiroli, Delia Kesner, Pierre Weis, Pietro Abate and Susanna Pelagatti and has published in prestigious journals such as Communications of the ACM, Theoretical Computer Science and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Milica Kontić are published in Top journals papers by John K. Antonio are published in Top authors papers by Matthieu Schuers are co-authored with Top journals papers by Reuven Karni are published in Top authors papers by Jim Alves-Foss are co-authored with Top journals papers by Franklin Johnson are published in Top authors papers by Junjie Shi are co-authored with Top authors papers by Shahida Bashir are co-authored with