CINECA IRIS Institutional Research Information System

BETTINI, LORENZO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.309
EU - Europa 3.190
AS - Asia 2.738
SA - Sud America 440
AF - Africa 58
Continente sconosciuto - Info sul continente non disponibili 9
OC - Oceania 4
Totale 12.748
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.162
SG - Singapore 1.121
CN - Cina 712
IT - Italia 651
SE - Svezia 386
DE - Germania 367
VN - Vietnam 359
BR - Brasile 341
UA - Ucraina 331
FR - Francia 312
IE - Irlanda 309
FI - Finlandia 233
KR - Corea 181
GB - Regno Unito 161
DK - Danimarca 149
PL - Polonia 125
CA - Canada 95
HK - Hong Kong 74
BD - Bangladesh 50
RU - Federazione Russa 49
ID - Indonesia 45
JP - Giappone 42
IN - India 36
AR - Argentina 35
TR - Turchia 26
IQ - Iraq 24
EC - Ecuador 22
MX - Messico 22
GR - Grecia 20
NL - Olanda 15
BE - Belgio 12
VE - Venezuela 12
CO - Colombia 11
ZA - Sudafrica 11
AT - Austria 10
BG - Bulgaria 10
ES - Italia 10
JM - Giamaica 10
MA - Marocco 10
EU - Europa 9
SA - Arabia Saudita 9
TN - Tunisia 8
DZ - Algeria 7
EG - Egitto 7
UZ - Uzbekistan 6
CL - Cile 5
CZ - Repubblica Ceca 5
HR - Croazia 5
KZ - Kazakistan 5
OM - Oman 5
RO - Romania 5
UY - Uruguay 5
AZ - Azerbaigian 4
KE - Kenya 4
LB - Libano 4
LT - Lituania 4
MY - Malesia 4
NI - Nicaragua 4
PH - Filippine 4
PK - Pakistan 4
PY - Paraguay 4
CR - Costa Rica 3
IR - Iran 3
JO - Giordania 3
MU - Mauritius 3
NO - Norvegia 3
PE - Perù 3
RS - Serbia 3
TH - Thailandia 3
TT - Trinidad e Tobago 3
AE - Emirati Arabi Uniti 2
AU - Australia 2
BA - Bosnia-Erzegovina 2
BH - Bahrain 2
CH - Svizzera 2
DO - Repubblica Dominicana 2
HU - Ungheria 2
LV - Lettonia 2
MD - Moldavia 2
MN - Mongolia 2
NZ - Nuova Zelanda 2
SN - Senegal 2
TW - Taiwan 2
AF - Afghanistan, Repubblica islamica di 1
AL - Albania 1
AM - Armenia 1
AO - Angola 1
BB - Barbados 1
BO - Bolivia 1
BY - Bielorussia 1
CG - Congo 1
CY - Cipro 1
EE - Estonia 1
ET - Etiopia 1
GD - Grenada 1
GH - Ghana 1
GT - Guatemala 1
HN - Honduras 1
IL - Israele 1
IS - Islanda 1
Totale 12.738
Salva come PNG Salva come JPEG
Città #
Ann Arbor 639
Santa Clara 601
Singapore 597
Chandler 409
Beijing 383
Ashburn 334
San Jose 322
Dublin 308
Fairfield 253
Jacksonville 245
Houston 228
Wilmington 208
Dearborn 182
Villeurbanne 140
Woodbridge 135
Medford 134
The Dalles 133
Princeton 132
Warsaw 121
Seattle 115
Milan 103
Ho Chi Minh City 97
Cambridge 96
Columbus 91
Lauterbourg 87
Pisa 78
Hong Kong 71
Los Angeles 71
Buffalo 67
San Mateo 65
Rome 63
Dong Ket 62
Nyköping 62
Hanoi 56
Torino 46
Hefei 41
Dallas 40
Toronto 39
Boardman 35
Council Bluffs 35
São Paulo 33
New York 29
Guangzhou 27
Frankfurt am Main 25
Helsinki 25
Munich 25
Phoenix 25
Seoul 25
Jakarta 24
Fremont 22
Tokyo 22
Boston 17
Atlanta 16
Bursa 16
Turin 16
Verona 16
Naples 15
Nuremberg 15
Redwood City 15
Springfield 15
Norwalk 14
Bologna 13
Chicago 13
Haiphong 13
Curitiba 12
Mexico City 12
Baghdad 11
Florence 11
Hangzhou 11
Montreal 11
Orem 11
San Diego 11
Brooklyn 10
Brussels 10
Kharkiv 10
Nanjing 10
Philadelphia 10
Athens 9
Auburn Hills 9
Falls Church 9
Quito 9
Rio de Janeiro 9
Sofia 9
Da Nang 8
Figino 8
London 8
Belo Horizonte 7
Des Moines 7
Düsseldorf 7
Johannesburg 7
Kunming 7
Lachine 7
Manchester 7
Mountain View 7
Recife 7
Shanghai 7
Vienna 7
Bentwisch 6
Biên Hòa 6
Chengdu 6
Totale 7.713
Salva come PNG Salva come JPEG
Nome #
Java & Lambda: a Featherweight Story 304
Deriving Session and Union Types for Objects 276
DeltaJ 1.5: delta-oriented programming for Java 1.5 270
A core calculus of higher-order mixins and classes 267
VDML4RS: a tool for reputation systems modeling and design 256
Implementing type-safe software product lines using parametric traits 252
Coordinating Mobile Object-Oriented Code 251
A Calculus for Boxes and Traits in a Java-Like Setting 249
Delta-Oriented Programming of Software Product Lines 229
The Klaim Project: Theory and Practice 229
Combining Traits with Boxes and Ownership Types in a Java-like Setting 227
TraitRecordJ: A programming language with traits and records 226
Compositional Type Checking of Delta-Oriented Software Product Lines 220
On Flexible Dynamic Trait Replacement for Java-like Languages 215
Safe object composition in the presence of subtyping 212
Generic traits for the Java platform 208
O'Klaim: a coordination language with mobile mixins 207
A Prototypical Java-like Language with Records and Traits 206
A safe implementation of dynamic overloading in Java-like languages 172
Approaches and Tools for Implementing Type Systems in Xtext 171
Safe and Flexible Objects with Subtyping 159
Delegation by Object Composition 158
A core calculus of higher-order mixins and classes [poster abstract] 156
A Mechanisms for Flexible Dynamic Trait Replacement 156
DeltaJ: a delta oriented programming language with core and delta modules 156
A java middleware for guaranteeing privacy of distributed tuple spaces 155
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses 144
A Java Package for Transparent Code Mobility 143
A core calculus of mixins and incomplete objects 142
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 140
Session and Union Types for Object Oriented Programming 139
An Eclipse-based IDE for Featherweight Java implemented in Xtext 139
A core calculus of mixin-based incomplete objects 138
A Java Package for Class and Mixin Mobility in a Distributed Setting 137
Featherweight Wrap Java: wrapping objects and methods 136
Double Dispatch in C++ 130
Pure trait-based programming on the Java platform 129
A DSL for Writing Type Systems for Xtext Languages 125
Reverse Generics - Parametrization after the Fact 124
Klaim 124
Featherweight Java with Multi-Methods 122
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi 122
International Conference TYPES 2008 121
SWRTJ - Sugared Welterweight Record-Trait Java 120
Featherweight Wrap Java 119
Generic Programming in Pharo 119
A typed lambda calculus with intersection types 119
An infrastructure language for open nets 116
Object Incompleteness and Dynamic Composition in Java-Like Languages 115
I-Java 115
X-Klaim and Klava: Programming Mobile Code 115
Implementing Domain-Specific Languages with Xtext and Xtend 111
FCAJava 110
Compositional type-checking for delta-oriented programming 110
Global Progress in Dynamically Interleaved Multiparty Sessions 109
Software diversity: state of the art and perspectives 108
Object composition 107
PhpBibliography 106
Object Reuse and Behavior Adaptation in Java-like Languages 105
Safe and Flexible Objects 104
Extending Java to dynamic object behaviors 104
Compositional Type-Checking for Delta-oriented Product Lines 103
MoMi - A Calculus for Mobile Mixins 103
Acm oops, object-oriented programming languages and systems, edizione 2008 99
Rapidly Implementing EMF Applications with EMF Components 99
Dynamic Overloading with Copy Semantics in Object-Oriented Languages: a Formal Account 99
Mobile Distributed Programming in X-Klaim 98
Type Safe Dynamic Object Delegation in Class-based Languages 98
Timed Buffers: A Technique For Update Propagation In Nomadic Environments 98
Subtyping-inheritance conflicts: The mobile mixin case 97
Implementing Software Product Lines using Traits 96
KLAVA: A java package for distributed and mobile applications 96
Featherweight Java with Dynamic and Static Overloading 95
Doublecpp 95
Extending the BPEL Designer with Xtext based editors 95
IMC - Implementing Mobile Code 94
Implementing Java-like languages in Xtext with Xsemantics 92
XTypeS 91
Towards Object-Oriented Klaim 90
Implementing Session Centered Calculi 89
Formalizing Properties of Mobile Agent Systems 89
Implementing a distributed mobile calculus using the IMC framework 88
Artifact evaluation (summary) 88
Translating Double-Dispatch into Single-Dispatch 87
Structured nets in KLAIM 84
Translating Strong Mobility into Weak Mobility 84
Software update via mobile agent based programming 83
I-Java: an extension of Java with incomplete objects and object composition 82
FJ-Eclipse 82
Data Privacy in Tuple Space Based Mobile Agent Systems 80
Generics and Reverse Generics for Pharo 79
Klava (Klaim in Java) 78
Formulae meet Programs over the Net: a Framework for Correct Network Aware Programming 77
Parsley for your EMF Applications 76
Implementing Mobile and Distributed Applications in X-Klaim 74
Modelling node connectivity in dynamically evolving networks 74
Interactive mobile agents in X-KLAIM 67
EMF Components - Filling the Gap between Models and UI 64
Totale 13.117
Salva come PNG Salva come JPEG
Categoria #
all - tutte 38.038
article - articoli 0
book - libri 0
conference - conferenze 14.542
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 52.580
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.080 23 24 30 97 87 25 167 64 18 93 225 227
2022/20231.222 158 69 20 128 120 339 111 82 115 8 50 22
2023/2024433 52 113 11 30 37 22 10 15 0 39 33 71
2024/20251.722 1 91 53 135 638 112 10 101 184 90 70 237
2025/20263.605 261 190 224 326 338 165 437 216 247 182 319 700
2026/2027110 110 0 0 0 0 0 0 0 0 0 0 0
Totale 13.117