Author

Roberto Di Cosmo

Observed names: Cosmo, Roberto Di, Cosmo, Roberto, Di, DI COSMO R, DI COSMO, ROBERTO, DI COSMO, Roberto, Di Cosmo R., Di Cosmo, R. (Roberto), Di Cosmo, Roberto, Di Cosmo, Roberto 1963-, Di Cosmo, Roberto,, Di cosmo, Roberto, R. Di, R. Di Cosmo, R. Dicosmo, ROBERTO DI COSMO, Roberto Cosmo, Roberto Di, Roberto DiCosmo, Roberto Dicosmo, Roberto Di Cosmo, Roberto di Cosmo, di Cosmo, Roberto
ORCID: 0000-0002-7493-5349
Observed ORCID: 0000-0002-7493-5349
OpenAlex ID: A5087991671
2006 · Fabio Mancinelli, Jaap Boender, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 151
2017 · Di Cosmo, R. (Roberto), Zacchiroli, S. (Stefano) · Phaidra (Universität Wien) · 115
1995 · Roberto Di Cosmo · Birkhäuser Boston eBooks · 102
2004 · Vincent Balat, Roberto Di Cosmo, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 78
1992 · Kim B. Bruce, Roberto Di Cosmo, et al. · Mathematical Structures in Computer Science · 75
2009 · Pietro Abate, Roberto Di Cosmo, et al. · Proceedings of the ... ACM-IEEE International Symposium on Empirical Software Engineering and Measurement/International Symposium on Empirical Software Engineering and Measurement · 71
2008 · Roberto Di Cosmo, Stefano Zacchiroli, et al. · International Workshop on Hot Topics in Software Upgrades · 69
2014 · Roberto Di Cosmo, Jacopo Mauro, et al. · Information and Computation · 68
2018 · Jean-François Abramatic, Roberto Di Cosmo, et al. · Communications of the ACM · 66
2012 · Pietro Abate, Roberto Di Cosmo, et al. · Journal of Systems and Software · 47
2014 · Roberto Di Cosmo, Michael Lienhardt, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 44
2012 · C. Artho, K. Suzaki, et al. · International Conference on Mining Software Repositories (MSR) · 44
2002 · R. Di Cosmo, D. Kesner · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 40
2012 · Roberto Di Cosmo, Stefano Zacchiroli, et al. · Lecture notes in computer science · 38
2005 · Marcelo Fiore, Roberto Di Cosmo, et al. · Annals of Pure and Applied Logic · 38
2020 · Guillaume Rousseau, Roberto Di Cosmo, et al. · Empirical Software Engineering · 37
2019 · Pierre Alliez, Roberto Di Cosmo, et al. · Computing in Science & Engineering · 37
2010 · Roberto Di Cosmo, Davide Di Ruscio, et al. · Science of Computer Programming · 37
2020 · Pietro Abate, Roberto Di Cosmo, et al. · IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) · 35
2003 · ROBERTO DI COSMO, DELIA KESNER, et al. · Mathematical Structures in Computer Science · 35
2015 · Roberto Di Cosmo, Antoine Eiche, et al. · Lecture notes in computer science · 34
2015 · Maelick Claes, Tom Mens, et al. · International Conference on Mining Software Repositories (MSR) · 33
1994 · Roberto Di Cosmo, Delia Kesner · Mathematical Structures in Computer Science · 33
2018 · Di Cosmo, Roberto, Gruenpeter, Morane, et al. · Phaidra (Universität Wien) · 31
Works count: 395
Citation count: 2,375
H-index: 28
I10-index: 66
Year
Topic
Type