Roberto Di Cosmo
- Artificial Intelligence top 5%
- Information Systems top 5%
- Computational Theory and Mathematics top 5%
- Computer Networks and Communications top 10%
- Information Systems and Management top 10%
- Co-authors
- Stefano ZacchiroliDelia KesnerG. LongoKim B. BruceRalf TreinenPietro AbateJérôme VouillonVincent Balat
- Topics
- Logic, programming, and type systems (14 papers)Logic, Reasoning, and Knowledge (12 papers)Scientific Computing and Data Management (8 papers)
- Journals
- NatureSHILAP Revista de lepidopterologíaCommunications of the ACM
- Partner nations
- FranceItalyUnited Kingdom
In The Last Decade
Roberto Di Cosmo
37 papers receiving 377 citations
Peers
Comparison fields: 5 of 49
- Artificial Intelligence 240
- Information Systems 179
- Computational Theory and Mathematics 144
- Computer Networks and Communications 125
- Information Systems and Management 54
Countries citing papers authored by Roberto Di Cosmo
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
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
| # | Work | Indexed citations |
|---|---|---|
| 1 | 1 | |
| 2 | 0 | |
| 3 | Software Heritage: Why and How We Collect, Preserve and Share All the Software Source Code | 2 |
| 4 | 28 | |
| 5 | 0 | |
| 6 | 8 | |
| 7 | 14 | |
| 8 | 25 | |
| 9 | 3 | |
| 10 | 9 | |
| 11 | A brief history of rewriting with extensionality | 1 |
| 12 | 1 | |
| 13 | 15 | |
| 14 | 2 | |
| 15 | Trampa en el ciberespacio | 2 |
| 16 | Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract) | 4 |
| 17 | 5 | |
| 18 | 2 | |
| 19 | 8 | |
| 20 | 41 |
About Roberto Di Cosmo
Roberto Di Cosmo is a scholar working on Information Systems and Management, Hardware and Architecture and Computer Networks and Communications, having authored 41 papers that have together received 412 indexed citations. Recurring topics across this work include Logic, programming, and type systems (14 papers), Logic, Reasoning, and Knowledge (12 papers) and Scientific Computing and Data Management (8 papers). The work is most often cited by research in Software (48 citations), Computational Theory and Mathematics (144 citations) and Information Systems (179 citations). Roberto Di Cosmo has collaborated with scholars based in France, Italy and United Kingdom. Frequent 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. Their work appears in journals such as Nature, SHILAP Revista de lepidopterología and Communications of the ACM.
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.