Roberto Di Cosmo - Concepedia

Author

Roberto Di Cosmo

Also Known As

Di Cosmo, Roberto, Isabelle Blanc, K. Suzaki, R. Di Cosmo, ROBERTO DI COSMO, Roberto Cosmo, Roberto Di, Roberto Di Cosmo, Roberto DiCosmo, Roberto Di Cosmo

147

Publications

1.9K

Citations

H-Index

Concepts

All Affiliations

Université Paris Cité Délégation Paris 7 Institut national de recherche en sciences et technologies du numérique Centre National de la Recherche Scientifique Laboratory Preuves, Programmes et Systèmes

About

Roberto Di Cosmo is an author at Université Paris Cité specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	18	28	998
2	Arts	1	1	63
3	Business	1	1	18
4	Education	1	1	14
5	Natural Sciences	1	1	12

Roberto Di Cosmo

Publications

1.3K

Citations

H-Index

Page 1

	Year	Citations
Managing the Complexity of Large Free and Open Source Package-Based Software Distributions Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Software MaintenanceEngineeringSoftware EngineeringSoftware AnalysisOpen-source Software Development	2006	148
Software Heritage: Why and How to Preserve Software Source Code Roberto Di Cosmo, Stefano Zacchiroli Phaidra (Universität Wien)	2017	112
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums Vincent Balat, Roberto Di Cosmo, Marcelo Fiore Normal FormsExtensional NormalisationAlgebraic LogicEngineeringGeneric Programming	2004	78
Provable isomorphisms of types Kim B. Bruce, Roberto Di Cosmo, G. Longo Mathematical Structures in Computer Science Constructive MathematicsNon-monotonic LogicEngineeringAutomated ReasoningProvable Isomorphisms	1992	75
Strong dependencies between software components Pietro Abate, Roberto Di Cosmo, Jaap Boender, Software MaintenanceStrong DependenciesEngineeringSoftware EngineeringSemantic Web	2009	71
Aeolus: A component model for the cloud Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Information and Computation Cluster ComputingEngineeringCloud Computing ArchitectureCloud ComputingCloud Continuum	2014	64
Building the universal archive of source code Jean-François Abramatic, Roberto Di Cosmo, Stefano Zacchiroli Communications of the ACM Software MaintenanceEngineeringProject ManagementSoftware EngineeringSource Code Analysis	2018	63
Dependency solving: A separate concern in component evolution management Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Journal of Systems and Software Software MaintenanceSoftware ComponentEngineeringComponent-based Software EngineeringDesign	2012	45
Automated synthesis and deployment of cloud applications Roberto Di Cosmo, Michaël Lienhardt, Ralf Treinen, Software MaintenanceCluster ComputingProvisioning (Technology)EngineeringCloud Computing Architecture	2014	43
Strong normalization of explicit substitutions via cut elimination in proof nets Roberto Di Cosmo, Delia Kesner EngineeringVerificationAutomated ProofFormal VerificationNormalization Properties	2002	41

Page 1