| 2024 | ISoLA | Asynchronous Multiparty Sessions with Internal Delegation - Dedicated to Rocco De Nicola on the Occasion of his 70th Birthday. | Franco Barbanera, Mariangiola Dezani-Ciancaglini |
| 2024 | PPDP | Un-projectable Global Types for Multiparty Sessions. | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
| 2023 | PPDP | Multicompatibility for Multiparty-Session Composition. | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida |
| 2022 | Coordination | Formal Choreographic Languages. | Franco Barbanera, Ivan Lanese, Emilio Tuosto |
| 2022 | ISoLA | On Formal Choreographic Modelling: A Case Study in EU Business Processes. | Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto |
| 2020 | Coordination | Choreography Automata. | Franco Barbanera, Ivan Lanese, Emilio Tuosto |
| 2020 | ISoLA | Composing Communicating Systems, Synchronously. | Franco Barbanera, Ivan Lanese, Emilio Tuosto |
| 2020 | PPDP | Two notions of sub-behaviour for session-based client/server systems: 10 Years Later. | Franco Barbanera, Ugo de'Liguoro |
| 2017 | Coordination | Retractable and Speculative Contracts. | Franco Barbanera, Ivan Lanese, Ugo de'Liguoro |
| 2016 | Coordination | A Game Interpretation of Retractable Contracts. | Franco Barbanera, Ugo de'Liguoro |
| 2010 | PPDP | Two notions of sub-behaviour for session-based client/server systems. | Franco Barbanera, Ugo de'Liguoro |
| 1996 | ESOP | Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. | Steffen van Bakel, Franco Barbanera, Maribel Fernndez |
| 1994 | LICS | Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube | Franco Barbanera, Maribel Fernndez, Herman Geuvers |
| 1993 | ICALP | Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega. | Franco Barbanera, Maribel Fernndez |
| 1991 | LICS | Towards a Semantics for the QUEST Language | Fabio Alessi, Franco Barbanera |
| 1991 | MFCS | Strong Conjunction and Intersection Types. | Fabio Alessi, Franco Barbanera |