Roberto Di Cosmo
#44,818
Most Influential Person Now
Italian computer scientist
Roberto Di Cosmo's AcademicInfluence.com Rankings
Roberto Di Cosmocomputer-science Degrees
Computer Science
#2813
World Rank
#2944
Historical Rank
Database
#8666
World Rank
#9090
Historical Rank
Download Badge
Computer Science
Roberto Di Cosmo's Degrees
- PhD Computer Science Consorzio ICoN
- Masters Computer Science Consorzio ICoN
Similar Degrees You Can Earn
Why Is Roberto Di Cosmo Influential?
(Suggest an Edit or Addition)According to Wikipedia, Roberto Di Cosmo is an italian computer scientist and director of IRILL, the Innovation and research initiative for free software . He graduated from the Scuola Normale Superiore di Pisa and obtained a PhD from the University of Pisa, before becoming tenured professor at the École normale supérieure in Paris, then professor at the Paris 7 University. Since 2010, he has been director of the IRILL.
Roberto Di Cosmo's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Managing the Complexity of Large Free and Open Source Package-Based Software Distributions (2006) (165)
- Software Heritage: Why and How to Preserve Software Source Code (2017) (112)
- Provable isomorphisms of types (1992) (96)
- Isomorphisms of Types (1995) (90)
- Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums (2004) (80)
- Strong dependencies between software components (2009) (74)
- Package upgrades in FOSS distributions: details and challenges (2008) (68)
- Remarks on isomorphisms in typed lambda calculi with empty and sum types (2002) (68)
- Aeolus: A component model for the cloud (2014) (61)
- Proof nets and explicit substitutions (2000) (58)
- Dependency solving: A separate concern in component evolution management (2012) (54)
- Strong normalization of explicit substitutions via cut elimination in proof nets (1997) (53)
- Simulating expansions without expansions (1994) (49)
- Building the universal archive of source code (2018) (48)
- Towards a Formal Component Model for the Cloud (2012) (43)
- Automated synthesis and deployment of cloud applications (2014) (42)
- Supporting software evolution in component-based FOSS systems (2011) (41)
- Why do software packages conflict? (2012) (40)
- Parallel Functional Programming with Skeletons: the OCamlP3L experiment (1998) (38)
- A short survey of isomorphisms of types (2005) (37)
- A "Minimal Disruption" Skeleton Experiment: Seamless Map & Reduce Embedding in OCaml (2012) (36)
- On software component co-installability (2011) (36)
- Automatic Deployment of Services in the Cloud with Aeolus Blender (2015) (31)
- Deciding type isomorphisms in a type-assignment framework (1993) (30)
- A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object (1993) (29)
- Identifiers for Digital Objects: The case of software source code preservation (2018) (29)
- A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object (1991) (29)
- MPM: a modular package manager (2011) (28)
- Attributing and Referencing (Research) Software: Best Practices and Outlook From Inria (2019) (27)
- Type isomorphisms in a type-assignment framework (1992) (27)
- Skeletal Parallel Programming with OCamlP3l 2.0 (2005) (26)
- Maintaining large software distributions: new challenges from the FOSS era. (2006) (25)
- Subtyping Recursive Types Modulo Associative Commutative Products (2005) (24)
- Combining Algebraic Rewriting, Extensional Lambda Calculi, and Fixpoints (1996) (24)
- A Historical Analysis of Debian Package Incompatibilities (2015) (24)
- A confluent reduction for the λ-calculus with surjective pairing and terminal object (1996) (23)
- Feature Diagrams as Package Dependencies (2010) (22)
- A modular package manager architecture (2013) (22)
- Predicting upgrade failures using dependency analysis (2011) (21)
- On privacy and anonymity in electronic and non electronic voting: the ballot-as-signature attack. (2007) (21)
- Broken sets in software repository evolution (2013) (21)
- Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi (1994) (20)
- A confluent reduction for the extensional typed λ − calculus with pairs , sums , recursion and terminal object (1993) (20)
- EDOS deliverable WP2-D2.1: Report on Formal Management of Software Dependencies (2005) (19)
- Mining Component Repositories for Installability Issues (2015) (19)
- Using strong conflicts to detect quality issues in component-based complex systems (2010) (19)
- Referencing Source Code Artifacts: A Separate Concern in Software Citation (2020) (18)
- EDOS: Environment for the Development and Distribution of Open Source Software (2005) (18)
- Learning from the future of component repositories (2012) (17)
- Aeolus: Mastering the Complexity of Cloud Application Deployment (2013) (17)
- Expanding Extensional Polymorphism (1995) (17)
- Strong Normalization of Proof Nets Modulo Structural Congruences (1999) (16)
- Domain decomposition and skeleton programming with OCamlP3l (2006) (15)
- On the Power of Simple Diagrams (1996) (15)
- Component Reconfiguration in the Presence of Conflicts (2013) (14)
- Software provenance tracking at the scale of public source code (2020) (13)
- A Linear Logical View of Linear Type Isomorphisms (1999) (13)
- A Game Semantics Foundation for Logic Programming (Extended Abstract) (1998) (13)
- Dependency Solving Is Still Hard, but We Are Getting Better at It (2020) (13)
- Type Isomorphisms for Module Signatures (1996) (13)
- Constructively Equivalent Propositions and Isomorphisms of Objects, or Terms as Natural Transformations (1992) (12)
- Automatic Deployment of Software Components in the Cloud with the Aeolus Blender (2015) (11)
- A calculus for parallel computations over multidimensional dense arrays (2007) (11)
- Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper) (2015) (11)
- Second Order Isomorphic Types: A Proof Theoretic Study on Second Order lambda-Calculus with Surjective Paring and Terminal Object (1995) (10)
- Archiving and referencing source code with Software Heritage (2020) (10)
- On isomorphisms of intersection types (2008) (9)
- Scaling up functional programming education: under the hood of the OCaml MOOC (2017) (9)
- Playing Logic Programs with the Alpha-Beta Algorithm (2000) (8)
- Deliverable WP 2-D 2 . 1 Report on Formal Management of Software Dependencies (2012) (8)
- Improving the Quality of GNU/Linux Distributions (2008) (8)
- Autotrophic nitrogen removal for decentralized treatment of ammonia-rich industrial textile wastewater: process assessment, stabilization and modelling (2020) (8)
- A Calculus for Dense Array Distributions (2003) (8)
- Curated Archiving of Research Software Artifacts: Lessons Learned from the French Open Archive (HAL) (2020) (7)
- Proceedings of the 1st international workshop on Open component ecosystems (2009) (7)
- Aligning component upgrades (2011) (7)
- Rewriting with Extensional Polymorphic Lambda-Calculus (1995) (7)
- Monitoring denitrification by means of pH and ORP in continuous-flow conventional activated sludge processes (2017) (6)
- How to use Software Heritage for archiving and referencing your source code: guidelines and walkthrough (2019) (6)
- The equational theory of ⟨ N , 0 , 1 , + , × , ↑ ⟩ is decidable , but not finitely axiomatisable (2005) (6)
- The Equational Theory of < N, 0, 1, +, ×, uparrow > Is Decidable, but Not Finitely Axiomatisable (2005) (5)
- Software Heritage: Why and How We Collect, Preserve and Share All the Software Source Code (2018) (5)
- Growth and Duplication of Public Source Code over Time: Provenance Tracking at Scale (2019) (5)
- News from the EDOS project: improving the maintenance of free software distributions. (2006) (5)
- Open Source Systems: Towards Robust Practices - 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings (2017) (5)
- Easing software component repository evolution (2014) (5)
- On software component co-installability (2013) (5)
- Second-Order Isomorphic Types (1995) (5)
- Parallel Programming with the System Applications to Numerical Code Coupling (2004) (4)
- Sources of Inter-package Conflicts in Debian (2011) (3)
- M2.15 Assessment report on 'FAIRness of software' (2020) (3)
- Optimal Provisioning in the Cloud. Technical report of the Aeolus project (2013) (3)
- Isomorphisms for ML (1995) (3)
- HotSWUp '08 Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades (2008) (3)
- The creation of a new type of scientific deposit: Software (2018) (2)
- Announcing biblatex-software (2020) (2)
- Encouraging a wider usage of software derived from research (2019) (2)
- Software heritage: collecting, preserving, and sharing all our source code (keynote) (2018) (2)
- Adoption of Academic Tools in Open Source Communities: The Debian Case Study (2017) (2)
- A brief history of rewriting with extensionality (2008) (2)
- On Software Component Co-Installability (extended version) (2011) (2)
- Using Preferences to Tame your Package Manager (2014) (2)
- Announcing biblatex-software: software citation made easy (2020) (2)
- Formal Aspects of Free and Open Source Software Components - A Short Survey (2012) (1)
- Educating the e-citizen (2006) (1)
- On Modular Properties of Higher Order Extensional Lambda Calculi (1997) (1)
- Component reconfiguration in the presence of conflicts. Technical report of the Aeolus project (2013) (1)
- Educating the e-citizen (2006) (1)
- Software Heritage: Why and How We Collect, Preserve and Share All the Software Source Code (2018) (1)
- OcamlP 3 l 2 . 0 : User Manual (2007) (1)
- Soware Heritage - A revolutionary infrastructure for Open Science (Keynote) (2019) (0)
- Archiving and Referencing Source Code with Software Heritage (2020) (0)
- Strong normalization for subsystems of λ 2 βηπ (1995) (0)
- Related works, Future perspectives (1995) (0)
- Free software for education, research, and sustainable development (2007) (0)
- Learn-OCaml : un assistant à l'enseignement d'OCaml (2019) (0)
- First-Order Isomorphic Types (1995) (0)
- Rewriting with Extensional Polymorphic λ-calculus (2013) (0)
- Software provenance tracking at the scale of public source code (2020) (0)
- [The behavior of circulating thyroid hormones in euthyroid subjects living in the Province of Pesaro-Urbino]. (1982) (0)
- Free software: Scientific opportunities and challenges for the future (2011) (0)
- Software Heritage: Collecting, Preserving, and Sharing All Our Source Code (Keynote) (2018) (0)
- [Rp] Reproducing and replicating the OCamlP3l experiment (2020) (0)
- Session details: Component ecosystem modeling and evolution (2009) (0)
- A historical analysis of Debian package conflicts (2014) (0)
- Soware Heritage: Why and How to Preserve Soware Source Code∗ (2017) (0)
- Announcing biblatex-software (2021) (0)
- Report on the Workshop on Sustainable Software Sustainability 2019 (WOSSS19) (2020) (0)
- New Results - Formal management of package dependencies (2011) (0)
- Electronic Notes in Theoretical Computer Science: Preface (2002) (0)
- Free Software Licenses in Context (2012) (0)
- Simulating expansions without expansions A propos de la simulation des expansions sans expansions (2013) (0)
- Preserving landmark legacy software with the Software Heritage Acquisition Process (2021) (0)
- New Results - Applications de Caml (2002) (0)
- MAP : A Formal Calculus on Data-parallel Applications over n-dimensional Dense Arrays (2004) (0)
- Should We Preserve the World's Software History, And Can We? (2022) (0)
- NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities (2017) (0)
- Free software: Scientific opportunities and challenges for the future (2011) (0)
- Pre-print version of the paper " Automatic Application Deployment in the Cloud : from Practice to Theory (0)
- Energy Savings in Biological Process Aeration Systems: Coupling Modelling with Off-Gas Tests (2016) (0)
- A short guide to user preferences for the MISC dependency solvers and a proposal for its extension∗ (2014) (0)
- Diagrams as Package Dependencies ? (2010) (0)
- New Results - Formal management of software dependencies (2006) (0)
- An extensional operational and axiomatic semantics for type-inference with recursion and algebraic data types (2013) (0)
- Acknowledgement to Referees (2005) (0)
- PIDs: Joining up the World - PID IG at RDA P16 2020 (2020) (0)
- Type isomorphisms in a type-assigment framework From library searches using types to the completion of the ML type checker (2013) (0)
- Position paper for the endorsement of Free Software and Open Standards in Horizon 2020 and all publicly-funded research (2017) (0)
This paper list is powered by the following services:
Other Resources About Roberto Di Cosmo
What Schools Are Affiliated With Roberto Di Cosmo?
Roberto Di Cosmo is affiliated with the following schools:
