| Software Heritage: Why and how to preserve software source code R Di Cosmo, S Zacchiroli iPRES 2017-14th International Conference on Digital Preservation, 1-10, 2017 | 172 | 2017 |
| User interaction with the Matita proof assistant A Asperti, C Sacerdoti Coen, E Tassi, S Zacchiroli Journal of Automated Reasoning 39, 109-139, 2007 | 104 | 2007 |
| Strong dependencies between software components P Abate, R Di Cosmo, J Boender, S Zacchiroli 2009 3rd International Symposium on Empirical Software Engineering and …, 2009 | 87 | 2009 |
| Dependency solving: a separate concern in component evolution management P Abate, R Di Cosmo, R Treinen, S Zacchiroli Journal of Systems and Software 85 (10), 2228-2240, 2012 | 84 | 2012 |
| Package upgrades in FOSS distributions: Details and challenges R Di Cosmo, S Zacchiroli, P Trezentos Proceedings of the 1st international workshop on hot topics in software …, 2008 | 84 | 2008 |
| Building the universal archive of source code JF Abramatic, R Di Cosmo, S Zacchiroli Communications of the ACM 61 (10), 29-31, 2018 | 81 | 2018 |
| Aeolus: A component model for the cloud R Di Cosmo, J Mauro, S Zacchiroli, G Zavattaro Information and Computation 239, 100-121, 2014 | 78 | 2014 |
| A content based mathematical search engine: Whelp A Asperti, F Guidi, CS Coen, E Tassi, S Zacchiroli Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en …, 2006 | 77 | 2006 |
| Why do software packages conflict? C Artho, K Suzaki, R Di Cosmo, R Treinen, S Zacchiroli 2012 9th IEEE Working Conference on Mining Software Repositories (MSR), 141-150, 2012 | 65 | 2012 |
| The Software Heritage graph dataset: public software development under one roof A Pietri, D Spinellis, S Zacchiroli 2019 IEEE/ACM 16th International Conference on Mining Software Repositories …, 2019 | 62 | 2019 |
| Automated synthesis and deployment of cloud applications R Di Cosmo, M Lienhardt, R Treinen, S Zacchiroli, J Zwolakowski, A Eiche, ... Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014 | 59 | 2014 |
| Reproducible builds: Increasing the integrity of software supply chains C Lamb, S Zacchiroli IEEE Software 39 (2), 62-70, 2021 | 54 | 2021 |
| Supporting software evolution in component-based FOSS systems R Di Cosmo, D Di Ruscio, P Pelliccione, A Pierantonio, S Zacchiroli Science of Computer Programming 76 (12), 1144-1160, 2011 | 53 | 2011 |
| Automatic deployment of services in the cloud with aeolus blender R Di Cosmo, A Eiche, J Mauro, S Zacchiroli, G Zavattaro, J Zwolakowski International Conference on Service-Oriented Computing, 397-411, 2015 | 52 | 2015 |
| The Ultimate Debian Database: Consolidating bazaar metadata for quality assurance and data mining L Nussbaum, S Zacchiroli 2010 7th IEEE Working Conference on Mining Software Repositories (MSR 2010 …, 2010 | 52 | 2010 |
| Crafting a proof assistant A Asperti, CS Coen, E Tassi, S Zacchiroli Types for Proofs and Programs: International Workshop, TYPES 2006 …, 2007 | 50 | 2007 |
| Towards a formal component model for the cloud R Di Cosmo, S Zacchiroli, G Zavattaro International Conference on Software Engineering and Formal Methods, 156-171, 2012 | 49 | 2012 |
| Common Upgradeability Description Format (CUDF) 2.0 R Treinen, S Zacchiroli The Mancoosi project (FP7) 3, 2009 | 47* | 2009 |
| MPM: a modular package manager P Abate, R DiCosmo, R Treinen, S Zacchiroli Proceedings of the 14th international ACM Sigsoft symposium on Component …, 2011 | 42 | 2011 |
| Content cloaking: preserving privacy with Google Docs and other Web applications G d'Angelo, F Vitali, S Zacchiroli Proceedings of the 2010 ACM symposium on applied computing, 826-830, 2010 | 40 | 2010 |
Roberto Di CosmoProfessor of Computer Science, University Paris Diderot在 dicosmo.org 的电子邮件经过验证
