Adding Algebraic Rewriting to the Calculus of Constructions: Strong Normalization Preserved. - Franco Barbanera (CTRS, 1990)

Combining Term Rewriting and Type Assignment Systems. - Franco Barbanera (Int. J. Found. Comput. Sci., 1990)

Towards a Semantics for the QUEST Language - Fabio Alessi; Franco Barbanera (LICS, 1991)

Strong Conjunction and Intersection Types. - Fabio Alessi; Franco Barbanera (MFCS, 1991)

Intersection and Union Types. - Franco Barbanera; Mariangiola Dezani-Ciancaglini (TACS, 1991)

A Constructive Valuation Interpretation for Classical Logic and its Use in Witness Extraction. - Franco Barbanera; Stefano Berardi (CAAP, 1992)

Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega. - Franco Barbanera; Maribel Fernández (ICALP, 1993)

Extracting Constructive Content from Classical Logic via Control-like Reductions. - Franco Barbanera; Stefano Berardi (TLCA, 1993)

Combining First and Higher Order Rewrite Systems with Type Assignment Systems. - Franco Barbanera; Maribel Fernández (TLCA, 1993)

Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube - Franco Barbanera; Maribel Fernández; Herman Geuvers (LICS, 1994)

Proof-functional connectives and realizability. - Franco Barbanera; Simone Martini 001 (Arch. Math. Log., 1994)

Toward A Semantics for the Quest Language. - Fabio Alessi; Franco Barbanera (RAIRO Theor. Informatics Appl., 1994)

A Strong Normalization Result for Classical Logic. - Franco Barbanera; Stefano Berardi (Ann. Pure Appl. Log., 1995)

Intersection and Union Types: Syntax and Semantics - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (Inf. Comput., 1995)

Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. - Steffen van Bakel; Franco Barbanera; Maribel Fernández (ESOP, 1996)

A Symmetric Lambda Calculus for Classical Program Extraction. - Franco Barbanera; Stefano Berardi (Inf. Comput., 1996)

Proof-Irrelevance out of Exluded-Middle and Choice in the Calculus of Constructions. - Franco Barbanera; Stefano Berardi (J. Funct. Program., 1996)

A Constructive Valuation Semantics for Classical Logic. - Franco Barbanera; Stefano Berardi (Notre Dame J. Formal Log., 1996)

Intersection Type Assignment Systems with Higher-Order Algebraic Rewriting. - Franco Barbanera; Maribel Fernández (Theor. Comput. Sci., 1996)

"Classical" Programming-with-Proofs in lambdaPASym: An Analysis of Non-confluence. - Franco Barbanera; Stefano Berardi; Massimo Schivalocchi (TACS, 1997)

The Simply-Typed Theory of Beta-Conversion has no Maximum Extension. - Franco Barbanera; Stefano Berardi (Inf. Comput., 1997)

Modularity of Strong Normalization in the Algebraic-lambda-Cube. - Franco Barbanera; Maribel Fernández; Herman Geuvers (J. Funct. Program., 1997)

Types for trees. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Fer-Jan de Vries (PROCOMET, 1998)

Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule. - Steffen van Bakel; Franco Barbanera; Maribel Fernández (TYPES, 1999)

A Type Inference Algorithm for Secure Ambients. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ivano Salvo; Vladimiro Sassone (TOSCA, 2001)

Intersection types for lambda-trees. - Steffen van Bakel; Franco Barbanera; Mariangiola Dezani-Ciancaglini; Fer-Jan de Vries (Theor. Comput. Sci., 2002)

A Calculus of Bounded Capacities. - Franco Barbanera; Michele Bugliesi; Mariangiola Dezani-Ciancaglini; Vladimiro Sassone (ASIAN, 2003)

Tailoring Filter Models. - Fabio Alessi; Franco Barbanera; Mariangiola Dezani-Ciancaglini (TYPES, 2003)

Intersection Types and Computational Rules. - Fabio Alessi; Franco Barbanera; Mariangiola Dezani-Ciancaglini (WoLLIC, 2003)

Can addresses be types? (A case study: objects with delegation). - Christopher Anderson; Franco Barbanera; Mariangiola Dezani-Ciancaglini; Sophia Drossopoulou (WOOD, 2003)

Type Assignement for Mobile Objects. - Franco Barbanera; Ugo de'Liguoro (COMETA, 2003)

A full continuous model of polymorphism. - Franco Barbanera; Stefano Berardi (Theor. Comput. Sci., 2003)

Intersection types and lambda models. - Fabio Alessi; Franco Barbanera; Mariangiola Dezani-Ciancaglini (Theor. Comput. Sci., 2006)

Space-aware ambients and processes. - Franco Barbanera; Michele Bugliesi; Mariangiola Dezani-Ciancaglini; Vladimiro Sassone (Theor. Comput. Sci., 2007)

