A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. - Viviana Bono; Luigi Liquori (CSL, 1994)

A Lambda Calculus of Incomplete Objects. - Viviana Bono; Michele Bugliesi; Luigi Liquori (MFCS, 1996)

Subtyping Constraints for Incomplete Objects (Extended Abstract). - Viviana Bono; Michele Bugliesi; Mariangiola Dezani-Ciancaglini; Luigi Liquori (TAPSOFT, 1997)

Matching Constraints for the Lambda Calculus of Objects. - Viviana Bono; Michele Bugliesi (TLCA, 1997)

An Imperative, First-Order Calculus with Object Extension. - Viviana Bono; Kathleen Fisher (ECOOP, 1998)

A Core Calculus of Classes and Mixins. - Viviana Bono; Amit Patel 001; Vitaly Shmatikov (ECOOP, 1999)

Interpretations of Extensible Objects and Types. - Viviana Bono; Michele Bugliesi (FCT, 1999)

A Core Calculus of Classes and Objects. - Viviana Bono; John C. Mitchell; Amit Patel 001; Vitaly Shmatikov (MFPS, 1999)

A Subtyping for Extensible, Incomplete Objects. - Viviana Bono; Michele Bugliesi; Mariangiola Dezani-Ciancaglini; Luigi Liquori (Fundam. Informaticae, 1999)

Matching for the lambda Calculus of Objects. - Viviana Bono; Michele Bugliesi (Theor. Comput. Sci., 1999)

Towards Object-Oriented Klaim. - Lorenzo Bettini; Viviana Bono; Betti Venneri (TOSCA, 2001)

A CuCh Interpretation of an Object-Oriented Language. - Viviana Bono; Ivano Salvo (BOTH, 2001)

Coordinating Mobile Object-Oriented Code. - Lorenzo Bettini; Viviana Bono; Betti Venneri (COORDINATION, 2002)

A Calculus for "Environment-Aware" Computation. - Viviana Bono; Ferruccio Damiani; Paola Giannini (F-WAN@ICALP, 2002)

Products and Polymorphic Subtypes. - Viviana Bono; Jerzy Tiuryn (Fundam. Informaticae, 2002)

Typed interpretations of extensible objects. - Viviana Bono; Michele Bugliesi; Silvia Crafa (ACM Trans. Comput. Log., 2002)

The Klaim Project: Theory and Practice. - Lorenzo Bettini; Viviana Bono; Rocco De Nicola; Gian-Luigi Ferrari 002; Daniele Gorla; Michele Loreti; Eugenio Moggi; Rosario Pugliese; Emilio Tuosto; Betti Venneri (Global Computing, 2003)

Extensible Objects: A Tutorial. - Viviana Bono (Global Computing, 2003)

Type Inference for Nested Self Types. - Viviana Bono; Jerzy Tiuryn; Pawel Urzyczyn (TYPES, 2003)

First Workshop on Object Oriented Developments - Preface. - Viviana Bono; Michele Bugliesi (WOOD, 2003)

O'Klaim: A Coordination Language with Mobile Mixins. - Lorenzo Bettini; Viviana Bono; Betti Venneri (COORDINATION, 2004)

Subtyping-Inheritance Conflicts: The Mobile Mixin Case. - Lorenzo Bettini; Viviana Bono; Betti Venneri (IFIP TCS, 2004)

A core calculus of mixins and incomplete objects. - Lorenzo Bettini; Viviana Bono; Silvia Likavec (OOPSLA Companion, 2004)

A core calculus of higher-order mixins and classes. - Lorenzo Bettini; Viviana Bono; Silvia Likavec (SAC, 2004)

Preface. - Viviana Bono; Michele Bugliesi; Sophia Drossopoulou (WOOD, 2004)

Safe Object Composition in the Presence of Subtyping. - Lorenzo Bettini; Viviana Bono; Silvia Likavec (ICTCS, 2005)

Safe and flexible objects. - Lorenzo Bettini; Viviana Bono; Silvia Likavec (SAC, 2005)

MOMI: a calculus for mobile mixins. - Lorenzo Bettini; Betti Venneri; Viviana Bono (Acta Informatica, 2005)

Safe and Flexible Objects with Subtyping. - Lorenzo Bettini; Viviana Bono; Silvia Likavec (J. Object Technol., 2005)

FJMIP: A Calculus for a Modular Object Initialization. - Viviana Bono; Jaroslaw D. M. Kusmierek (FCT, 2007)

Modularizing constructors. - Viviana Bono; Jaroslaw D. M. Kusmierek (J. Object Technol., 2007)

Hygienic methods Ñ Introducing HygJava. - Jaroslaw D. M. Kusmierek; Viviana Bono (J. Object Technol., 2007)

On Traits and Types in a Java-like Setting. - Viviana Bono; Ferruccio Damiani; Elena Giachino (IFIP TCS, 2008)

Type safe dynamic object delegation in class-based languages. - Lorenzo Bettini; Viviana Bono (PPPJ, 2008)

A trait based re-engineering technique for Java hierarchies. - Lorenzo Bettini; Viviana Bono; Marco Naddeo (PPPJ, 2008)

