CINECA IRIS Institutional Research Information System

BETTINI, LORENZO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.938
EU - Europa 2.603
AS - Asia 1.368
SA - Sud America 195
AF - Africa 12
Continente sconosciuto - Info sul continente non disponibili 9
OC - Oceania 1
Totale 9.126
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.869
SG - Singapore 569
CN - Cina 437
SE - Svezia 385
DE - Germania 342
UA - Ucraina 328
IE - Irlanda 307
IT - Italia 286
FI - Finlandia 228
FR - Francia 208
BR - Brasile 175
KR - Corea 156
DK - Danimarca 147
GB - Regno Unito 132
PL - Polonia 118
VN - Vietnam 81
CA - Canada 59
RU - Federazione Russa 41
ID - Indonesia 23
TR - Turchia 22
JP - Giappone 21
GR - Grecia 18
HK - Hong Kong 16
IN - India 13
NL - Olanda 11
BE - Belgio 10
EU - Europa 9
AT - Austria 8
BD - Bangladesh 7
BG - Bulgaria 6
MX - Messico 6
AR - Argentina 5
EC - Ecuador 5
ES - Italia 5
IQ - Iraq 5
RO - Romania 5
CZ - Repubblica Ceca 4
HR - Croazia 4
VE - Venezuela 4
CO - Colombia 3
EG - Egitto 3
MU - Mauritius 3
NO - Norvegia 3
OM - Oman 3
AE - Emirati Arabi Uniti 2
AZ - Azerbaigian 2
KE - Kenya 2
KZ - Kazakistan 2
LT - Lituania 2
RS - Serbia 2
SA - Arabia Saudita 2
TN - Tunisia 2
TW - Taiwan 2
AL - Albania 1
BB - Barbados 1
BO - Bolivia 1
CL - Cile 1
CR - Costa Rica 1
DZ - Algeria 1
HN - Honduras 1
HU - Ungheria 1
IR - Iran 1
LB - Libano 1
LV - Lettonia 1
MA - Marocco 1
NI - Nicaragua 1
NZ - Nuova Zelanda 1
PH - Filippine 1
SY - Repubblica araba siriana 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 9.126
Salva come PNG Salva come JPEG
Città #
Ann Arbor 639
Santa Clara 558
Chandler 409
Dublin 306
Beijing 270
Singapore 270
Fairfield 252
Jacksonville 239
Houston 225
Wilmington 207
Ashburn 186
Dearborn 182
Villeurbanne 140
Woodbridge 135
Medford 134
Princeton 132
Warsaw 118
Seattle 111
Cambridge 96
Columbus 91
Pisa 78
San Mateo 65
Dong Ket 62
Nyköping 62
Torino 46
Milan 44
Toronto 35
Boardman 34
Hefei 28
Guangzhou 24
Jakarta 23
Munich 23
Fremont 20
Helsinki 20
Phoenix 20
Bursa 16
Hong Kong 16
São Paulo 16
Boston 15
Redwood City 15
The Dalles 15
Norwalk 14
Nuremberg 14
San Diego 11
Verona 11
Hangzhou 10
Nanjing 10
Auburn Hills 9
Brussels 9
Falls Church 9
Kharkiv 9
Los Angeles 8
Düsseldorf 7
Kunming 7
Lachine 7
Mountain View 7
Recife 7
Athens 6
Bentwisch 6
Florence 6
Frankfurt am Main 6
Jinan 6
Lappeenranta 6
Mexico City 6
Nanchang 6
New York 6
Sofia 6
Vienna 6
Wayne 6
Chengdu 5
Dortmund 5
Falkenstein 5
Istanbul 5
London 5
Redmond 5
Stockholm 5
Turku 5
Brooklyn 4
Chicago 4
Curitiba 4
Dalian 4
Delhi 4
Des Moines 4
Edinburgh 4
Fuzhou 4
Ho Chi Minh City 4
Horia 4
Karlsruhe 4
Novokuznetsk 4
Rio de Janeiro 4
Saint Petersburg 4
Shenyang 4
Turin 4
Zagreb 4
Andover 3
Atlanta 3
Belo Horizonte 3
Bologna 3
Cuneo 3
Dallas 3
Totale 5.724
Salva come PNG Salva come JPEG
Nome #
Java & Lambda: a Featherweight Story 256
Deriving Session and Union Types for Objects 229
VDML4RS: a tool for reputation systems modeling and design 223
Implementing type-safe software product lines using parametric traits 221
A Calculus for Boxes and Traits in a Java-Like Setting 192
TraitRecordJ: A programming language with traits and records 192
A core calculus of higher-order mixins and classes 187
On Flexible Dynamic Trait Replacement for Java-like Languages 186
Coordinating Mobile Object-Oriented Code 184
Delta-Oriented Programming of Software Product Lines 183
Compositional Type Checking of Delta-Oriented Software Product Lines 181
Combining Traits with Boxes and Ownership Types in a Java-like Setting 167
A Prototypical Java-like Language with Records and Traits 166
Generic traits for the Java platform 165
Safe object composition in the presence of subtyping 159
DeltaJ 1.5: delta-oriented programming for Java 1.5 156
The Klaim Project: Theory and Practice 143
O'Klaim: a coordination language with mobile mixins 133
Safe and Flexible Objects with Subtyping 127
Delegation by Object Composition 126
DeltaJ: a delta oriented programming language with core and delta modules 117
A Mechanisms for Flexible Dynamic Trait Replacement 114
Approaches and Tools for Implementing Type Systems in Xtext 114
A safe implementation of dynamic overloading in Java-like languages 113
A core calculus of higher-order mixins and classes [poster abstract] 111
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses 109
A core calculus of mixins and incomplete objects 104
An Eclipse-based IDE for Featherweight Java implemented in Xtext 104
Pure trait-based programming on the Java platform 104
A core calculus of mixin-based incomplete objects 102
A Java Package for Transparent Code Mobility 100
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 95
Featherweight Wrap Java: wrapping objects and methods 94
I-Java 94
SWRTJ - Sugared Welterweight Record-Trait Java 92
A DSL for Writing Type Systems for Xtext Languages 92
Double Dispatch in C++ 91
Featherweight Java with Multi-Methods 89
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi 89
An infrastructure language for open nets 89
Session and Union Types for Object Oriented Programming 87
Implementing Domain-Specific Languages with Xtext and Xtend 87
Klaim 86
A Java Package for Class and Mixin Mobility in a Distributed Setting 86
A java middleware for guaranteeing privacy of distributed tuple spaces 85
A typed lambda calculus with intersection types 84
Safe and Flexible Objects 82
FCAJava 82
Compositional Type-Checking for Delta-oriented Product Lines 82
Compositional type-checking for delta-oriented programming 82
Generic Programming in Pharo 79
Reverse Generics - Parametrization after the Fact 78
Object composition 78
Type Safe Dynamic Object Delegation in Class-based Languages 77
X-Klaim and Klava: Programming Mobile Code 77
Global Progress in Dynamically Interleaved Multiparty Sessions 76
Subtyping-inheritance conflicts: The mobile mixin case 75
PhpBibliography 75
Timed Buffers: A Technique For Update Propagation In Nomadic Environments 74
International Conference TYPES 2008 72
Rapidly Implementing EMF Applications with EMF Components 72
Extending the BPEL Designer with Xtext based editors 71
Object Incompleteness and Dynamic Composition in Java-Like Languages 70
Implementing Java-like languages in Xtext with Xsemantics 70
Towards Object-Oriented Klaim 69
Featherweight Wrap Java 68
Acm oops, object-oriented programming languages and systems, edizione 2008 68
Implementing Software Product Lines using Traits 68
Dynamic Overloading with Copy Semantics in Object-Oriented Languages: a Formal Account 68
Object Reuse and Behavior Adaptation in Java-like Languages 67
KLAVA: A java package for distributed and mobile applications 67
Structured nets in KLAIM 65
XTypeS 64
Software diversity: state of the art and perspectives 64
Artifact evaluation (summary) 64
MoMi - A Calculus for Mobile Mixins 64
Extending Java to dynamic object behaviors 62
Doublecpp 61
Translating Double-Dispatch into Single-Dispatch 61
Implementing a distributed mobile calculus using the IMC framework 60
Formalizing Properties of Mobile Agent Systems 60
Parsley for your EMF Applications 59
Featherweight Java with Dynamic and Static Overloading 57
Mobile Distributed Programming in X-Klaim 56
FJ-Eclipse 56
Data Privacy in Tuple Space Based Mobile Agent Systems 55
Implementing Session Centered Calculi 55
IMC - Implementing Mobile Code 55
Translating Strong Mobility into Weak Mobility 55
Generics and Reverse Generics for Pharo 53
Klava (Klaim in Java) 50
Implementing Mobile and Distributed Applications in X-Klaim 49
Modelling node connectivity in dynamically evolving networks 49
Software update via mobile agent based programming 48
EMF Components - Filling the Gap between Models and UI 46
Formulae meet Programs over the Net: a Framework for Correct Network Aware Programming 45
I-Java: an extension of Java with incomplete objects and object composition 45
Interactive mobile agents in X-KLAIM 44
Totale 9.457
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.547
article - articoli 0
book - libri 0
conference - conferenze 10.475
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 38.022
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.299 86 45 60 44 138 120 167 85 171 141 127 115
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/202655 55 0 0 0 0 0 0 0 0 0 0 0
Totale 9.457