| 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 | 176 | 2006 |
| Isomorphisms of Types: from?-calculus to information retrieval and language design R DiCosmo Springer Science & Business Media, 2012 | 167 | 2012 |
| Provable isomorphisms of types KB Bruce, R Di Cosmo, G Longo Mathematical Structures in Computer Science 2 (2), 231-247, 1992 | 114 | 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 | 89 | 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 | 77 | 2009 |
| 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 | 71 | 2008 |
| 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 | 67 | 2017 |
| Aeolus: A component model for the cloud R Di Cosmo, J Mauro, S Zacchiroli, G Zavattaro Information and Computation 239, 100-121, 2014 | 58 | 2014 |
| 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 | 57 | 1997 |
| Simulating expansions without expansions R Di Cosmo, D Kesner Mathematical Structures in Computer Science 4 (3), 315-362, 1994 | 57 | 1994 |
| A confluent reduction for the extensional typed λ-calculus with pairs, sums, recursion and terminal object R Di Cosmo, D Kesner International Colloquium on Automata, Languages, and Programming, 645-656, 1993 | 57 | 1993 |
| Proof nets and explicit substitutions R Di Cosmo, D Kesner, E Polonovski Mathematical Structures in Computer Science 13 (3), 409, 2003 | 55 | 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 | 55 | 1998 |
| Building the universal archive of source code JF Abramatic, R Di Cosmo, S Zacchiroli Communications of the ACM 61 (10), 29-31, 2018 | 49 | 2018 |
| 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 | 48 | 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 | 47 | 2012 |
| 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 | 47 | 2011 |
| 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 | 47* | 1991 |
| 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 | 46 | 2012 |
| 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 | 43 | 2012 |
Stefano ZacchiroliUniversité de Paris and Inria, FranceBestätigte E-Mail-Adresse bei irif.fr
