BETTINI, LORENZO
 Distribuzione geografica
Continente #
NA - Nord America 4.059
EU - Europa 2.481
AS - Asia 685
SA - Sud America 13
AF - Africa 11
Continente sconosciuto - Info sul continente non disponibili 9
OC - Oceania 1
Totale 7.259
Nazione #
US - Stati Uniti d'America 4.006
CN - Cina 406
SE - Svezia 382
IE - Irlanda 328
UA - Ucraina 326
DE - Germania 298
IT - Italia 249
FI - Finlandia 206
FR - Francia 204
KR - Corea 156
DK - Danimarca 147
GB - Regno Unito 126
PL - Polonia 117
VN - Vietnam 76
CA - Canada 52
BE - Belgio 28
JP - Giappone 20
GR - Grecia 18
RU - Federazione Russa 15
BR - Brasile 12
EU - Europa 9
IN - India 9
SG - Singapore 9
NL - Olanda 8
BG - Bulgaria 6
RO - Romania 5
ZA - Sudafrica 5
AT - Austria 4
CZ - Repubblica Ceca 3
ES - Italia 3
ID - Indonesia 3
MU - Mauritius 3
NO - Norvegia 3
EG - Egitto 2
HR - Croazia 2
TW - Taiwan 2
AE - Emirati Arabi Uniti 1
CR - Costa Rica 1
DZ - Algeria 1
EC - Ecuador 1
HU - Ungheria 1
IR - Iran 1
KZ - Kazakistan 1
LV - Lettonia 1
NZ - Nuova Zelanda 1
PH - Filippine 1
RS - Serbia 1
Totale 7.259
Città #
Ann Arbor 639
Chandler 409
Dublin 327
Beijing 262
Fairfield 252
Jacksonville 239
Houston 225
Wilmington 207
Dearborn 182
Ashburn 173
Villeurbanne 140
Woodbridge 135
Medford 134
Princeton 132
Warsaw 117
Seattle 110
Cambridge 96
Pisa 78
San Mateo 65
Dong Ket 62
Nyköping 62
Torino 46
Boardman 34
Toronto 32
Milan 31
Brussels 27
Hefei 25
Guangzhou 24
Fremont 20
Phoenix 17
Redwood City 15
Boston 14
Norwalk 14
Verona 11
Hangzhou 10
Nanjing 10
San Diego 10
Auburn Hills 9
Falls Church 9
Kharkiv 9
Helsinki 8
Düsseldorf 7
Kunming 7
Lachine 7
Mountain View 7
Athens 6
Bentwisch 6
Florence 6
Jinan 6
Nanchang 6
Sofia 6
Wayne 6
Chengdu 5
Dortmund 5
Frankfurt am Main 5
Johannesburg 5
New York 5
Redmond 5
Dalian 4
Delhi 4
Des Moines 4
Edinburgh 4
Fuzhou 4
Horia 4
Karlsruhe 4
Novokuznetsk 4
Saint Petersburg 4
Shenyang 4
Andover 3
Chicago 3
Cuneo 3
Dallas 3
Flensburg 3
Jakarta 3
Los Angeles 3
Munich 3
Nürnberg 3
Old Bridge 3
Recife 3
Shanghai 3
Stavanger 3
São Paulo 3
Tappahannock 3
Vienna 3
Wuhan 3
Zhengzhou 3
Amsterdam 2
Atlanta 2
Bologna 2
Braunschweig 2
Brusciano 2
Chongqing 2
Cingoli 2
Copenhagen 2
Elora 2
Grevenbroich 2
Groningen 2
Halmstad 2
Hanover 2
Horbach 2
Totale 4.643
Nome #
Java & Lambda: a Featherweight Story 230
VDML4RS: a tool for reputation systems modeling and design 200
Implementing type-safe software product lines using parametric traits 195
Deriving Session and Union Types for Objects 184
TraitRecordJ: A programming language with traits and records 171
A Calculus for Boxes and Traits in a Java-Like Setting 169
A core calculus of higher-order mixins and classes 167
On Flexible Dynamic Trait Replacement for Java-like Languages 162
Coordinating Mobile Object-Oriented Code 161
Compositional Type Checking of Delta-Oriented Software Product Lines 159
Delta-Oriented Programming of Software Product Lines 158
Generic traits for the Java platform 141
A Prototypical Java-like Language with Records and Traits 140
Safe object composition in the presence of subtyping 139
Combining Traits with Boxes and Ownership Types in a Java-like Setting 138
DeltaJ 1.5: delta-oriented programming for Java 1.5 129
The Klaim Project: Theory and Practice 124
O'Klaim: a coordination language with mobile mixins 118
Delegation by Object Composition 113
Safe and Flexible Objects with Subtyping 110
DeltaJ: a delta oriented programming language with core and delta modules 99
A core calculus of higher-order mixins and classes [poster abstract] 93
Approaches and Tools for Implementing Type Systems in Xtext 93
A core calculus of mixins and incomplete objects 89
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses 87
A core calculus of mixin-based incomplete objects 85
An Eclipse-based IDE for Featherweight Java implemented in Xtext 82
Pure trait-based programming on the Java platform 78
Featherweight Wrap Java: wrapping objects and methods 77
A Mechanisms for Flexible Dynamic Trait Replacement 77
A Java Package for Transparent Code Mobility 77
A safe implementation of dynamic overloading in Java-like languages 75
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 73
I-Java 72
SWRTJ - Sugared Welterweight Record-Trait Java 72
A DSL for Writing Type Systems for Xtext Languages 70
Implementing Domain-Specific Languages with Xtext and Xtend 69
Compositional Type-Checking for Delta-oriented Product Lines 68
Double Dispatch in C++ 67
Session and Union Types for Object Oriented Programming 67
Timed Buffers: A Technique For Update Propagation In Nomadic Environments 67
Safe and Flexible Objects 66
A java middleware for guaranteeing privacy of distributed tuple spaces 66
A Java Package for Class and Mixin Mobility in a Distributed Setting 66
A typed lambda calculus with intersection types 66
Featherweight Java with Multi-Methods 65
Reverse Generics - Parametrization after the Fact 64
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi 63
FCAJava 63
Object composition 63
An infrastructure language for open nets 63
Subtyping-inheritance conflicts: The mobile mixin case 61
Type Safe Dynamic Object Delegation in Class-based Languages 61
Compositional type-checking for delta-oriented programming 61
X-Klaim and Klava: Programming Mobile Code 61
Klaim 60
Generic Programming in Pharo 60
Global Progress in Dynamically Interleaved Multiparty Sessions 59
PhpBibliography 58
International Conference TYPES 2008 56
Implementing Java-like languages in Xtext with Xsemantics 56
Rapidly Implementing EMF Applications with EMF Components 56
Featherweight Wrap Java 55
Object Incompleteness and Dynamic Composition in Java-Like Languages 55
Implementing Software Product Lines using Traits 55
Extending the BPEL Designer with Xtext based editors 55
KLAVA: A java package for distributed and mobile applications 55
Towards Object-Oriented Klaim 52
Dynamic Overloading with Copy Semantics in Object-Oriented Languages: a Formal Account 52
Acm oops, object-oriented programming languages and systems, edizione 2008 50
Software diversity: state of the art and perspectives 50
Formalizing Properties of Mobile Agent Systems 50
Artifact evaluation (summary) 49
Extending Java to dynamic object behaviors 47
MoMi - A Calculus for Mobile Mixins 46
Object Reuse and Behavior Adaptation in Java-like Languages 45
Translating Double-Dispatch into Single-Dispatch 44
Data Privacy in Tuple Space Based Mobile Agent Systems 43
Mobile Distributed Programming in X-Klaim 43
Doublecpp 43
FJ-Eclipse 43
XTypeS 43
Structured nets in KLAIM 43
Implementing a distributed mobile calculus using the IMC framework 42
Parsley for your EMF Applications 42
Featherweight Java with Dynamic and Static Overloading 41
Translating Strong Mobility into Weak Mobility 40
Implementing Session Centered Calculi 39
Implementing Mobile and Distributed Applications in X-Klaim 38
Klava (Klaim in Java) 37
Generics and Reverse Generics for Pharo 36
Modelling node connectivity in dynamically evolving networks 34
EMF Components - Filling the Gap between Models and UI 33
Software update via mobile agent based programming 33
IMC - Implementing Mobile Code 31
I-Java: an extension of Java with incomplete objects and object composition 30
Formulae meet Programs over the Net: a Framework for Correct Network Aware Programming 29
Interactive mobile agents in X-KLAIM 28
Totale 7.590
Categoria #
all - tutte 17.602
article - articoli 0
book - libri 0
conference - conferenze 6.730
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 24.332


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019377 0 0 0 0 0 0 0 0 13 56 233 75
2019/20201.481 53 77 122 216 118 234 170 78 153 106 77 77
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.251 158 69 20 128 120 339 132 84 115 11 51 24
2023/2024314 64 114 11 34 44 22 10 15 0 0 0 0
Totale 7.590