VENNERI, BATTISTINA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.966
EU - Europa 2.186
AS - Asia 890
SA - Sud America 159
Continente sconosciuto - Info sul continente non disponibili 67
AF - Africa 38
OC - Oceania 26
Totale 7.332
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.925
PL - Polonia 532
RU - Federazione Russa 532
IT - Italia 456
SG - Singapore 255
CN - Cina 205
SE - Svezia 164
IE - Irlanda 143
HK - Hong Kong 140
BR - Brasile 128
VN - Vietnam 120
DE - Germania 95
KR - Corea 84
UA - Ucraina 82
FR - Francia 50
FI - Finlandia 45
GB - Regno Unito 35
CA - Canada 26
AU - Australia 25
IN - India 25
AR - Argentina 12
AT - Austria 12
BD - Bangladesh 11
TR - Turchia 10
CH - Svizzera 8
ID - Indonesia 7
ZA - Sudafrica 7
CI - Costa d'Avorio 6
EC - Ecuador 6
IQ - Iraq 6
MX - Messico 6
NP - Nepal 6
CO - Colombia 5
ES - Italia 5
NL - Olanda 5
AL - Albania 4
CL - Cile 4
DK - Danimarca 4
NG - Nigeria 4
SC - Seychelles 4
EG - Egitto 3
KZ - Kazakistan 3
LV - Lettonia 3
MA - Marocco 3
PT - Portogallo 3
PY - Paraguay 3
TT - Trinidad e Tobago 3
AZ - Azerbaigian 2
CR - Costa Rica 2
DZ - Algeria 2
JO - Giordania 2
KE - Kenya 2
NO - Norvegia 2
OM - Oman 2
PK - Pakistan 2
RO - Romania 2
SA - Arabia Saudita 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
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
NI - Nicaragua 1
NZ - Nuova Zelanda 1
PH - Filippine 1
TG - Togo 1
UY - Uruguay 1
UZ - Uzbekistan 1
VG - Isole Vergini Britanniche 1
Totale 7.265
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.346
Warsaw 532
Fairfield 368
Ashburn 289
Singapore 173
Woodbridge 163
Seattle 156
Dublin 140
Cambridge 134
Houston 134
Chandler 132
Jacksonville 122
Wilmington 120
San Jose 104
Hong Kong 99
Seoul 83
Milan 80
Ann Arbor 69
Buffalo 64
Altamura 60
Lawrence 49
Beijing 47
Princeton 41
Florence 39
The Dalles 37
Ho Chi Minh City 33
Lauterbourg 32
Rome 30
Hanoi 29
Hefei 28
Medford 28
Melbourne 25
Moscow 25
Los Angeles 22
Pontedera 18
Turin 18
Boardman 16
Boston 16
Mumbai 13
San Diego 13
Council Bluffs 12
São Paulo 12
Helsinki 10
Kent 10
Frankfurt am Main 9
Munich 9
Dong Ket 8
Haiphong 8
Izmir 8
Nuremberg 8
Torrita 8
Bern 7
London 7
Vienna 7
Abidjan 6
Arezzo 6
Chicago 6
Clifton 6
Jakarta 6
Norwalk 6
Pescara 6
Rio de Janeiro 6
Saint Paul 6
Springfield 6
Verona 6
Atlanta 5
Brooklyn 5
Dallas 5
Dicomano 5
Figino 5
Frankfurt Am Main 5
Hyde Park 5
Johannesburg 5
Laurel 5
Montreal 5
Naples 5
Novosibirsk 5
Paris 5
Philadelphia 5
Phoenix 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
Dearborn 3
Dhaka 3
Falls Church 3
Totale 5.263
Salva come PNG Salva come JPEG
Nome #
A Typed Lambda Calculus with Intersection Types 404
Session and Union Types for Object Oriented Programming 351
Object Reuse and Behavior Adaptation in Java-like Languages 329
Lambda calcolo 268
Java & Lambda: a Featherweight Story 260
MoMi: a calculus for Mobile Mixins 224
O'KLAIM: A Coordination language with mobile mixins 209
Self-adaptive multiparty sessions 205
A safe implementation of dynamic overloading in Java-like languages 204
Deriving Session and Union Types for Objects 198
Dynamic overloading with copy semantics in object-oriented languages: a formal account 195
The Klaim Project: Theory and Practice 194
Featherweight Java with Dynamic and Static Overloading 194
Intersection Types as Logical Formulae 191
Coordinating Mobile Object-Oriented Code 191
Delegation by object composition 186
Intersection Types in Java: Back to the Future 186
Deconfined Intersection Types in Java 185
Towards Object-Oriented Klaim 183
Translating Double-Dispatch into Single-Dispatch 182
The ``Relevance'' of Intersection and Union Types 181
Functional Characters of Solvable Terms 178
On Multiple Inheritance in Java. 175
Data-driven Adaptation for Smart Sessions 174
Subtyping-Inheritance Conflicts: The Mobile Mixin Case 167
Principal type schemes for an extended type theory 163
Featherweight Java with multi-methods 162
Partial Types and Intervals 159
Principal Type Schemes and Lambda Calculus Semantics 158
Parallel Monitors for Self-adaptive Sessions 156
Double Dispatch in C++ 155
Types for Access Control 154
Self-Adaptive Monitors for Multiparty Sessions 154
Object Incompleteness and Dynamic Composition in Java-like languages 147
Hyperformulae, Paralle Deductions and Intersection Types 137
Proceedings Fifth Workshop on Intersection Types and Related Systems 132
Extending Java to dynamic object behaviors 131
Subtyping Mobile Classes and Mixins 110
Totale 7.332
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.969
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 17.969
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022310 0 44 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/202775 62 13 0 0 0 0 0 0 0 0 0 0
Totale 7.332