IRIS
ROSOLINI, GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 9.298
AS - Asia 1.048
NA - Nord America 352
SA - Sud America 67
AF - Africa 16
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 10.783
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 9.139
SG - Singapore 410
US - Stati Uniti d'America 324
CN - Cina 318
VN - Vietnam 196
FR - Francia 87
BR - Brasile 43
HK - Hong Kong 43
JP - Giappone 24
DE - Germania 18
MX - Messico 17
FI - Finlandia 16
BD - Bangladesh 11
GB - Regno Unito 11
AR - Argentina 9
NL - Olanda 8
IN - India 7
IQ - Iraq 7
IE - Irlanda 5
CA - Canada 4
CL - Cile 4
PK - Pakistan 4
UA - Ucraina 4
UY - Uruguay 4
ZA - Sudafrica 4
KR - Corea 3
LT - Lituania 3
DO - Repubblica Dominicana 2
EC - Ecuador 2
EG - Egitto 2
ET - Etiopia 2
ID - Indonesia 2
JO - Giordania 2
KE - Kenya 2
LB - Libano 2
OM - Oman 2
PA - Panama 2
PH - Filippine 2
PL - Polonia 2
SA - Arabia Saudita 2
TH - Thailandia 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
BH - Bahrain 1
BO - Bolivia 1
CH - Svizzera 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
DZ - Algeria 1
GA - Gabon 1
GE - Georgia 1
GR - Grecia 1
GT - Guatemala 1
HN - Honduras 1
IR - Iran 1
LA - Repubblica Popolare Democratica del Laos 1
MD - Moldavia 1
MY - Malesia 1
NO - Norvegia 1
PE - Perù 1
PY - Paraguay 1
RU - Federazione Russa 1
SN - Senegal 1
SO - Somalia 1
SX - ???statistics.table.value.countryCode.SX??? 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
TR - Turchia 1
TW - Taiwan 1
UZ - Uzbekistan 1
YE - Yemen 1
Totale 10.783
Salva come PNG Salva come JPEG
Città #
Genova 5.510
Genoa 2.051
Rapallo 804
Vado Ligure 711
Singapore 177
San Jose 85
Lauterbourg 83
Ashburn 69
Beijing 56
Ho Chi Minh City 54
Hanoi 47
Hong Kong 40
New York 30
Tokyo 20
Frankfurt am Main 15
Helsinki 14
Milan 13
Mexico City 12
Da Nang 11
Haiphong 11
Santa Clara 11
St Louis 10
Orem 9
Amsterdam 7
Bitonto 6
Chicago 5
City of London 5
Dublin 5
São Paulo 5
Biên Hòa 4
Guangzhou 4
Johannesburg 4
Bordighera 3
Council Bluffs 3
Kyiv 3
Long Xuyen 3
Los Angeles 3
Ninh Bình 3
Poplar 3
Rome 3
Shanghai 3
Addis Ababa 2
Alexandria 2
Amman 2
Atlanta 2
Baghdad 2
Bình Phước 2
Bến Tre 2
Cairo 2
Can Tho 2
Charlotte 2
Collegno 2
Gallarate 2
Guarulhos 2
Montevideo 2
Montreal 2
Nairobi 2
Nha Trang 2
Panama City 2
Patos de Minas 2
Quảng Ngãi 2
Ribeirão Preto 2
San Francisco 2
Santiago 2
Seeb 2
The Dalles 2
Warsaw 2
Wuhan 2
Abidjan 1
Acala 1
Acalanes Ridge 1
Aden 1
Al Hillah 1
Avensan 1
Aïn Temouchent 1
Balneário Camboriú 1
Balsas 1
Bangkok 1
Barra de São Miguel 1
Basra 1
Belén de Escobar 1
Blumenau 1
Bocaiúva 1
Bologna 1
Boydton 1
Brooklyn 1
Buon Ma Thuot 1
Busan 1
Bălţi 1
Cadelbosco di Sopra 1
Cagliari 1
Cajamar 1
Campinas 1
Campo Grande 1
Caracas 1
Cardiff 1
Carmona 1
Cartago 1
Catania 1
Cerro Navia 1
Totale 10.001
Salva come PNG Salva come JPEG
Nome #
A modular approach to denotational semantics 189
Two models of Synthetic Domain Theory 174
Completions, comonoids, and topological spaces 161
Algebraic types in PER models 158
Category Theory. Proceedings of the International Conference held in Como, Italy, July 22–28, 1990 158
The discrete objects in the effective topos 150
Synthetic Domain Theory and Models of Linear Abadi-Plotkin Logic 149
A categorical view of process refinement 147
Polymorphism, set theory, and call-by-value 146
An abstract look at realizability 145
Unifying Exact Completions 145
Explicit Constructive Logic ECL: A New Representation of Construction and Selection of Logical Information by an Epistemic Agent 144
Sobriety for equilogical spaces 143
Locally cartesian closed exact completions 142
Categories and effective computations 142
Comparing models of higher type computation 142
Category Theory and Computer Science. 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997. Proceedings 141
An algebraic description of some state-dependent failure mechanisms 140
TOPOLOGIES AND FREE CONSTRUCTIONS 139
Relating Quotient Completions via Categorical Logic 139
A note on Cauchy completeness for preorders 135
Reflexive graphs and parametric polymorphism 134
The category of equilogical spaces and the effective topos as homotopical quotients 133
Domains in H 130
Synthetic domain theory and models of linear Abadi-Plotkin logic 130
Custom automations in Mizar 129
Representation theorems for p-categories 129
Repleteness and the associated sheaf 127
Fixpoint operators for domain equations 127
A Category Theoretic Formulation for Engeler-style Models of the Untyped Lambda-Calculus 126
Quotient completion for the foundation of constructive mathematics 126
Colimit completions and the effective topos 125
Studying repleteness in the category of cpos 125
About modest sets 124
Sulla orme di Alice nel paese della Scienza 123
CT2010. Special issue of Journal of Pure and Applied Algebra 119
Triposes, exact completions, and Hilbert's ε-operator 119
Elementary doctrines as coalgebras 118
Doctrines, modalities and comonads 117
Equilogical spaces and filter spaces 116
Lifting 116
Workshop on Realizability Semantics and Applications. Special Issue of Electronic Notes in Theoretical Computer Science 113
ELEMENTARY QUOTIENT COMPLETION 113
Categories of partial maps 111
A comonad for Grothendieck fibrations 110
Equilogical spaces and algebras for a double-power monad 108
A characterisation of elementary fibrations 108
Realizability. Special Issue of Mathematical Structures in Computer Science 107
Il gioco della logica di Lewis Carroll e i sillogismi 107
Domains and Denotational Semantics: History, Accomplishments and Open Problems 107
30x5 - Il luna-park della matematica 105
An ExPER model for QUEST 105
Recent developments in domain theory: a collection of papers in honour of Dana S. Scott 104
Spaces as comonoids 104
Cantor Al Bar 104
Extensional PERs 103
The category of cpos from a synthetic viewpoint 103
Frame extensions in a topos 102
Il gioco della logica di Lewis Carroll (e di altri) 101
Discorrendo in un bar a Genova, in via Albaro 100
CT2000 Conference. Special Issue of Theory and Applications of Categories 100
Semilattices and frames in a topos 98
Alan Turing: tra logica e informatica 96
Functorial Parametricity 96
Extensional PERs 95
Cantor e gli insiemi 95
Agorà 93
Type theory via exact categories (extended abstract) 93
Didattica della matematica 93
Elementary quotient completions, church’s thesis, and partitioned assemblies 93
La resa della logica 92
Preface to the volume on Recent developments in domain theory: a collection of papers in honour of Dana S. Scott 91
Matematica al bar 90
Una fetta di scienza 89
Frames and Topological Algebras for a Double-Power Monad 87
Paral-lex 86
Dagli insiemi alle categorie 86
Odissea 83
On lattice extensions 83
MateFitness - La palestra della matematica 82
Dinaturality for free 82
MateFitness - La Palestra della Matematica 81
Domains and dominical categories 80
Sfida coi numeri 80
Le direzioni della ricerca logica in Italia: teoria delle categorie e logica categoriale 80
MateFitness - La Palestra della Matematica 78
Electronic Notes in Theoretical Computer Science: Preface 78
Elementary fibrations of enriched groupoids 78
Logica nelle applicazioni 76
The Italian Team Competition 76
Una matematica diversa 75
Turing, biografia di un pioniere 74
La fabbrica dei numeri 69
Etnomatematica 68
Digilandia 68
Le stanze dei numeri 66
Gödel al bar 64
Editorial 64
Connessioni 56
Local and global problems: the sheaf approach 24
Totale 10.875
Salva come PNG Salva come JPEG
Categoria #
all - tutte 34.954
article - articoli 20.142
book - libri 590
conference - conferenze 3.824
curatela - curatele 2.721
other - altro 3.936
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.741
Totale 69.908
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021121 0 0 0 0 0 0 0 0 0 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/20262.356 351 39 132 200 297 375 379 175 179 229 0 0
Totale 10.875