VENNERI, BATTISTINA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.080
EU - Europa 2.218
AS - Asia 895
SA - Sud America 164
Continente sconosciuto - Info sul continente non disponibili 67
AF - Africa 38
OC - Oceania 26
Totale 7.488
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.035
PL - Polonia 532
RU - Federazione Russa 532
IT - Italia 484
SG - Singapore 255
CN - Cina 205
SE - Svezia 164
IE - Irlanda 143
HK - Hong Kong 140
BR - Brasile 130
VN - Vietnam 121
DE - Germania 95
KR - Corea 84
UA - Ucraina 82
FR - Francia 52
FI - Finlandia 45
GB - Regno Unito 36
CA - Canada 27
AU - Australia 25
IN - India 25
AR - Argentina 12
AT - Austria 12
BD - Bangladesh 11
TR - Turchia 10
CH - Svizzera 8
CO - Colombia 7
ID - Indonesia 7
ZA - Sudafrica 7
CI - Costa d'Avorio 6
EC - Ecuador 6
IQ - Iraq 6
MX - Messico 6
NP - Nepal 6
CL - Cile 5
ES - Italia 5
NL - Olanda 5
AL - Albania 4
DK - Danimarca 4
NG - Nigeria 4
PT - Portogallo 4
SA - Arabia Saudita 4
SC - Seychelles 4
EG - Egitto 3
KZ - Kazakistan 3
LV - Lettonia 3
MA - Marocco 3
PY - Paraguay 3
TT - Trinidad e Tobago 3
AZ - Azerbaigian 2
CR - Costa Rica 2
DZ - Algeria 2
JM - Giamaica 2
JO - Giordania 2
KE - Kenya 2
NO - Norvegia 2
OM - Oman 2
PH - Filippine 2
PK - Pakistan 2
RO - Romania 2
TN - Tunisia 2
AE - Emirati Arabi Uniti 1
AO - Angola 1
BH - Bahrain 1
BM - Bermuda 1
CG - Congo 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
GT - Guatemala 1
HU - Ungheria 1
IL - Israele 1
IR - Iran 1
IS - Islanda 1
JP - Giappone 1
LK - Sri Lanka 1
LU - Lussemburgo 1
LY - Libia 1
MU - Mauritius 1
MY - Malesia 1
NI - Nicaragua 1
NZ - Nuova Zelanda 1
TG - Togo 1
UY - Uruguay 1
UZ - Uzbekistan 1
VG - Isole Vergini Britanniche 1
Totale 7.421
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.347
Warsaw 532
Fairfield 368
Ashburn 291
Singapore 173
Woodbridge 163
Seattle 156
Dublin 140
San Jose 136
Cambridge 134
Houston 134
Chandler 132
Jacksonville 122
Wilmington 120
Hong Kong 99
Seoul 83
Milan 80
Ann Arbor 69
Buffalo 64
Altamura 60
Lawrence 49
Beijing 47
Princeton 41
Florence 39
Council Bluffs 38
The Dalles 37
Ho Chi Minh City 33
Lauterbourg 32
Rome 31
Hanoi 29
Hefei 28
Medford 28
Melbourne 25
Moscow 25
Los Angeles 23
Staranzano 22
Pontedera 18
Turin 18
Boardman 16
Boston 16
San Diego 14
Mumbai 13
São Paulo 12
Phoenix 11
Helsinki 10
Kent 10
Frankfurt am Main 9
Munich 9
Columbus 8
Dong Ket 8
Haiphong 8
Izmir 8
Nuremberg 8
Torrita 8
Bern 7
London 7
Springfield 7
Vienna 7
Abidjan 6
Arezzo 6
Atlanta 6
Brooklyn 6
Chicago 6
Clifton 6
Jakarta 6
Naples 6
Norwalk 6
Pescara 6
Rio de Janeiro 6
Saint Paul 6
Verona 6
Dallas 5
Dicomano 5
Figino 5
Frankfurt Am Main 5
Hyde Park 5
Johannesburg 5
Laurel 5
Montreal 5
Novosibirsk 5
Paris 5
Philadelphia 5
Redondo Beach 5
Abuja 4
Auburn Hills 4
Bengaluru 4
Brasília 4
Da Nang 4
Karlsruhe 4
New York 4
San Francisco 4
Scandicci 4
Shanghai 4
Baghdad 3
Bauru 3
Bogotá 3
Bologna 3
Buenos Aires 3
Chennai 3
Columbia 3
Totale 5.361
Salva come PNG Salva come JPEG
Nome #
A Typed Lambda Calculus with Intersection Types 415
Session and Union Types for Object Oriented Programming 355
Object Reuse and Behavior Adaptation in Java-like Languages 333
Lambda calcolo 269
Java & Lambda: a Featherweight Story 263
MoMi: a calculus for Mobile Mixins 230
O'KLAIM: A Coordination language with mobile mixins 215
A safe implementation of dynamic overloading in Java-like languages 209
Self-adaptive multiparty sessions 206
Deriving Session and Union Types for Objects 205
The Klaim Project: Theory and Practice 201
Dynamic overloading with copy semantics in object-oriented languages: a formal account 201
Featherweight Java with Dynamic and Static Overloading 198
Coordinating Mobile Object-Oriented Code 195
Intersection Types as Logical Formulae 193
Delegation by object composition 191
Deconfined Intersection Types in Java 190
Intersection Types in Java: Back to the Future 189
Towards Object-Oriented Klaim 186
Translating Double-Dispatch into Single-Dispatch 185
The ``Relevance'' of Intersection and Union Types 183
Functional Characters of Solvable Terms 183
On Multiple Inheritance in Java. 180
Data-driven Adaptation for Smart Sessions 176
Subtyping-Inheritance Conflicts: The Mobile Mixin Case 173
Featherweight Java with multi-methods 167
Principal type schemes for an extended type theory 165
Partial Types and Intervals 164
Parallel Monitors for Self-adaptive Sessions 160
Principal Type Schemes and Lambda Calculus Semantics 160
Double Dispatch in C++ 160
Types for Access Control 158
Self-Adaptive Monitors for Multiparty Sessions 156
Object Incompleteness and Dynamic Composition in Java-like languages 151
Hyperformulae, Paralle Deductions and Intersection Types 141
Extending Java to dynamic object behaviors 134
Proceedings Fifth Workshop on Intersection Types and Related Systems 133
Subtyping Mobile Classes and Mixins 115
Totale 7.488
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.439
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 18.439
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022266 0 0 33 3 10 11 25 16 8 15 91 54
2022/2023631 60 124 36 27 62 109 97 31 53 2 14 16
2023/2024179 26 23 44 6 8 15 9 18 5 8 12 5
2024/20252.263 58 153 76 208 842 688 9 54 58 29 52 36
2025/20261.518 135 221 125 77 132 50 175 82 148 99 34 240
2026/2027231 62 55 114 0 0 0 0 0 0 0 0 0
Totale 7.488