BONO, Viviana
 Distribuzione geografica
Continente #
NA - Nord America 3.738
EU - Europa 2.047
AS - Asia 663
Continente sconosciuto - Info sul continente non disponibili 12
AF - Africa 8
SA - Sud America 6
Totale 6.474
Nazione #
US - Stati Uniti d'America 3.692
IT - Italia 334
SE - Svezia 300
CN - Cina 254
IE - Irlanda 223
DK - Danimarca 215
UA - Ucraina 213
DE - Germania 186
FR - Francia 159
FI - Finlandia 153
SG - Singapore 114
KR - Corea 102
GB - Regno Unito 101
VN - Vietnam 83
PL - Polonia 77
JP - Giappone 61
CA - Canada 46
ID - Indonesia 34
RU - Federazione Russa 19
GR - Grecia 16
AT - Austria 13
EU - Europa 12
IN - India 12
NL - Olanda 10
ES - Italia 8
BE - Belgio 5
MU - Mauritius 5
RO - Romania 5
BR - Brasile 4
BG - Bulgaria 3
NO - Norvegia 3
CZ - Repubblica Ceca 2
HK - Hong Kong 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 6.474
Città #
Ann Arbor 495
Fairfield 421
Chandler 272
Wilmington 236
Dublin 220
Woodbridge 209
Ashburn 206
Houston 206
Jacksonville 169
Beijing 155
Seattle 146
Cambridge 135
Pisa 102
Dearborn 101
Medford 99
Princeton 90
Singapore 85
Villeurbanne 84
Warsaw 77
Dong Ket 69
San Mateo 55
Turin 52
Guangzhou 44
Milan 41
Torino 41
Toronto 35
Jakarta 34
Fremont 29
Nyköping 28
Boardman 26
Phoenix 23
Norwalk 18
Helsinki 16
San Diego 16
Vienna 13
Santa Clara 12
Boston 11
Hefei 11
Nanjing 11
Verona 11
Auburn Hills 10
Düsseldorf 10
Wayne 10
Falls Church 9
Lachine 9
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
Horia 5
Kunming 5
Los Angeles 5
Brussels 4
Lleida 4
Padova 4
Chennai 3
Recife 3
Redmond 3
Sofia 3
Stavanger 3
Abuja 2
Cattolica 2
Chengdu 2
Des Moines 2
Hangzhou 2
Lappeenranta 2
Leeds 2
Ludwigshafen 2
Lüneburg 2
Mountain View 2
Nanchang 2
Offida 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
Alzano Lombardo 1
Andora 1
Andover 1
Appiano Gentile 1
Atlanta 1
Baotou 1
Berkeley 1
Boca Raton 1
Totale 4.323
Nome #
Data-driven adaptation for smart sessions 335
Behavioral Types in Programming Languages 265
Java & Lambda: a Featherweight Story 234
The Magda Language: Ten Years After 219
Magda: A New Language for Modularity 201
Trait-oriented programming in Java 8 198
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language 180
A core calculus of higher-order mixins and classes 167
Delta-Oriented Programming of Software Product Lines 167
Coordinating Mobile Object-Oriented Code 167
Lucretia - intersection type polymorphism for scripting languages 165
A Core Calculus of Classes and Mixins 156
Extensible Objects: a Tutorial 156
A Lambda Calculus of Incomplete Objects 141
Safe object composition in the presence of subtyping 141
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects 130
A Trait Based Re-engineering Technique for Java Hierarchies 128
The Klaim Project: Theory and Practice 128
O'Klaim: a coordination language with mobile mixins 119
Soundness Conditions for Big-Step Semantics 116
Delegation by Object Composition 115
Matching Constraints for the Lambda Calculus of Objects 114
Safe and Flexible Objects with Subtyping 114
Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse 112
Interpretations of Extensible Objects and Types 112
Typing Copyless Message Passing 108
A Reputation System for Multirole Sessions 108
Type inference for nested self types (extended abstract) 104
A core calculus of higher-order mixins and classes [poster abstract] 95
A core calculus of mixins and incomplete objects 90
A core calculus of mixin-based incomplete objects 86
I-Java 74
On Traits and Types in a Java-like Setting 72
Subtyping Constraints for Incomplete Objects 71
A typed lambda calculus with intersection types 70
A tale of intersection types 70
Safe and Flexible Objects 67
Program Committee member of the 29th edition of the European Conference on Object-Oriented Programming (ECOOP 2015). 65
A Subtyping for Extensible, Incomplete Objects 64
FCAJava 64
A calculus for "environment-aware" computation 64
Object composition 63
Subtyping-inheritance conflicts: The mobile mixin case 62
Truth Translations of Relevant Logics 61
Type Safe Dynamic Object Delegation in Class-based Languages 60
Modularizing constructors 59
FJMIP: A calculus for a modular object initialization 56
Object Incompleteness and Dynamic Composition in Java-Like Languages 56
Polymorphic Endpoint Types for Copyless Message Passing 54
A CuCh Interpretation of an Object-Oriented Language 54
Program Committee member of the Programming Language Approaches to Concurrency and Communication-cEntric Software workshop (PLACES 2013) 53
Towards Object-Oriented Klaim 52
Typed Interpretations of Extensible Objects 49
MoMi - A Calculus for Mobile Mixins 48
33rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008) 47
A Core Calculus of Classes and Objects 47
Big-step Operational Semantics Revisited 44
Program Committee member of the 23rd European Symposium on Programming (ESOP 2014) 41
The Fifth ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2010) 40
Products and Polymorphic Subtypes 40
Hygienic methods - Introducing HygJava 40
An Imperative First-Order Calculus with Object Extension 39
Typing Copyless Message Passing 38
Workshop on Formal Techniques for Java-like Programs 2011 (FTfJP 2011) 38
Introducing TCD-D for Creativity Assessment: A Mobile App for Educational Contexts 37
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows 32
Matching for the Lambda Calculus of Objects 32
I-Java: an extension of Java with incomplete objects and object composition 31
International Workshops on Foundations of Object-Oriented Languages (FOOL) 31
International Workshops on Foundations of Object-Oriented Languages (FOOL) 30
Proceedings of the Workshop on Object-Oriented Developments (WOOD 2004) 27
International Workshops on Foundations of Object-Oriented Languages (FOOL) 24
Local Multi-Head Channel Self-Attention for Facial Expression Recognition 17
Gradual Guarantee for FJ with lambda-Expressions 17
Totale 6.771
Categoria #
all - tutte 16.089
article - articoli 0
book - libri 0
conference - conferenze 7.976
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 24.065


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.346 0 0 113 215 125 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/2025165 39 78 48 0 0 0 0 0 0 0 0 0
Totale 6.771