VENNERI, BATTISTINA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.646
EU - Europa 1.919
AS - Asia 668
SA - Sud America 145
OC - Oceania 26
AF - Africa 24
Totale 6.428
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.628
PL - Polonia 532
RU - Federazione Russa 532
IT - Italia 245
SG - Singapore 206
SE - Svezia 164
IE - Irlanda 143
CN - Cina 134
HK - Hong Kong 134
BR - Brasile 123
DE - Germania 86
KR - Corea 83
UA - Ucraina 82
VN - Vietnam 40
FI - Finlandia 39
GB - Regno Unito 33
AU - Australia 25
IN - India 22
FR - Francia 16
AT - Austria 12
CA - Canada 12
AR - Argentina 11
TR - Turchia 9
BD - Bangladesh 8
CH - Svizzera 8
ID - Indonesia 7
CI - Costa d'Avorio 6
IQ - Iraq 6
ES - Italia 5
ZA - Sudafrica 5
EC - Ecuador 4
MX - Messico 4
NL - Olanda 4
NP - Nepal 4
SC - Seychelles 4
DK - Danimarca 3
LV - Lettonia 3
PY - Paraguay 3
AL - Albania 2
AZ - Azerbaigian 2
CL - Cile 2
CO - Colombia 2
DZ - Algeria 2
KZ - Kazakistan 2
NO - Norvegia 2
PT - Portogallo 2
RO - Romania 2
SA - Arabia Saudita 2
TN - Tunisia 2
AO - Angola 1
BH - Bahrain 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
EG - Egitto 1
HU - Ungheria 1
IL - Israele 1
IR - Iran 1
IS - Islanda 1
JO - Giordania 1
JP - Giappone 1
KE - Kenya 1
LK - Sri Lanka 1
LU - Lussemburgo 1
MA - Marocco 1
MU - Mauritius 1
NZ - Nuova Zelanda 1
PH - Filippine 1
PK - Pakistan 1
TT - Trinidad e Tobago 1
UZ - Uzbekistan 1
Totale 6.428
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.338
Warsaw 532
Fairfield 368
Ashburn 207
Woodbridge 163
Seattle 156
Dublin 140
Cambridge 134
Chandler 132
Houston 132
Singapore 127
Jacksonville 122
Wilmington 120
Hong Kong 96
Seoul 83
Ann Arbor 69
Buffalo 64
Altamura 60
Lawrence 49
Beijing 43
Princeton 41
Florence 35
Hefei 28
Medford 28
Melbourne 25
Moscow 25
Los Angeles 20
Pontedera 18
The Dalles 18
Boardman 16
Boston 16
Mumbai 13
San Diego 13
Ho Chi Minh City 11
Turin 11
Kent 10
São Paulo 10
Council Bluffs 9
Munich 9
Dong Ket 8
Torrita 8
Bern 7
Izmir 7
Nuremberg 7
Vienna 7
Abidjan 6
Arezzo 6
Clifton 6
Frankfurt am Main 6
Jakarta 6
London 6
Norwalk 6
Rio de Janeiro 6
Rome 6
San Jose 6
Dicomano 5
Frankfurt Am Main 5
Hanoi 5
Hyde Park 5
Milan 5
Novosibirsk 5
Paris 5
Philadelphia 5
Redondo Beach 5
Verona 5
Auburn Hills 4
Bengaluru 4
Brasília 4
Chicago 4
Helsinki 4
Johannesburg 4
Karlsruhe 4
Laurel 4
Pescara 4
Phoenix 4
San Francisco 4
Scandicci 4
Baghdad 3
Bauru 3
Buenos Aires 3
Dallas 3
Dearborn 3
Dhaka 3
Falls Church 3
Fortaleza 3
Franca 3
Fremont 3
Kathmandu 3
Montreal 3
Redwood City 3
Shanghai 3
Siderno 3
Toronto 3
Andover 2
Asunción 2
Atlanta 2
Baku 2
Barcelona 2
Blumenau 2
Bucharest 2
Totale 4.755
Salva come PNG Salva come JPEG
Nome #
A Typed Lambda Calculus with Intersection Types 353
Session and Union Types for Object Oriented Programming 310
Object Reuse and Behavior Adaptation in Java-like Languages 292
Lambda calcolo 249
Java & Lambda: a Featherweight Story 230
O'KLAIM: A Coordination language with mobile mixins 194
MoMi: a calculus for Mobile Mixins 193
A safe implementation of dynamic overloading in Java-like languages 187
Self-adaptive multiparty sessions 183
Intersection Types as Logical Formulae 178
The Klaim Project: Theory and Practice 177
Deriving Session and Union Types for Objects 176
Coordinating Mobile Object-Oriented Code 175
Dynamic overloading with copy semantics in object-oriented languages: a formal account 175
The ``Relevance'' of Intersection and Union Types 170
Intersection Types in Java: Back to the Future 165
Featherweight Java with Dynamic and Static Overloading 163
Delegation by object composition 163
On Multiple Inheritance in Java. 163
Translating Double-Dispatch into Single-Dispatch 161
Towards Object-Oriented Klaim 160
Data-driven Adaptation for Smart Sessions 157
Functional Characters of Solvable Terms 155
Subtyping-Inheritance Conflicts: The Mobile Mixin Case 152
Deconfined Intersection Types in Java 149
Featherweight Java with multi-methods 147
Parallel Monitors for Self-adaptive Sessions 144
Self-Adaptive Monitors for Multiparty Sessions 141
Partial Types and Intervals 139
Double Dispatch in C++ 136
Types for Access Control 135
Principal Type Schemes and Lambda Calculus Semantics 134
Principal type schemes for an extended type theory 132
Object Incompleteness and Dynamic Composition in Java-like languages 121
Hyperformulae, Paralle Deductions and Intersection Types 120
Extending Java to dynamic object behaviors 116
Proceedings Fifth Workshop on Intersection Types and Related Systems 115
Subtyping Mobile Classes and Mixins 85
Totale 6.495
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.522
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 15.522
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021281 0 0 0 0 0 0 18 56 71 67 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/2026756 135 221 125 77 132 50 16 0 0 0 0 0
Totale 6.495