| 2024 | FM | Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows. | Iacopo Colonnelli, Doriana Medic, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci |
| 2023 | FTfJP | Gradual Guarantee for FJ with lambda-Expressions. | Pedro ngelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mrio Florido |
| 2020 | ESOP | Soundness Conditions for Big-Step Semantics. | Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini |
| 2020 | LICS | A tale of intersection types. | Viviana Bono, Mariangiola Dezani-Ciancaglini |
| 2013 | FORTE | Polymorphic Types for Leak Detection in a Session-Oriented Functional Language. | Viviana Bono, Luca Padovani, Andrea Tosatto |
| 2012 | ECOOP | Magda: A New Language for Modularity. | Viviana Bono, Jarek Kusmierek, Mauro Mulatero |
| 2011 | ESOP | Typing Copyless Message Passing. | Viviana Bono, Chiara Messa, Luca Padovani |
| 2010 | SPLC | Delta-Oriented Programming of Software Product Lines. | Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella |
| 2007 | FCT | FJMIP: A Calculus for a Modular Object Initialization. | Viviana Bono, Jaroslaw D. M. Kusmierek |
| 2005 | SAC | Safe and flexible objects. | Lorenzo Bettini, Viviana Bono, Silvia Likavec |
| 2004 | Coordination | O'Klaim: A Coordination Language with Mobile Mixins. | Lorenzo Bettini, Viviana Bono, Betti Venneri |
| 2004 | OOPSLA | A core calculus of mixins and incomplete objects. | Lorenzo Bettini, Viviana Bono, Silvia Likavec |
| 2004 | SAC | A core calculus of higher-order mixins and classes. | Lorenzo Bettini, Viviana Bono, Silvia Likavec |
| 2002 | Coordination | Coordinating Mobile Object-Oriented Code. | Lorenzo Bettini, Viviana Bono, Betti Venneri |
| 1999 | ECOOP | A Core Calculus of Classes and Mixins. | Viviana Bono, Amit Patel, Vitaly Shmatikov |
| 1999 | FCT | Interpretations of Extensible Objects and Types. | Viviana Bono, Michele Bugliesi |
| 1998 | ECOOP | An Imperative, First-Order Calculus with Object Extension. | Viviana Bono, Kathleen Fisher |
| 1996 | MFCS | A Lambda Calculus of Incomplete Objects. | Viviana Bono, Michele Bugliesi, Luigi Liquori |
| 1994 | CSL | A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. | Viviana Bono, Luigi Liquori |