VENNERI, BATTISTINA
 Distribuzione geografica
Continente #
NA - Nord America 2.001
EU - Europa 1.318
AS - Asia 101
AF - Africa 4
SA - Sud America 3
Totale 3.427
Nazione #
US - Stati Uniti d'America 1.997
PL - Polonia 526
IT - Italia 223
SE - Svezia 163
IE - Irlanda 143
UA - Ucraina 80
DE - Germania 63
HK - Hong Kong 52
FI - Finlandia 36
RU - Federazione Russa 24
GB - Regno Unito 22
FR - Francia 14
SG - Singapore 13
VN - Vietnam 12
CN - Cina 10
CH - Svizzera 8
TR - Turchia 7
CA - Canada 4
ES - Italia 4
SC - Seychelles 4
LV - Lettonia 3
NL - Olanda 3
AR - Argentina 2
DK - Danimarca 2
IN - India 2
KR - Corea 2
NP - Nepal 2
RO - Romania 2
AL - Albania 1
CL - Cile 1
IR - Iran 1
NO - Norvegia 1
Totale 3.427
Città #
Warsaw 526
Fairfield 368
Ashburn 168
Woodbridge 163
Seattle 156
Dublin 140
Cambridge 134
Chandler 132
Houston 132
Jacksonville 121
Wilmington 119
Ann Arbor 69
Altamura 60
Lawrence 49
Princeton 41
Buffalo 39
Florence 35
Medford 28
Pontedera 18
Boardman 16
Boston 14
Hong Kong 14
San Diego 13
Dong Ket 8
Torrita 8
Bern 7
Izmir 7
Arezzo 6
Norwalk 6
Singapore 6
Beijing 5
Dicomano 5
Frankfurt Am Main 5
Kent 5
Moscow 5
Novosibirsk 5
Philadelphia 5
Verona 5
Auburn Hills 4
Karlsruhe 4
Laurel 4
Milan 4
Paris 4
Pescara 4
Rome 4
Scandicci 4
Dearborn 3
Falls Church 3
Fremont 3
London 3
Phoenix 3
Redwood City 3
Siderno 3
Turin 3
Andover 2
Barcelona 2
Bucharest 2
Buenos Aires 2
Castelraimondo 2
Frankfurt am Main 2
Hebei 2
Hollywood 2
Kathmandu 2
Los Angeles 2
Priverno 2
Rodgau 2
Saint Petersburg 2
Salerno 2
Seoul 2
Shanghai 2
St Louis 2
Tappahannock 2
West Jordan 2
Bolzano 1
Chiusi 1
Erlangen 1
Foggia 1
Gunzenhausen 1
Helsinki 1
Impruneta 1
Kilburn 1
Lappeenranta 1
Lecce 1
Lucca 1
Madrid 1
Montaione 1
Monticiano 1
Montréal 1
Monza 1
New York 1
Olginate 1
Oslo 1
Ottawa 1
Pliezhausen 1
Portland 1
Prescot 1
San Francisco 1
Siena 1
Torino 1
Toronto 1
Totale 2.764
Nome #
A Typed Lambda Calculus with Intersection Types 254
Session and Union Types for Object Oriented Programming 230
Object Reuse and Behavior Adaptation in Java-like Languages 211
Lambda calcolo 159
Java & Lambda: a Featherweight Story 124
A safe implementation of dynamic overloading in Java-like languages 106
The Klaim Project: Theory and Practice 104
Self-adaptive multiparty sessions 104
O'KLAIM: A Coordination language with mobile mixins 99
MoMi: a calculus for Mobile Mixins 98
Deriving Session and Union Types for Objects 96
On Multiple Inheritance in Java. 95
The ``Relevance'' of Intersection and Union Types 92
Coordinating Mobile Object-Oriented Code 91
Translating Double-Dispatch into Single-Dispatch 89
Delegation by object composition 88
Subtyping-Inheritance Conflicts: The Mobile Mixin Case 88
Dynamic overloading with copy semantics in object-oriented languages: a formal account 84
Partial Types and Intervals 83
Featherweight Java with Dynamic and Static Overloading 82
Intersection Types in Java: Back to the Future 81
Intersection Types as Logical Formulae 80
Towards Object-Oriented Klaim 78
Data-driven Adaptation for Smart Sessions 78
Parallel Monitors for Self-adaptive Sessions 75
Functional Characters of Solvable Terms 75
Featherweight Java with multi-methods 73
Principal type schemes for an extended type theory 66
Double Dispatch in C++ 66
Object Incompleteness and Dynamic Composition in Java-like languages 63
Types for Access Control 61
Self-Adaptive Monitors for Multiparty Sessions 60
Deconfined Intersection Types in Java 57
Principal Type Schemes and Lambda Calculus Semantics 51
Proceedings Fifth Workshop on Intersection Types and Related Systems 49
Extending Java to dynamic object behaviors 45
Hyperformulae, Paralle Deductions and Intersection Types 40
Subtyping Mobile Classes and Mixins 19
Totale 3.494
Categoria #
all - tutte 9.108
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 9.108


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020880 94 84 24 71 91 110 91 109 93 42 56 15
2020/2021530 44 40 31 49 23 62 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/202518 18 0 0 0 0 0 0 0 0 0 0 0
Totale 3.494