| 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 | 521 | 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 | 186 | 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 | 150 | 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 | 60 | 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 | 34 | 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 | 29* | 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 |
| 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 |
| Matching for the lambda calculus of objects V Bono, M Bugliesi Theoretical Computer Science 212 (1-2), 101-140, 1999 | 23 | 1999 |
| A Subtyping for extensible, incomplete objects V Bono, M Bugliesi, M Dezani-Ciancaglini, L Liquori Fundamenta Informaticae 38 (4), 325-364, 1999 | 23 | 1999 |
Lorenzo BettiniAssociate Professor in Computer Science, Dipartimento di Statistica, Informatica e ApplicazioniVerified email at unifi.it
