Roberto Di Cosmo

1.9k total citations
41 papers, 412 citations indexed

About

Roberto Di Cosmo is a scholar working on Artificial Intelligence, Computer Networks and Communications and Information Systems. According to data from OpenAlex, Roberto Di Cosmo has authored 41 papers receiving a total of 412 indexed citations (citations by other indexed papers that have themselves been cited), including 21 papers in Artificial Intelligence, 19 papers in Computer Networks and Communications and 16 papers in Information Systems. Recurrent topics in Roberto Di Cosmo's work include Logic, programming, and type systems (14 papers), Logic, Reasoning, and Knowledge (12 papers) and Scientific Computing and Data Management (8 papers). Roberto Di Cosmo is often cited by papers focused on Logic, programming, and type systems (14 papers), Logic, Reasoning, and Knowledge (12 papers) and Scientific Computing and Data Management (8 papers). Roberto Di Cosmo collaborates with scholars based in France, Italy and United Kingdom. Roberto Di Cosmo's co-authors include Stefano Zacchiroli, Delia Kesner, G. Longo, Kim B. Bruce, Ralf Treinen, Pietro Abate, Jérôme Vouillon, Vincent Balat, Jean-François Abramatic and Marcelo Fiore and has published in prestigious journals such as Nature, SHILAP Revista de lepidopterología and Communications of the ACM.

In The Last Decade

Roberto Di Cosmo

37 papers receiving 377 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Roberto Di Cosmo France	13	240	179	144	125	54	41	412
Jérôme Vouillon France	13	379 1.6×	139 0.8×	161 1.1×	223 1.8×	23 0.4×	21	506
Andres Löh Netherlands	15	368 1.5×	157 0.9×	158 1.1×	142 1.1×	34 0.6×	37	473
Ružica Piskač United States	10	250 1.0×	240 1.3×	135 0.9×	164 1.3×	30 0.6×	58	530
Anne Brüggemann-Klein Germany	9	383 1.6×	71 0.4×	191 1.3×	192 1.5×	12 0.2×	43	487
Vincent Cremet	4	206 0.9×	112 0.6×	58 0.4×	109 0.9×	13 0.2×	5	323
Alex Potanin New Zealand	11	299 1.2×	230 1.3×	66 0.5×	167 1.3×	10 0.2×	48	452
Amy Felty Canada	14	413 1.7×	94 0.5×	212 1.5×	107 0.9×	7 0.1×	43	487
Yitzhak Mandelbaum United States	9	170 0.7×	83 0.5×	62 0.4×	103 0.8×	15 0.3×	18	247
Erik Meijer United States	6	148 0.6×	84 0.5×	50 0.3×	103 0.8×	14 0.3×	8	242
Sharon Shoham Israel	14	313 1.3×	255 1.4×	241 1.7×	187 1.5×	10 0.2×	48	599

Countries citing papers authored by Roberto Di Cosmo

Since Specialization

Citations

This map shows the geographic impact of Roberto Di Cosmo's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Roberto Di Cosmo with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Roberto Di Cosmo more than expected).

Fields of papers citing papers by Roberto Di Cosmo

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Roberto Di Cosmo. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Roberto Di Cosmo. The network helps show where Roberto Di Cosmo may publish in the future.

Co-authorship network of co-authors of Roberto Di Cosmo

This figure shows the co-authorship network connecting the top 25 collaborators of Roberto Di Cosmo. A scholar is included among the top collaborators of Roberto Di Cosmo based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Roberto Di Cosmo. Roberto Di Cosmo is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Cosmo, Roberto Di, Konrad Hinsen, Nicolas Jullien, et al.. (2025). Stop treating code like an afterthought: record, share and value it. Nature. 646(8084). 284–286. 1 indexed citations

Cosmo, Roberto Di, et al.. (2023). Establishing a national research software award. SHILAP Revista de lepidopterología. 3. 185–185.

Cosmo, Roberto Di. (2018). Software Heritage: Why and How We Collect, Preserve and Share All the Software Source Code. International Conference on Software Engineering. 2 indexed citations

Abramatic, Jean-François, Roberto Di Cosmo, & Stefano Zacchiroli. (2018). Building the universal archive of source code. Communications of the ACM. 61(10). 29–31. 28 indexed citations

Cosmo, Roberto Di. (2017). Software Heritage : pourquoi et comment construire la grande bibliothèque du code source. Entreprises et histoire. n° 87(2). 69–75.

Cosmo, Roberto Di, et al.. (2017). Scaling up functional programming education: under the hood of the OCaml MOOC. Proceedings of the ACM on Programming Languages. 1(ICFP). 1–25. 8 indexed citations

Claes, Maëlick, Tom Mens, Roberto Di Cosmo, & Jérôme Vouillon. (2015). A historical analysis of Debian package incompatibilities. 212–223. 14 indexed citations

Cosmo, Roberto Di, Jacopo Mauro, Stefano Zacchiroli, & Gianluigi Zavattaro. (2014). Aeolus: A component model for the cloud. Information and Computation. 239. 100–121. 25 indexed citations

Vouillon, Jérôme, et al.. (2014). Easing software component repository evolution. HAL (Le Centre pour la Communication Scientifique Directe). 756–766. 3 indexed citations

10.

Abate, Pietro, Roberto Di Cosmo, Ralf Treinen, & Stefano Zacchiroli. (2012). A modular package manager architecture. Information and Software Technology. 55(2). 459–474. 9 indexed citations

11.

Cosmo, Roberto Di. (2008). A brief history of rewriting with extensionality. 31–9. 1 indexed citations

12.

Cosmo, Roberto Di. (2006). Educating the e-citizen. ACM SIGCSE Bulletin. 38(3). 1–1. 1 indexed citations

13.

Fiore, Marcelo, Roberto Di Cosmo, & Vincent Balat. (2005). Remarks on isomorphisms in typed lambda calculi with empty and sum types. Annals of Pure and Applied Logic. 141(1-2). 35–50. 15 indexed citations

14.

Cosmo, Roberto Di & Susanna Pelagatti. (2003). A CALCULUS FOR DENSE ARRAY DISTRIBUTIONS. Parallel Processing Letters. 13(3). 377–388. 2 indexed citations

15.

Cosmo, Roberto Di. (1999). Trampa en el ciberespacio. 15–38. 2 indexed citations

16.

Cosmo, Roberto Di & Delia Kesner. (1997). Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract). 35–46. 4 indexed citations

17.

Cosmo, Roberto Di & Delia Kesner. (1996). Combining algebraic rewriting, extensional lambda calculi, and fixpoints. Theoretical Computer Science. 169(2). 201–220. 5 indexed citations

18.

Curien, Pierre-Louis & Roberto Di Cosmo. (1996). A confluent reduction for the λ-calculus with surjective pairing and terminal object. Journal of Functional Programming. 6(2). 299–327. 2 indexed citations

19.

Cosmo, Roberto Di. (1993). Deciding type isomorphisms in a type-assignment framework. Journal of Functional Programming. 3(4). 485–525. 8 indexed citations

20.

Bruce, Kim B., Roberto Di Cosmo, & G. Longo. (1992). Provable isomorphisms of types. Mathematical Structures in Computer Science. 2(2). 231–247. 41 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact