| Managing the complexity of large free and open source package-based software distributions F Mancinelli, J Boender, R Di Cosmo, J Vouillon, B Durak, X Leroy, ... 21st IEEE/ACM International Conference on Automated Software Engineering …, 2006 | 226 | 2006 |
| Software heritage: Why and how to preserve software source code R Di Cosmo, S Zacchiroli iPRES 2017, 2017 | 205 | 2017 |
| Isomorphisms of types: from lambda-calculus to information retrieval and language design R DiCosmo Springer Science & Business Media, 1995 | 191 | 1995 |
| Provable isomorphisms of types K Bruce, R Di Cosmo, G Longo Mathematical Structures in Computer Science 2 (2), 231-247, 1992 | 121 | 1992 |
| Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums V Balat, R Di Cosmo, M Fiore ACM SIGPLAN Notices 39 (1), 64-76, 2004 | 92 | 2004 |
| Strong dependencies between software components P Abate, R Di Cosmo, J Boender, S Zacchiroli 2009 3rd International Symposium on Empirical Software Engineering and …, 2009 | 91 | 2009 |
| Building the universal archive of source code JF Abramatic, R Di Cosmo, S Zacchiroli Communications of the ACM 61 (10), 29-31, 2018 | 88 | 2018 |
| Aeolus: A component model for the cloud R Di Cosmo, J Mauro, S Zacchiroli, G Zavattaro Information and Computation 239, 100-121, 2014 | 87 | 2014 |
| 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 | 87 | 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 | 85 | 2008 |
| 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 | 67 | 2012 |
| Simulating expansions without expansions R Di Cosmo, D Kesner Mathematical Structures in Computer Science 4 (3), 315-362, 1994 | 66 | 1994 |
| Strong normalization of explicit substitutions via cut elimination in proof nets R Di Cosmo, D Kesner Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science, 35-46, 1997 | 65 | 1997 |
| 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 | 62 | 2014 |
| A confluent reduction for the extensional typed λ-calculus with pairs, sums, recursion and terminal object RD Cosmo, D Kesner International Colloquium on Automata, Languages, and Programming, 645-656, 1993 | 62 | 1993 |
| Proof nets and explicit substitutions R Di Cosmo, D Kesner, E Polonovski Mathematical Structures in Computer Science 13 (3), 409-450, 2003 | 59 | 2003 |
| Parallel functional programming with skeletons: the OCamlP3L experiment M Danelutto, R Di Cosmo, X Leroy, S Pelagatti ACM workshop on ML and its applications, 1998 | 59 | 1998 |
| A confluent reduction for the λ-calculus with surjective pairing and terminal object PL Curien, R Di Cosmo International Colloquium on Automata, Languages, and Programming, 291-302, 1991 | 59* | 1991 |
| 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 | 55 | 2015 |
| Linear logic R Di Cosmo, D Miller | 53 | 2006 |
Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, FranceEmail yang diverifikasi di telecom-paris.fr