| Delta-oriented programming of software product lines I Schaefer, L Bettini, V Bono, F Damiani, N Tanzarella International Conference on Software Product Lines, 77-91, 2010 | 561 | 2010 |
| Behavioral types in programming languages D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ... Foundations and trends in programming languages 3 (2-3), 95-230, 2016 | 221 | 2016 |
| The klaim project: Theory and practice L Bettini, V Bono, R De Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ... International Workshop on Global Computing, 88-150, 2003 | 158 | 2003 |
| A core calculus of classes and mixins V Bono, A Patel, V Shmatikov European Conference on Object-Oriented Programming, 43-66, 1999 | 115 | 1999 |
| Local multi-head channel self-attention for facial expression recognition R Pecoraro, V Basile, V Bono Information 13 (9), 419, 2022 | 100 | 2022 |
| An imperative, first-order calculus with object extension V Bono, K Fisher European Conference on Object-Oriented Programming, 462-497, 1998 | 77 | 1998 |
| A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects V Bono, L Liquori International Workshop on Computer Science Logic, 16-30, 1994 | 57 | 1994 |
| On traits and types in a Java-like setting V Bono, F Damiani, E Giachino Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008 | 44 | 2008 |
| Subtyping constraints for incomplete objects V Bono, M Bugliesi, M Dezani-Ciancaglini, L Liquori Colloquium on Trees in Algebra and Programming, 465-477, 1997 | 42 | 1997 |
| Visual and hearing impairment are associated with delirium in hospitalized patients: results of a multisite prevalence study A Morandi, M Inzitari, C Udina, N Gual, M Mota, E Tassistro, A Andreano, ... Journal of the American Medical Directors Association 22 (6), 1162-1167. e3, 2021 | 41 | 2021 |
| Typing copyless message passing V Bono, C Messa, L Padovani European Symposium on Programming, 57-76, 2011 | 38* | 2011 |
| Typing copyless message passing V Bono, L Padovani Logical Methods in Computer Science 8, 2012 | 35 | 2012 |
| Coordinating mobile object-oriented code L Bettini, V Bono, B Venneri International Conference on Coordination Languages and Models, 56-71, 2002 | 35 | 2002 |
| A typed lambda calculus with intersection types V Bono, B Venneri, L Bettini Theoretical Computer Science 398 (1-3), 95-113, 2008 | 31 | 2008 |
| MOMI: a calculus for mobile mixins L Bettini, B Venneri, V Bono Acta Informatica 42 (2), 143-190, 2005 | 30* | 2005 |
| Separating type, behavior, and state to achieve very fine-grained reuse V Bono, F Damiani, E Giachino 9th Workshop on Formal Techniques for Java-like Programs FTfJP 2007, ---, 2007 | 29 | 2007 |
| A lambda calculus of incomplete objects V Bono, M Bugliesi, L Liquori International Symposium on Mathematical Foundations of Computer Science, 218-229, 1996 | 28 | 1996 |
| A core calculus of classes and objects V Bono, A Patel, V Shmatikov, J Mitchell Electronic Notes in Theoretical Computer Science 20, 28-49, 1999 | 26 | 1999 |
| Delegation by object composition L Bettini, V Bono, B Venneri Science of Computer Programming 76 (11), 992-1014, 2011 | 25 | 2011 |
| Java & lambda: a featherweight story L Bettini, V Bono, M Dezani-Ciancaglini, P Giannini, B Venneri Logical Methods in Computer Science 14, 2018 | 24 | 2018 |
Lorenzo BettiniAssociate Professor in Computer Science, Dipartimento di Statistica, Informatica e ApplicazioniVerified email at unifi.it
