Roberto Di Cosmo
Roberto Di Cosmo
Professor of Computer Science, University Paris Diderot
Bestätigte E-Mail-Adresse bei dicosmo.org - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1802006
Isomorphisms of Types: from?-calculus to information retrieval and language design
R DiCosmo
Springer Science & Business Media, 2012
1672012
Provable isomorphisms of types
KB Bruce, R Di Cosmo, G Longo
Mathematical Structures in Computer Science 2 (2), 231-247, 1992
1141992
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
902004
Strong dependencies between software components
P Abate, R Di Cosmo, J Boender, S Zacchiroli
2009 3rd International Symposium on Empirical Software Engineering and …, 2009
782009
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
762017
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
702008
Building the universal archive of source code
JF Abramatic, R Di Cosmo, S Zacchiroli
Communications of the ACM 61 (10), 29-31, 2018
592018
Aeolus: A component model for the cloud
R Di Cosmo, J Mauro, S Zacchiroli, G Zavattaro
Information and Computation 239, 100-121, 2014
582014
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
581997
Simulating expansions without expansions
R Di Cosmo, D Kesner
Mathematical Structures in Computer Science 4 (3), 315-362, 1994
571994
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
571993
Proof nets and explicit substitutions
R Di Cosmo, D Kesner, E Polonovski
Mathematical Structures in Computer Science 13 (3), 409-450, 2003
552003
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
551998
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
522012
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
482014
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
48*1991
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
472011
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
462012
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
462012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20