Typing Asymmetric Client-Server Interaction. - Franco Barbanera; Sara Capecchi; Ugo de'Liguoro (FSEN, 2009)

Two notions of sub-behaviour for session-based client/server systems. - Franco Barbanera; Ugo de'Liguoro (PPDP, 2010)

A Filter Model for the λμ-Calculus - (Extended Abstract). - Steffen van Bakel; Franco Barbanera; Ugo de'Liguoro (TLCA, 2011)

Characterisation of Strongly Normalising lambda-mu-Terms. - Steffen van Bakel; Franco Barbanera; Ugo de'Liguoro (ITRS, 2012)

Compliance for reversible client/server interactions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (BEAT, 2014)

Loosening the notions of compliance and sub-behaviour in client/server systems. - Franco Barbanera; Ugo de'Liguoro (ICE, 2014)

Orchestrated Session Compliance. - Franco Barbanera; Steffen van Bakel; Ugo de'Liguoro (ICE, 2015)

Retractable Contracts. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ivan Lanese; Ugo de'Liguoro (PLACES, 2015)

Sub-behaviour relations for session-based client/server systems. - Franco Barbanera; Ugo de'Liguoro (Math. Struct. Comput. Sci., 2015)

A Game Interpretation of Retractable Contracts. - Franco Barbanera; Ugo de'Liguoro (COORDINATION, 2016)

Reversible client/server interactions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (Formal Aspects Comput., 2016)

Retractable and Speculative Contracts. - Franco Barbanera; Ivan Lanese; Ugo de'Liguoro (COORDINATION, 2017)

Session Types for Orchestrated Interactions. - Franco Barbanera; Ugo de'Liguoro (ICE@DisCoTec, 2017)

Retractability, games and orchestrators for session contracts. - Franco Barbanera; Ugo de'Liguoro (Log. Methods Comput. Sci., 2017)

Global Types for Open Systems. - Franco Barbanera; Ugo de'Liguoro; Rolf Hennicker (ICE, 2018)

Intersection Types for the lambda-mu Calculus. - Steffen van Bakel; Franco Barbanera; Ugo de'Liguoro (Log. Methods Comput. Sci., 2018)

A theory of retractable and speculative contracts. - Franco Barbanera; Ivan Lanese; Ugo de'Liguoro (Sci. Comput. Program., 2018)

Open Multiparty Sessions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini (ICE, 2019)

Connecting open systems of communicating finite state machines. - Franco Barbanera; Ugo de'Liguoro; Rolf Hennicker (J. Log. Algebraic Methods Program., 2019)

Session types and subtyping for orchestrated interactions. - Franco Barbanera; Ugo de'Liguoro (J. Log. Algebraic Methods Program., 2019)

Choreography Automata. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (COORDINATION, 2020)

Composing Communicating Systems, Synchronously. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (ISoLA (1), 2020)

Two notions of sub-behaviour for session-based client/server systems: 10 Years Later. - Franco Barbanera; Ugo de'Liguoro (PPDP, 2020)

Corinne, a Tool for Choreography Automata. - Simone Orlando; Vairo Di Pasquale; Franco Barbanera; Ivan Lanese; Emilio Tuosto (FACS, 2021)

Composition of choreography automata. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (CoRR, 2021)

Composition and decomposition of multiparty sessions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ivan Lanese; Emilio Tuosto (J. Log. Algebraic Methods Program., 2021)

Formal Choreographic Languages. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (COORDINATION, 2022)

Open Compliance in Multiparty Sessions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (FACS, 2022)

On Formal Choreographic Modelling: A Case Study in EU Business Processes. - Alex Coto; Franco Barbanera; Ivan Lanese; Davide Rossi; Emilio Tuosto (ISoLA (1), 2022)

On Composing Communicating Systems. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (ICE, 2022)

Multicompatibility for Multiparty-Session Composition. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Lorenzo Gheri; Nobuko Yoshida (PPDP, 2023)

Partially Typed Multiparty Sessions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini (ICE, 2023)

Partial Typing for Asynchronous Multiparty Sessions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (DCM, 2023)

A Theory of Formal Choreographic Languages. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (Log. Methods Comput. Sci., 2023)

Composition of synchronous communicating systems. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (J. Log. Algebraic Methods Program., 2023)

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)

Asynchronous Multiparty Sessions with Internal Delegation - Dedicated to Rocco De Nicola on the Occasion of his 70th Birthday. - Franco Barbanera; Mariangiola Dezani-Ciancaglini (ISoLA (1), 2024)

Un-projectable Global Types for Multiparty Sessions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (PPDP, 2024)

Safe Composition of Systems of Communicating Finite State Machines. - Franco Barbanera; Rolf Hennicker (ICE, 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)

Modular Multiparty Sessions with Mixed Choice. - Franco Barbanera; Mariangiola Dezani-Ciancaglini (CoRR, 2025)