Giuseppe Rosolini

975 total citations
35 papers, 417 citations indexed

About

Giuseppe Rosolini is a scholar working on Artificial Intelligence, Mathematical Physics and Computational Theory and Mathematics. According to data from OpenAlex, Giuseppe Rosolini has authored 35 papers receiving a total of 417 indexed citations (citations by other indexed papers that have themselves been cited), including 23 papers in Artificial Intelligence, 18 papers in Mathematical Physics and 14 papers in Computational Theory and Mathematics. Recurrent topics in Giuseppe Rosolini's work include Logic, programming, and type systems (21 papers), Homotopy and Cohomology in Algebraic Topology (18 papers) and Logic, Reasoning, and Knowledge (13 papers). Giuseppe Rosolini is often cited by papers focused on Logic, programming, and type systems (21 papers), Homotopy and Cohomology in Algebraic Topology (18 papers) and Logic, Reasoning, and Knowledge (13 papers). Giuseppe Rosolini collaborates with scholars based in Italy, United Kingdom and United States. Giuseppe Rosolini's co-authors include E. Powell Robinson, Maria Emilia Maietti, A. Carboni, J. M. E. Hyland, Marcelo Fiore, D. Scott, Peter Freyd, Dana Scott, Lars Birkedal and Alex Simpson and has published in prestigious journals such as Theoretical Computer Science, Proceedings of the London Mathematical Society and Journal of Symbolic Logic.

In The Last Decade

Giuseppe Rosolini

31 papers receiving 364 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Giuseppe Rosolini Italy	13	324	237	142	78	36	35	417
Alexander Kurz United Kingdom	14	528 1.6×	418 1.8×	106 0.7×	42 0.5×	34 0.9×	67	617
Martin Hyland United Kingdom	16	542 1.7×	382 1.6×	134 0.9×	101 1.3×	52 1.4×	28	627
H. Peter Gumm Germany	14	246 0.8×	397 1.7×	115 0.8×	82 1.1×	15 0.4×	30	514
Thomas Streicher Germany	12	331 1.0×	278 1.2×	72 0.5×	55 0.7×	23 0.6×	53	394
Andrej Bauer Slovenia	10	187 0.6×	202 0.9×	45 0.3×	52 0.7×	17 0.5×	41	277
Harold Simmons United Kingdom	11	125 0.4×	216 0.9×	91 0.6×	157 2.0×	19 0.5×	44	421
Nicola Gambino United Kingdom	10	135 0.4×	91 0.4×	167 1.2×	135 1.7×	20 0.6×	26	267
Paul-André Melliès France	11	377 1.2×	269 1.1×	40 0.3×	28 0.4×	43 1.2×	35	416
Alan R. Woods Australia	10	206 0.6×	304 1.3×	33 0.2×	51 0.7×	25 0.7×	16	378
Guram Bezhanishvili United States	17	563 1.7×	639 2.7×	77 0.5×	82 1.1×	23 0.6×	108	743

Countries citing papers authored by Giuseppe Rosolini

Since Specialization

Citations

This map shows the geographic impact of Giuseppe Rosolini'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 Giuseppe Rosolini with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Giuseppe Rosolini more than expected).

Fields of papers citing papers by Giuseppe Rosolini

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Giuseppe Rosolini. 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 Giuseppe Rosolini. The network helps show where Giuseppe Rosolini may publish in the future.

Co-authorship network of co-authors of Giuseppe Rosolini

This figure shows the co-authorship network connecting the top 25 collaborators of Giuseppe Rosolini. A scholar is included among the top collaborators of Giuseppe Rosolini 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 Giuseppe Rosolini. Giuseppe Rosolini 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

Rosolini, Giuseppe, et al.. (2022). . Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano). 1 indexed citations

Rosolini, Giuseppe, et al.. (2020). Elementary doctrines as coalgebras. Journal of Pure and Applied Algebra. 224(12). 106445–106445. 4 indexed citations

Rosolini, Giuseppe, et al.. (2017). Equilogical spaces and algebras for a double-power monad. Tbilisi Mathematical Journal. 10(3). 1 indexed citations

Rosolini, Giuseppe, et al.. (2014). Sobriety for equilogical spaces. Theoretical Computer Science. 546. 93–98. 1 indexed citations

Møgelberg, Rasmus Ejlers, Lars Birkedal, & Giuseppe Rosolini. (2008). Synthetic domain theory and models of linear Abadi & Plotkin logic. Annals of Pure and Applied Logic. 155(2). 115–133. 1 indexed citations

Møgelberg, Rasmus Ejlers, Lars Birkedal, & Giuseppe Rosolini. (2006). Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic. Electronic Notes in Theoretical Computer Science. 155. 219–245.

Rosolini, Giuseppe, et al.. (2005). Completions, comonoids, and topological spaces. Annals of Pure and Applied Logic. 137(1-3). 104–125. 1 indexed citations

Simpson, Alex & Giuseppe Rosolini. (2004). Using Synthetic Domain Theory to Prove Operational Properties of a Polymorphic Programming Language Based on Strictness. 10 indexed citations

Robinson, E. Powell & Giuseppe Rosolini. (2002). Reflexive graphs and parametric polymorphism. 364–371. 24 indexed citations

10.

Birkedal, Lars, A. Carboni, Giuseppe Rosolini, & Dana Scott. (2002). Type theory via exact categories. 188–198. 19 indexed citations

11.

Fiore, Marcelo & Giuseppe Rosolini. (2001). Domains in H. Theoretical Computer Science. 264(2). 171–193. 3 indexed citations

12.

Rosolini, Giuseppe. (2000). Equilogical spaces and filter spaces. CINECA IRIS Institutial Research Information System (University of Genoa). 64. 157–175. 14 indexed citations

13.

Carboni, A. & Giuseppe Rosolini. (2000). Locally cartesian closed exact completions. Journal of Pure and Applied Algebra. 154(1-3). 103–116. 31 indexed citations

14.

Rosolini, Giuseppe, et al.. (1999). Comparing models of higher type computation. Electronic Notes in Theoretical Computer Science. 23(1). 159–165. 6 indexed citations

15.

Rosolini, Giuseppe, et al.. (1999). Preface. Electronic Notes in Theoretical Computer Science. 29. 1–1. 1 indexed citations

16.

Makkai, Michael & Giuseppe Rosolini. (1997). Studying Repleteness in the Category of Cpos. Electronic Notes in Theoretical Computer Science. 6. 249–254. 2 indexed citations

17.

Freyd, Peter, et al.. (1992). Extensional PERs. Information and Computation. 98(2). 211–227. 32 indexed citations

18.

Robinson, E. Powell & Giuseppe Rosolini. (1990). Colimit completions and the effective topos. Journal of Symbolic Logic. 55(2). 678–699. 25 indexed citations

19.

Rosolini, Giuseppe. (1990). ABOUT MODEST SETS. International Journal of Foundations of Computer Science. 1(3). 341–353. 15 indexed citations

20.

Robinson, E. Powell & Giuseppe Rosolini. (1988). Categories of partial maps. Information and Computation. 79(2). 95–130. 79 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