Roberto Di Cosmo
Scholar

Roberto Di Cosmo

Google Scholar ID: yCwXGPQAAAAJ
Professor of Computer Science, University Paris Diderot
Theoretical computer scienceparallel programmingfunctional programmingfree softwareformal methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,757
 
H-index
36
 
i10-index
82
 
Publications
20
 
Co-authors
14
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
14 total
Stefano Zacchiroli
Stefano Zacchiroli
LTCI, Télécom Paris, Polytechnique Institute of Paris, France
Xavier Leroy
Xavier Leroy
Collège de France
Co-author 3
Co-author 3
Gianluigi Zavattaro
Gianluigi Zavattaro
Professor in Computer Science, University of Bologna
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8