ROSOLINI, GIUSEPPE
 Distribuzione geografica
Continente #
EU - Europa 9.115
AS - Asia 343
NA - Nord America 64
SA - Sud America 57
AF - Africa 10
Totale 9.589
Nazione #
IT - Italia 9.100
CN - Cina 149
SG - Singapore 101
VN - Vietnam 46
US - Stati Uniti d'America 44
BR - Brasile 39
HK - Hong Kong 15
MX - Messico 15
AR - Argentina 8
BD - Bangladesh 6
IN - India 5
IQ - Iraq 5
UY - Uruguay 4
DE - Germania 3
NL - Olanda 3
ZA - Sudafrica 3
CL - Cile 2
GB - Regno Unito 2
ID - Indonesia 2
JO - Giordania 2
OM - Oman 2
PK - Pakistan 2
PL - Polonia 2
UA - Ucraina 2
BH - Bahrain 1
BO - Bolivia 1
CA - Canada 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EC - Ecuador 1
ET - Etiopia 1
FI - Finlandia 1
GA - Gabon 1
HN - Honduras 1
IR - Iran 1
KE - Kenya 1
LA - Repubblica Popolare Democratica del Laos 1
NO - Norvegia 1
PA - Panama 1
PE - Perù 1
PH - Filippine 1
PY - Paraguay 1
RU - Federazione Russa 1
SA - Arabia Saudita 1
SO - Somalia 1
TN - Tunisia 1
TR - Turchia 1
UZ - Uzbekistan 1
YE - Yemen 1
Totale 9.589
Città #
Genova 5.510
Genoa 2.048
Rapallo 804
Vado Ligure 711
Singapore 61
Beijing 52
Ashburn 18
Hong Kong 15
Hanoi 13
Ho Chi Minh City 12
Mexico City 11
Bitonto 6
Milan 5
São Paulo 5
Da Nang 4
Orem 4
San Jose 4
Amsterdam 3
Bordighera 3
Council Bluffs 3
Johannesburg 3
New York 3
Ninh Bình 3
Rome 3
Alexandria 2
Amman 2
Gallarate 2
Guangzhou 2
Guarulhos 2
Haiphong 2
Kyiv 2
Montevideo 2
Patos de Minas 2
Ribeirão Preto 2
Seeb 2
Warsaw 2
Wuhan 2
Abidjan 1
Acala 1
Addis Ababa 1
Aden 1
Aïn Temouchent 1
Baghdad 1
Balneário Camboriú 1
Balsas 1
Barra de São Miguel 1
Basra 1
Belén de Escobar 1
Biên Hòa 1
Blumenau 1
Bocaiúva 1
Brooklyn 1
Cajamar 1
Campinas 1
Carmona 1
Cartago 1
Cerro Navia 1
Changchun 1
Cidade Ocidental 1
Colombo 1
Concordia 1
Coruripe 1
Duhok 1
Durango 1
Erechim 1
Extrema 1
Fortaleza 1
Frankfurt am Main 1
Fīrozābād 1
General Escobedo 1
Gevelsberg 1
Grozny 1
Hauz Khas 1
Hengshui 1
Hưng Yên 1
Jaipur 1
Jeddah 1
Jinan 1
Jodhpur 1
Joinville 1
Karachi 1
Karbala 1
La Plata 1
Libreville 1
Lima 1
London 1
Longqiao 1
Los Angeles 1
Macaíba 1
Maipú 1
Maldonado 1
Manama 1
Marília 1
Mogadishu 1
Montreal 1
Munich 1
Nairobi 1
Nam Định 1
New Delhi 1
Nha Trang 1
Totale 9.393
Nome #
A modular approach to denotational semantics 176
Two models of Synthetic Domain Theory 167
Algebraic types in PER models 146
Synthetic Domain Theory and Models of Linear Abadi-Plotkin Logic 143
The discrete objects in the effective topos 140
Completions, comonoids, and topological spaces 139
Unifying Exact Completions 139
Category Theory. Proceedings of the International Conference held in Como, Italy, July 22–28, 1990 137
An abstract look at realizability 136
Locally cartesian closed exact completions 134
Polymorphism, set theory, and call-by-value 134
Sobriety for equilogical spaces 133
A categorical view of process refinement 133
TOPOLOGIES AND FREE CONSTRUCTIONS 132
Comparing models of higher type computation 131
Categories and effective computations 130
Explicit Constructive Logic ECL: A New Representation of Construction and Selection of Logical Information by an Epistemic Agent 130
Relating Quotient Completions via Categorical Logic 128
Category Theory and Computer Science. 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997. Proceedings 126
The category of equilogical spaces and the effective topos as homotopical quotients 126
A note on Cauchy completeness for preorders 125
An algebraic description of some state-dependent failure mechanisms 125
Repleteness and the associated sheaf 121
Fixpoint operators for domain equations 121
Representation theorems for p-categories 120
Reflexive graphs and parametric polymorphism 120
Custom automations in Mizar 116
Quotient completion for the foundation of constructive mathematics 116
Colimit completions and the effective topos 116
Synthetic domain theory and models of linear Abadi-Plotkin logic 116
Studying repleteness in the category of cpos 116
Domains in H 113
Sulla orme di Alice nel paese della Scienza 112
A Category Theoretic Formulation for Engeler-style Models of the Untyped Lambda-Calculus 111
CT2010. Special issue of Journal of Pure and Applied Algebra 110
About modest sets 108
Elementary doctrines as coalgebras 108
Equilogical spaces and filter spaces 107
Lifting 107
ELEMENTARY QUOTIENT COMPLETION 106
Triposes, exact completions, and Hilbert's ε-operator 106
Categories of partial maps 100
Workshop on Realizability Semantics and Applications. Special Issue of Electronic Notes in Theoretical Computer Science 97
Equilogical spaces and algebras for a double-power monad 97
The category of cpos from a synthetic viewpoint 97
Spaces as comonoids 96
30x5 - Il luna-park della matematica 94
Il gioco della logica di Lewis Carroll (e di altri) 94
Il gioco della logica di Lewis Carroll e i sillogismi 94
Semilattices and frames in a topos 93
A characterisation of elementary fibrations 93
Recent developments in domain theory: a collection of papers in honour of Dana S. Scott 92
Realizability. Special Issue of Mathematical Structures in Computer Science 92
Frame extensions in a topos 92
Discorrendo in un bar a Genova, in via Albaro 91
Domains and Denotational Semantics: History, Accomplishments and Open Problems 91
An ExPER model for QUEST 90
Doctrines, modalities and comonads 89
Extensional PERs 88
CT2000 Conference. Special Issue of Theory and Applications of Categories 86
Alan Turing: tra logica e informatica 85
Functorial Parametricity 85
Extensional PERs 84
Cantor Al Bar 84
La resa della logica 83
A comonad for Grothendieck fibrations 81
Agorà 81
Preface to the volume on Recent developments in domain theory: a collection of papers in honour of Dana S. Scott 81
Cantor e gli insiemi 81
Type theory via exact categories (extended abstract) 80
Una fetta di scienza 79
Frames and Topological Algebras for a Double-Power Monad 79
Matematica al bar 76
On lattice extensions 76
Paral-lex 74
Didattica della matematica 73
Odissea 72
Le direzioni della ricerca logica in Italia: teoria delle categorie e logica categoriale 71
Dinaturality for free 70
Logica nelle applicazioni 69
The Italian Team Competition 69
Electronic Notes in Theoretical Computer Science: Preface 69
MateFitness - La palestra della matematica 68
Domains and dominical categories 68
MateFitness - La Palestra della Matematica 68
Dagli insiemi alle categorie 67
Sfida coi numeri 66
MateFitness - La Palestra della Matematica 66
Elementary quotient completions, church’s thesis, and partitioned assemblies 64
Turing, biografia di un pioniere 63
Elementary fibrations of enriched groupoids 63
Una matematica diversa 62
Etnomatematica 58
Editorial 57
Digilandia 56
La fabbrica dei numeri 54
Gödel al bar 53
Le stanze dei numeri 52
Connessioni 47
Local and global problems: the sheaf approach 19
Totale 9.679
Categoria #
all - tutte 33.094
article - articoli 19.087
book - libri 541
conference - conferenze 3.634
curatela - curatele 2.563
other - altro 3.695
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.574
Totale 66.188


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021261 0 0 0 0 0 34 20 31 55 45 35 41
2021/20221.086 19 116 56 148 32 73 96 221 40 100 42 143
2022/20231.018 117 38 5 108 137 195 30 78 212 7 67 24
2023/2024400 35 63 5 60 26 57 18 12 28 7 32 57
2024/20251.510 135 125 48 71 281 153 136 158 48 68 162 125
2025/20261.160 351 39 132 200 297 141 0 0 0 0 0 0
Totale 9.679