VENNERI, BATTISTINA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.936
EU - Europa 2.182
AS - Asia 887
SA - Sud America 159
AF - Africa 38
OC - Oceania 26
Totale 7.228
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.904
PL - Polonia 532
RU - Federazione Russa 532
IT - Italia 452
SG - Singapore 253
CN - Cina 205
SE - Svezia 164
IE - Irlanda 143
HK - Hong Kong 139
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
AU - Australia 25
IN - India 25
CA - Canada 20
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
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
TT - Trinidad e Tobago 2
AE - Emirati Arabi Uniti 1
AO - Angola 1
BH - Bahrain 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
Totale 7.228
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.344
Warsaw 532
Fairfield 368
Ashburn 286
Singapore 171
Woodbridge 163
Seattle 156
Dublin 140
Cambridge 134
Houston 133
Chandler 132
Jacksonville 122
Wilmington 120
San Jose 104
Hong Kong 98
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
Hanoi 29
Rome 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
São Paulo 12
Council Bluffs 11
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
Verona 6
Atlanta 5
Brooklyn 5
Dallas 5
Dicomano 5
Figino 5
Frankfurt Am Main 5
Hyde Park 5
Johannesburg 5
Laurel 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
Montreal 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
Fortaleza 3
Franca 3
Totale 5.245
Salva come PNG Salva come JPEG
Nome #
A Typed Lambda Calculus with Intersection Types 401
Session and Union Types for Object Oriented Programming 343
Object Reuse and Behavior Adaptation in Java-like Languages 324
Lambda calcolo 267
Java & Lambda: a Featherweight Story 260
MoMi: a calculus for Mobile Mixins 223
O'KLAIM: A Coordination language with mobile mixins 209
A safe implementation of dynamic overloading in Java-like languages 204
Self-adaptive multiparty sessions 203
Deriving Session and Union Types for Objects 197
The Klaim Project: Theory and Practice 194
Dynamic overloading with copy semantics in object-oriented languages: a formal account 194
Featherweight Java with Dynamic and Static Overloading 193
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 185
Towards Object-Oriented Klaim 183
Deconfined Intersection Types in Java 183
Translating Double-Dispatch into Single-Dispatch 181
The ``Relevance'' of Intersection and Union Types 180
Functional Characters of Solvable Terms 177
On Multiple Inheritance in Java. 175
Data-driven Adaptation for Smart Sessions 173
Subtyping-Inheritance Conflicts: The Mobile Mixin Case 167
Principal type schemes for an extended type theory 162
Featherweight Java with multi-methods 161
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 146
Hyperformulae, Paralle Deductions and Intersection Types 136
Proceedings Fifth Workshop on Intersection Types and Related Systems 131
Extending Java to dynamic object behaviors 130
Subtyping Mobile Classes and Mixins 109
Totale 7.295
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.644
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.644
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022353 43 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/202738 38 0 0 0 0 0 0 0 0 0 0 0
Totale 7.295