Concepedia

Roberto Di Cosmo

RD

36

Publications

1.3K

Citations

21

H-Index

1992

Active since

Affiliations

Université Paris Cité(Current)

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

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

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware EngineeringSoftware DesignSoftware AnalysisSystem SoftwareProgram AnalysisSoftware MaintenanceSoftware Testing

Publications per year

1992–2020

36

Publications

36

Managing the Complexity of Large Free and Open Source Package-Based Software Distributions

Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo et al. · 2006 · 148 citations · Full text

Software Maintenance, Engineering, Software Engineering +18

Software Heritage: Why and How to Preserve Software Source Code

Roberto Di Cosmo, Stefano Zacchiroli · Phaidra (Universität Wien) · 2017 · 112 citations · Full text

Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums

Vincent Balat, Roberto Di Cosmo, Marcelo Fiore · 2004 · 78 citations

Normal Forms, Extensional Normalisation, Algebraic Logic +13

Provable isomorphisms of types

Kim B. Bruce, Roberto Di Cosmo, G. Longo · Mathematical Structures in Computer Science · 1992 · 75 citations · Full text

Constructive Mathematics, Non-monotonic Logic, Engineering +14

Strong dependencies between software components

Pietro Abate, Roberto Di Cosmo, Jaap Boender et al. · 2009 · 71 citations · Full text

Software Maintenance, Strong Dependencies, Engineering +18

Rows per page

1–5 of 36