Functional Characters of Solvable Terms. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Betti Venneri (Math. Log. Q., 1981)

Principal Type Schemes for an Extended Type Theory. - Simona Ronchi Della Rocca; Betti Venneri (Theor. Comput. Sci., 1984)

Partial Types and Intervals. - Mariangiola Dezani-Ciancaglini; Betti Venneri (SIAM J. Comput., 1990)

Intersection Types as Logical Formulae. - Betti Venneri (J. Log. Comput., 1994)

The "Relevance" of Intersection and Union Types. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Betti Venneri (Notre Dame J. Formal Log., 1997)

Types for access control. - Rocco De Nicola; Gian-Luigi Ferrari 002; Rosario Pugliese; Betti Venneri (Theor. Comput. Sci., 2000)

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

Hyperformulae, Parallel Deductions and Intersection Types. - Beatrice Capitani; Michele Loreti; Betti Venneri (BOTH, 2001)

Coordinating Mobile Object-Oriented Code. - Lorenzo Bettini; Viviana Bono; Betti Venneri (COORDINATION, 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)

Extending Java to dynamic object behaviors. - Lorenzo Bettini; Sara Capecchi; Betti Venneri (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)

Translating Double Dispatch into Single Dispatch. - Lorenzo Bettini; Sara Capecchi; Betti Venneri (WOOD, 2004)

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

Double dispatch in C++. - Lorenzo Bettini; Sara Capecchi; Betti Venneri (Softw. Pract. Exp., 2006)

Featherweight Java with multi-methods. - Lorenzo Bettini; Sara Capecchi; Betti Venneri (PPPJ, 2007)

Session and Union Types for Object Oriented Programming. - Lorenzo Bettini; Sara Capecchi; Mariangiola Dezani-Ciancaglini; Elena Giachino; Betti Venneri (Concurrency, Graphs and Models, 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)

A Safe Implementation of Dynamic Overloading in Java-Like Languages. - Lorenzo Bettini; Sara Capecchi; Betti Venneri (FSEN, 2009)

Dynamic overloading with copy semantics in object-oriented languages: a formal account. - Lorenzo Bettini; Sara Capecchi; Betti Venneri (RAIRO Theor. Informatics Appl., 2009)

Featherweight Java with dynamic and static overloading. - Lorenzo Bettini; Sara Capecchi; Betti Venneri (Sci. Comput. Program., 2009)

Object reuse and behavior adaptation in Java-like languages. - Lorenzo Bettini; Betti Venneri (PPPJ, 2011)

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

Deriving session and union types for objects. - Lorenzo Bettini; Sara Capecchi; Mariangiola Dezani-Ciancaglini; Elena Giachino; Betti Venneri (Math. Struct. Comput. Sci., 2013)

Self-Adaptive Monitors for Multiparty Sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Betti Venneri (PDP, 2014)

Self-adaptive multiparty sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Betti Venneri (Serv. Oriented Comput. Appl., 2015)

Parallel Monitors for Self-adaptive Sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Betti Venneri (PLACES, 2016)

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

Intersection Types in Java: Back to the Future. - Mariangiola Dezani-Ciancaglini; Paola Giannini; Betti Venneri (Models, Mindsets, Meta, 2018)

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)

Deconfined Intersection Types in Java. - Mariangiola Dezani-Ciancaglini; Paola Giannini; Betti Venneri (Gabbrielli's Festschrift, 2020)

YACC: Yet Another Church Calculus - A Birthday Present for Herman Inspired by His Supervisor Activity. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro; Betti Venneri (Logics and Type Systems in Theory and Practice, 2024)