VENNERI, BATTISTINA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.864
EU - Europa 1.978
AS - Asia 884
SA - Sud America 157
AF - Africa 38
OC - Oceania 26
Totale 6.947
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.842
PL - Polonia 532
RU - Federazione Russa 532
SG - Singapore 252
IT - Italia 250
CN - Cina 204
SE - Svezia 164
IE - Irlanda 143
HK - Hong Kong 139
BR - Brasile 127
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 13
AR - Argentina 12
AT - Austria 12
BD - Bangladesh 10
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
NG - Nigeria 4
SC - Seychelles 4
DK - Danimarca 3
EG - Egitto 3
KZ - Kazakistan 3
LV - Lettonia 3
MA - Marocco 3
PY - Paraguay 3
AZ - Azerbaigian 2
DZ - Algeria 2
JO - Giordania 2
KE - Kenya 2
NO - Norvegia 2
OM - Oman 2
PK - Pakistan 2
PT - Portogallo 2
RO - Romania 2
SA - Arabia Saudita 2
TN - Tunisia 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
TT - Trinidad e Tobago 1
UZ - Uzbekistan 1
Totale 6.947
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.342
Warsaw 532
Fairfield 368
Ashburn 261
Singapore 171
Woodbridge 163
Seattle 156
Dublin 140
Cambridge 134
Chandler 132
Houston 132
Jacksonville 122
Wilmington 120
San Jose 102
Hong Kong 98
Seoul 83
Ann Arbor 69
Buffalo 64
Altamura 60
Lawrence 49
Beijing 46
Princeton 41
The Dalles 37
Florence 35
Ho Chi Minh City 33
Lauterbourg 32
Hanoi 29
Hefei 28
Medford 28
Melbourne 25
Moscow 25
Los Angeles 22
Pontedera 18
Boardman 16
Boston 16
Mumbai 13
San Diego 13
Council Bluffs 11
São Paulo 11
Turin 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
Clifton 6
Jakarta 6
Norwalk 6
Rio de Janeiro 6
Rome 6
Chicago 5
Dallas 5
Dicomano 5
Frankfurt Am Main 5
Hyde Park 5
Johannesburg 5
Laurel 5
Milan 5
Novosibirsk 5
Paris 5
Philadelphia 5
Redondo Beach 5
Verona 5
Abuja 4
Atlanta 4
Auburn Hills 4
Bengaluru 4
Brasília 4
Brooklyn 4
Da Nang 4
Karlsruhe 4
Pescara 4
Phoenix 4
San Francisco 4
Scandicci 4
Shanghai 4
Baghdad 3
Bauru 3
Bogotá 3
Buenos Aires 3
Chennai 3
Dearborn 3
Dhaka 3
Falls Church 3
Fortaleza 3
Franca 3
Fremont 3
Guangzhou 3
Guayaquil 3
Kathmandu 3
Montreal 3
Totale 5.091
Salva come PNG Salva come JPEG
Nome #
A Typed Lambda Calculus with Intersection Types 379
Session and Union Types for Object Oriented Programming 336
Object Reuse and Behavior Adaptation in Java-like Languages 313
Lambda calcolo 263
Java & Lambda: a Featherweight Story 252
MoMi: a calculus for Mobile Mixins 219
O'KLAIM: A Coordination language with mobile mixins 208
A safe implementation of dynamic overloading in Java-like languages 202
Self-adaptive multiparty sessions 193
Intersection Types as Logical Formulae 191
Deriving Session and Union Types for Objects 189
Coordinating Mobile Object-Oriented Code 188
Dynamic overloading with copy semantics in object-oriented languages: a formal account 188
The Klaim Project: Theory and Practice 186
The ``Relevance'' of Intersection and Union Types 179
Delegation by object composition 179
Intersection Types in Java: Back to the Future 179
Towards Object-Oriented Klaim 178
Featherweight Java with Dynamic and Static Overloading 178
Translating Double-Dispatch into Single-Dispatch 173
Functional Characters of Solvable Terms 171
Data-driven Adaptation for Smart Sessions 170
Deconfined Intersection Types in Java 169
On Multiple Inheritance in Java. 167
Featherweight Java with multi-methods 160
Subtyping-Inheritance Conflicts: The Mobile Mixin Case 155
Partial Types and Intervals 152
Self-Adaptive Monitors for Multiparty Sessions 150
Types for Access Control 148
Parallel Monitors for Self-adaptive Sessions 148
Principal Type Schemes and Lambda Calculus Semantics 148
Double Dispatch in C++ 147
Object Incompleteness and Dynamic Composition in Java-like languages 138
Principal type schemes for an extended type theory 138
Hyperformulae, Paralle Deductions and Intersection Types 131
Extending Java to dynamic object behaviors 127
Proceedings Fifth Workshop on Intersection Types and Related Systems 125
Subtyping Mobile Classes and Mixins 97
Totale 7.014
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.848
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 16.848
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202169 0 0 0 0 0 0 0 0 0 0 27 42
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.275 135 221 125 77 132 50 175 82 148 99 31 0
Totale 7.014