| Delta-oriented programming of software product lines I Schaefer, L Bettini, V Bono, F Damiani, N Tanzarella Software Product Lines: Going Beyond: 14th International Conference, SPLC …, 2010 | 530 | 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 | 200 | 2016 |
| The klaim project: Theory and practice L Bettini, V Bono, R De Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ... Global Computing. Programming Environments, Languages, Security, and …, 2003 | 153 | 2003 |
| A core calculus of classes and mixins V Bono, A Patel, V Shmatikov ECOOP’99—Object-Oriented Programming: 13th European Conference Lisbon …, 1999 | 113 | 1999 |
| An imperative, first-order calculus with object extension V Bono, K Fisher European Conference on Object-Oriented Programming, 462-497, 1998 | 77 | 1998 |
| Local multi-head channel self-attention for facial expression recognition R Pecoraro, V Basile, V Bono Information 13 (9), 419, 2022 | 72 | 2022 |
| A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects V Bono, L Liquori International Workshop on Computer Science Logic, 16-30, 1994 | 59 | 1994 |
| Subtyping constraints for incomplete objects V Bono, M Bugliesi, M Dezani-Ciancaglini, L Liquori TAPSOFT'97: Theory and Practice of Software Development: 7th International …, 1997 | 42 | 1997 |
| 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 | 41 | 2008 |
| Typing copyless message passing V Bono, C Messa, L Padovani Programming Languages and Systems: 20th European Symposium on Programming …, 2011 | 35* | 2011 |
| 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 | 32 | 2008 |
| Typing copyless message passing V Bono, L Padovani Logical Methods in Computer Science 8, 2012 | 30 | 2012 |
| MOMI: a calculus for mobile mixins L Bettini, B Venneri, V Bono Acta Informatica 42 (2), 143-190, 2005 | 30* | 2005 |
| A lambda calculus of incomplete objects V Bono, M Bugliesi, L Liquori Mathematical Foundations of Computer Science 1996: 21st International …, 1996 | 29 | 1996 |
| 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 | 28 | 2007 |
| 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 | 25 | 2021 |
| Delegation by object composition L Bettini, V Bono, B Venneri Science of Computer Programming 76 (11), 992-1014, 2011 | 25 | 2011 |
| 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 | 25 | 1999 |
| Java & lambda: a featherweight story L Bettini, V Bono, M Dezani-Ciancaglini, P Giannini, B Venneri Logical Methods in Computer Science 14, 2018 | 23 | 2018 |
Lorenzo BettiniAssociate Professor in Computer Science, Dipartimento di Statistica, Informatica e ApplicazioniVerified email at unifi.it
