BONO, Viviana
 Distribuzione geografica
Continente #
NA - Nord America 4.283
EU - Europa 2.080
AS - Asia 810
Continente sconosciuto - Info sul continente non disponibili 12
AF - Africa 8
SA - Sud America 6
Totale 7.199
Nazione #
US - Stati Uniti d'America 4.237
IT - Italia 352
SE - Svezia 300
CN - Cina 262
SG - Singapore 245
IE - Irlanda 223
DK - Danimarca 215
UA - Ucraina 213
DE - Germania 187
FR - Francia 159
FI - Finlandia 155
GB - Regno Unito 102
KR - Corea 102
VN - Vietnam 83
PL - Polonia 77
JP - Giappone 61
CA - Canada 46
ID - Indonesia 34
RU - Federazione Russa 25
GR - Grecia 16
AT - Austria 13
EU - Europa 12
IN - India 12
ES - Italia 10
HK - Hong Kong 10
NL - Olanda 10
BE - Belgio 5
MU - Mauritius 5
RO - Romania 5
BR - Brasile 4
BG - Bulgaria 3
LV - Lettonia 3
NO - Norvegia 3
CZ - Repubblica Ceca 2
NG - Nigeria 2
CH - Svizzera 1
CI - Costa d'Avorio 1
HR - Croazia 1
PE - Perù 1
SA - Arabia Saudita 1
VE - Venezuela 1
Totale 7.199
Città #
Ann Arbor 495
Fairfield 421
Santa Clara 398
Chandler 272
Wilmington 236
Dublin 220
Ashburn 213
Woodbridge 209
Houston 206
Singapore 190
Jacksonville 169
Beijing 155
Seattle 146
Cambridge 135
Pisa 102
Dearborn 101
Medford 99
Princeton 90
Villeurbanne 84
Warsaw 77
Dong Ket 69
Columbus 68
San Mateo 55
Turin 54
Guangzhou 44
Milan 43
Torino 41
Toronto 35
Jakarta 34
Fremont 29
Nyköping 28
Boardman 26
Phoenix 23
Helsinki 18
Norwalk 18
San Diego 16
Vienna 13
Boston 11
Hefei 11
Nanjing 11
Verona 11
Auburn Hills 10
Düsseldorf 10
Wayne 10
Falls Church 9
Lachine 9
Hong Kong 8
Karlsruhe 8
Redwood City 8
Jinan 7
Bari 6
Kharkiv 6
Munich 6
Naples 6
New York 6
Nuremberg 6
Old Bridge 6
Bologna 5
Delhi 5
Florence 5
Horia 5
Kunming 5
Los Angeles 5
Brussels 4
Lleida 4
Padova 4
Chennai 3
Hangzhou 3
Putian 3
Recife 3
Redmond 3
Sofia 3
Stavanger 3
Valencia 3
Abuja 2
Cattolica 2
Chengdu 2
Des Moines 2
Fuzhou 2
Genoa 2
Lappeenranta 2
Leeds 2
Ludwigshafen 2
Lüneburg 2
Mountain View 2
Nanchang 2
Offida 2
Rivara 2
Rodgau 2
Saint Petersburg 2
Seoul 2
Seville 2
Southend 2
Stony Brook 2
Tappahannock 2
The Dalles 2
Washington 2
Zhengzhou 2
Abidjan 1
Alcala la Real 1
Totale 4.913
Nome #
Data-driven adaptation for smart sessions 343
Behavioral Types in Programming Languages 277
Java & Lambda: a Featherweight Story 245
The Magda Language: Ten Years After 227
Trait-oriented programming in Java 8 213
Magda: A New Language for Modularity 209
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language 191
Delta-Oriented Programming of Software Product Lines 179
Coordinating Mobile Object-Oriented Code 177
A core calculus of higher-order mixins and classes 176
Lucretia - intersection type polymorphism for scripting languages 175
A Core Calculus of Classes and Mixins 164
Extensible Objects: a Tutorial 164
Safe object composition in the presence of subtyping 151
A Lambda Calculus of Incomplete Objects 149
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects 140
A Trait Based Re-engineering Technique for Java Hierarchies 138
The Klaim Project: Theory and Practice 136
O'Klaim: a coordination language with mobile mixins 129
Matching Constraints for the Lambda Calculus of Objects 124
Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse 123
Safe and Flexible Objects with Subtyping 123
A tale of intersection types 123
Soundness Conditions for Big-Step Semantics 123
Delegation by Object Composition 122
Interpretations of Extensible Objects and Types 120
A Reputation System for Multirole Sessions 117
Typing Copyless Message Passing 116
Type inference for nested self types (extended abstract) 109
A core calculus of higher-order mixins and classes [poster abstract] 104
A core calculus of mixins and incomplete objects 99
A core calculus of mixin-based incomplete objects 93
I-Java 85
On Traits and Types in a Java-like Setting 82
Subtyping Constraints for Incomplete Objects 79
A typed lambda calculus with intersection types 78
Safe and Flexible Objects 75
A Subtyping for Extensible, Incomplete Objects 75
FCAJava 75
Program Committee member of the 29th edition of the European Conference on Object-Oriented Programming (ECOOP 2015). 75
A calculus for "environment-aware" computation 75
Object composition 74
Subtyping-inheritance conflicts: The mobile mixin case 71
Type Safe Dynamic Object Delegation in Class-based Languages 70
Truth Translations of Relevant Logics 68
Modularizing constructors 67
FJMIP: A calculus for a modular object initialization 65
Object Incompleteness and Dynamic Composition in Java-Like Languages 63
Polymorphic Endpoint Types for Copyless Message Passing 62
A CuCh Interpretation of an Object-Oriented Language 62
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows 61
Towards Object-Oriented Klaim 60
Program Committee member of the Programming Language Approaches to Concurrency and Communication-cEntric Software workshop (PLACES 2013) 59
33rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008) 55
Big-step Operational Semantics Revisited 55
Typed Interpretations of Extensible Objects 55
MoMi - A Calculus for Mobile Mixins 55
A Core Calculus of Classes and Objects 54
Program Committee member of the 23rd European Symposium on Programming (ESOP 2014) 49
The Fifth ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2010) 48
Typing Copyless Message Passing 48
An Imperative First-Order Calculus with Object Extension 48
Hygienic methods - Introducing HygJava 48
Products and Polymorphic Subtypes 47
Introducing TCD-D for Creativity Assessment: A Mobile App for Educational Contexts 47
Workshop on Formal Techniques for Java-like Programs 2011 (FTfJP 2011) 46
I-Java: an extension of Java with incomplete objects and object composition 42
Matching for the Lambda Calculus of Objects 41
International Workshops on Foundations of Object-Oriented Languages (FOOL) 40
International Workshops on Foundations of Object-Oriented Languages (FOOL) 39
Proceedings of the Workshop on Object-Oriented Developments (WOOD 2004) 38
International Workshops on Foundations of Object-Oriented Languages (FOOL) 35
Local Multi-Head Channel Self-Attention for Facial Expression Recognition 27
Gradual Guarantee for FJ with lambda-Expressions 27
Totale 7.504
Categoria #
all - tutte 18.227
article - articoli 0
book - libri 0
conference - conferenze 9.076
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 27.303


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020893 0 0 0 0 0 181 150 103 177 108 87 87
2020/20211.252 85 61 74 131 115 101 115 83 138 128 102 119
2021/2022927 25 41 46 89 46 33 153 57 19 73 177 168
2022/2023826 100 51 18 65 99 221 84 51 78 2 41 16
2023/2024339 35 78 14 21 43 13 4 15 0 19 28 69
2024/2025898 39 78 71 114 531 65 0 0 0 0 0 0
Totale 7.504