Object Incompleteness and Dynamic Composition in Java-Like Languages. - Lorenzo Bettini; Viviana Bono; Betti Venneri (TOOLS (46), 2008)

A typed lambda calculus with intersection types. - Viviana Bono; Betti Venneri; Lorenzo Bettini (Theor. Comput. Sci., 2008)

I-Java: An Extension of Java with Incomplete Objects and Object Composition. - Lorenzo Bettini; Viviana Bono; Erica Turin (SC@TOOLS, 2009)

Delta-Oriented Programming of Software Product Lines. - Ina Schaefer; Lorenzo Bettini; Viviana Bono; Ferruccio Damiani; Nico Tanzarella (SPLC, 2010)

Big-step Operational Semantics Revisited. - Jaroslaw D. M. Kusmierek; Viviana Bono (Fundam. Informaticae, 2010)

Typing Copyless Message Passing. - Viviana Bono; Chiara Messa; Luca Padovani (ESOP, 2011)

A Reputation System for Multirole Sessions. - Viviana Bono; Sara Capecchi; Ilaria Castellani; Mariangiola Dezani-Ciancaglini (TGC, 2011)

Polymorphic Endpoint Types for Copyless Message Passing - Viviana Bono; Luca Padovani (ICE, 2011)

Delegation by object composition. - Lorenzo Bettini; Viviana Bono; Betti Venneri (Sci. Comput. Program., 2011)

Magda: A New Language for Modularity. - Viviana Bono; Jarek Kusmierek; Mauro Mulatero (ECOOP, 2012)

Typing Copyless Message Passing - Viviana Bono; Luca Padovani (Log. Methods Comput. Sci., 2012)

Lucretia - a type system for objects in languages with reflection - Viviana Bono; Marcin Benke; Aleksy Schubert (CoRR, 2012)

Polymorphic Types for Leak Detection in a Session-Oriented Functional Language. - Viviana Bono; Luca Padovani; Andrea Tosatto (FMOODS/FORTE, 2013)

Trait-oriented programming in Java 8. - Viviana Bono; Enrico Mensa; Marco Naddeo (PPPJ, 2014)

Lucretia - intersection type polymorphism for scripting languages. - Marcin Benke; Viviana Bono; Aleksy Schubert (ITRS, 2014)

Behavioral Types in Programming Languages. - Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos 002; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; et al. (Found. Trends Program. Lang., 2016)

Data-driven adaptation for smart sessions. - Viviana Bono; Mario Coppo; Mariangiola Dezani-Ciancaglini; Betti Venneri (J. Log. Algebraic Methods Program., 2017)

Java & Lambda: a Featherweight Story. - Lorenzo Bettini; Viviana Bono; Mariangiola Dezani-Ciancaglini; Betti Venneri (CoRR, 2018)

Java & Lambda: a Featherweight Story. - Lorenzo Bettini; Viviana Bono; Mariangiola Dezani-Ciancaglini; Paola Giannini; Betti Venneri (Log. Methods Comput. Sci., 2018)

The Magda Language: Ten Years After. - Viviana Bono (Fundam. Informaticae, 2019)

Soundness Conditions for Big-Step Semantics. - Francesco Dagnino; Viviana Bono; Elena Zucca; Mariangiola Dezani-Ciancaglini (ESOP, 2020)

A tale of intersection types. - Viviana Bono; Mariangiola Dezani-Ciancaglini (LICS, 2020)

GASP! Generating Abstracts of Scientific Papers from Abstracts of Cited Papers. - Fabio Massimo Zanzotto; Viviana Bono; Paola Vocca; Andrea Santilli; Danilo Croce; Giorgio Gambosi; Roberto Basili 001 (CoRR, 2020)

Local Multi-Head Channel Self-Attention for Facial Expression Recognition. - Roberto Pecoraro; Valerio Basile; Viviana Bono; Sara Gallo (CoRR, 2021)

Local Multi-Head Channel Self-Attention for Facial Expression Recognition. - Roberto Pecoraro; Valerio Basile; Viviana Bono (Inf., 2022)

Gradual Guarantee for FJ with lambda-Expressions. - Pedro Ângelo 002; Viviana Bono; Mariangiola Dezani-Ciancaglini; Mário Florido (FTfJP@ECOOP, 2023)

Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows. - Iacopo Colonnelli; Doriana Medic; Alberto Mulone; Viviana Bono; Luca Padovani; Marco Aldinucci (FM (1), 2024)

Artifact for paper "Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows". - Iacopo Colonnelli; Doriana Medic; Alberto Mulone; Viviana Bono; Luca Padovani; Marco Aldinucci (Zenodo, 2024)

Partially typed multiparty sessions with internal delegation. - Franco Barbanera; Viviana Bono; Mariangiola Dezani-Ciancaglini (J. Log. Algebraic Methods Program., 2025)

Open compliance in multiparty sessions with partial typing. - Franco Barbanera; Viviana Bono; Mariangiola Dezani-Ciancaglini (J. Log. Algebraic Methods Program., 2025)