IRIS
ROSOLINI, GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 9.369
AS - Asia 1.106
NA - Nord America 773
Continente sconosciuto - Info sul continente non disponibili 93
SA - Sud America 71
AF - Africa 16
OC - Oceania 1
Totale 11.429
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 9.191
US - Stati Uniti d'America 722
SG - Singapore 413
CN - Cina 330
VN - Vietnam 197
FR - Francia 89
BD - Bangladesh 46
BR - Brasile 46
HK - Hong Kong 46
JP - Giappone 24
DE - Germania 18
MX - Messico 18
CA - Canada 17
FI - Finlandia 16
GB - Regno Unito 12
NL - Olanda 10
AR - Argentina 9
IN - India 9
CZ - Repubblica Ceca 8
IQ - Iraq 7
IE - Irlanda 5
UA - Ucraina 5
UY - Uruguay 5
CL - Cile 4
PK - Pakistan 4
ZA - Sudafrica 4
ES - Italia 3
HN - Honduras 3
KR - Corea 3
LT - Lituania 3
PA - Panama 3
CR - Costa Rica 2
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
MY - Malesia 2
NO - Norvegia 2
OM - Oman 2
PH - Filippine 2
PL - Polonia 2
SA - Arabia Saudita 2
TH - Thailandia 2
TT - Trinidad e Tobago 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BO - Bolivia 1
CH - Svizzera 1
CI - Costa d'Avorio 1
DZ - Algeria 1
GA - Gabon 1
GD - Grenada 1
GE - Georgia 1
GR - Grecia 1
GT - Guatemala 1
HU - Ungheria 1
IR - Iran 1
JM - Giamaica 1
LA - Repubblica Popolare Democratica del Laos 1
MD - Moldavia 1
NI - Nicaragua 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 11.337
Salva come PNG Salva come JPEG
Città #
Genova 5.510
Genoa 2.051
Rapallo 804
Vado Ligure 711
San Jose 191
Singapore 178
Ashburn 102
Lauterbourg 83
Beijing 66
Ho Chi Minh City 54
Hanoi 47
New York 45
Hong Kong 43
Milan 24
Santa Clara 20
Tokyo 20
Frankfurt am Main 15
Helsinki 14
Mexico City 13
Da Nang 11
Haiphong 11
St Louis 10
Amsterdam 9
Orem 9
Rome 9
Chicago 8
Dvůr Králové nad Labem 8
Los Angeles 8
Naples 8
Dallas 7
Bitonto 6
City of London 5
Dublin 5
Molfetta 5
Sioux Falls 5
São Paulo 5
Atlanta 4
Biên Hòa 4
Buffalo 4
Cesano Maderno 4
Guangzhou 4
Houston 4
Johannesburg 4
Kapolei 4
Memphis 4
Miami 4
Seattle 4
Alexandria 3
Bordighera 3
Boston 3
Charlotte 3
Council Bluffs 3
Jacksonville 3
Kyiv 3
Long Xuyen 3
Madrid 3
Montevideo 3
Montreal 3
Newton 3
Ninh Bình 3
Panama City 3
Phoenix 3
Poplar 3
San Francisco 3
Shanghai 3
Addis Ababa 2
Alpharetta 2
Amman 2
Auburn 2
Austin 2
Baghdad 2
Barnwell 2
Brooklyn 2
Burbank 2
Bình Phước 2
Bến Tre 2
Cairo 2
Can Tho 2
Chaguanas 2
Collegno 2
Conway 2
Dayton 2
Denver 2
East Brunswick 2
Fayetteville 2
Gallarate 2
Garland 2
Guarulhos 2
Havertown 2
Hayward 2
Janesville 2
Lillington 2
Livorno 2
London 2
Louisville 2
Mattoon 2
Mumbai 2
Nairobi 2
Newark 2
Nha Trang 2
Totale 10.288
Salva come PNG Salva come JPEG
Nome #
A modular approach to denotational semantics 197
Two models of Synthetic Domain Theory 176
Completions, comonoids, and topological spaces 167
Algebraic types in PER models 163
Category Theory. Proceedings of the International Conference held in Como, Italy, July 22–28, 1990 163
Synthetic Domain Theory and Models of Linear Abadi-Plotkin Logic 158
Explicit Constructive Logic ECL: A New Representation of Construction and Selection of Logical Information by an Epistemic Agent 154
The discrete objects in the effective topos 154
A categorical view of process refinement 152
Locally cartesian closed exact completions 151
Polymorphism, set theory, and call-by-value 151
An abstract look at realizability 149
Category Theory and Computer Science. 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997. Proceedings 149
Unifying Exact Completions 149
Comparing models of higher type computation 148
Categories and effective computations 147
Relating Quotient Completions via Categorical Logic 147
Sobriety for equilogical spaces 146
An algebraic description of some state-dependent failure mechanisms 146
TOPOLOGIES AND FREE CONSTRUCTIONS 144
A note on Cauchy completeness for preorders 142
Synthetic domain theory and models of linear Abadi-Plotkin logic 137
The category of equilogical spaces and the effective topos as homotopical quotients 136
Reflexive graphs and parametric polymorphism 136
A Category Theoretic Formulation for Engeler-style Models of the Untyped Lambda-Calculus 135
Domains in H 134
Representation theorems for p-categories 134
Custom automations in Mizar 133
Repleteness and the associated sheaf 132
Studying repleteness in the category of cpos 130
About modest sets 130
Fixpoint operators for domain equations 129
Quotient completion for the foundation of constructive mathematics 128
Colimit completions and the effective topos 128
Doctrines, modalities and comonads 128
CT2010. Special issue of Journal of Pure and Applied Algebra 126
Sulla orme di Alice nel paese della Scienza 126
Triposes, exact completions, and Hilbert's ε-operator 126
Elementary doctrines as coalgebras 126
Lifting 125
Equilogical spaces and filter spaces 120
ELEMENTARY QUOTIENT COMPLETION 119
A comonad for Grothendieck fibrations 116
Categories of partial maps 116
Workshop on Realizability Semantics and Applications. Special Issue of Electronic Notes in Theoretical Computer Science 115
Equilogical spaces and algebras for a double-power monad 115
Domains and Denotational Semantics: History, Accomplishments and Open Problems 112
30x5 - Il luna-park della matematica 111
Il gioco della logica di Lewis Carroll e i sillogismi 111
A characterisation of elementary fibrations 111
Extensional PERs 110
An ExPER model for QUEST 110
Cantor Al Bar 110
Realizability. Special Issue of Mathematical Structures in Computer Science 109
The category of cpos from a synthetic viewpoint 109
Spaces as comonoids 108
Discorrendo in un bar a Genova, in via Albaro 107
Recent developments in domain theory: a collection of papers in honour of Dana S. Scott 107
Frame extensions in a topos 107
Semilattices and frames in a topos 105
Il gioco della logica di Lewis Carroll (e di altri) 105
CT2000 Conference. Special Issue of Theory and Applications of Categories 104
Elementary quotient completions, church’s thesis, and partitioned assemblies 103
Alan Turing: tra logica e informatica 102
Functorial Parametricity 102
Type theory via exact categories (extended abstract) 102
Cantor e gli insiemi 100
Didattica della matematica 99
Agorà 98
Extensional PERs 98
Matematica al bar 96
Preface to the volume on Recent developments in domain theory: a collection of papers in honour of Dana S. Scott 96
Una fetta di scienza 95
La resa della logica 94
Dagli insiemi alle categorie 94
Frames and Topological Algebras for a Double-Power Monad 94
Odissea 93
Paral-lex 92
MateFitness - La palestra della matematica 89
On lattice extensions 89
Dinaturality for free 87
MateFitness - La Palestra della Matematica 87
Sfida coi numeri 86
Domains and dominical categories 84
MateFitness - La Palestra della Matematica 84
Elementary fibrations of enriched groupoids 84
Una matematica diversa 83
The Italian Team Competition 83
Le direzioni della ricerca logica in Italia: teoria delle categorie e logica categoriale 83
Electronic Notes in Theoretical Computer Science: Preface 82
Etnomatematica 81
Logica nelle applicazioni 80
Turing, biografia di un pioniere 76
Digilandia 73
Gödel al bar 72
La fabbrica dei numeri 72
Le stanze dei numeri 70
Editorial 68
Connessioni 61
Local and global problems: the sheaf approach 28
Totale 11.429
Salva come PNG Salva come JPEG
Categoria #
all - tutte 38.264
article - articoli 22.002
book - libri 644
conference - conferenze 4.213
curatela - curatele 2.957
other - altro 4.384
patent - brevetti 0
selected - selezionate 0
volume - volumi 4.064
Totale 76.528
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.654 351 39 132 200 297 375 379 175 179 247 150 130
2026/2027256 256 0 0 0 0 0 0 0 0 0 0 0
Totale 11.429