Franco Barbanera

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 30

Top Topics

Human Communication

Database Architectures

Principal Agent

Top Venues

J. Log. Algebraic Methods Program.

Publications

Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Betti Venneri
YACC: Yet Another Church Calculus - A Birthday Present for Herman Inspired by His Supervisor Activity. Logics and Type Systems in Theory and Practice (2024)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
A Theory of Formal Choreographic Languages. Log. Methods Comput. Sci. 19 (3) (2023)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Composition of synchronous communicating systems. J. Log. Algebraic Methods Program. 135 (2023)
Franco Barbanera, Mariangiola Dezani-Ciancaglini
Partially Typed Multiparty Sessions. CoRR (2023)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida
Multicompatibility for Multiparty-Session Composition. PPDP (2023)
Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto
On Formal Choreographic Modelling: A Case Study in EU Business Processes. ISoLA (1) (2022)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
A Theory of Formal Choreographic Languages. CoRR (2022)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
On Composing Communicating Systems. ICE (2022)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Open Compliance in Multiparty Sessions. FACS (2022)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Formal Choreographic Languages. COORDINATION (2022)
Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese, Emilio Tuosto
Corinne, a Tool for Choreography Automata. FACS (2021)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto
Composition and decomposition of multiparty sessions. J. Log. Algebraic Methods Program. 119 (2021)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Composition of choreography automata. CoRR (2021)
Franco Barbanera, Ugo de'Liguoro
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later. PPDP (2020)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Choreography Automata. COORDINATION (2020)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Composing Communicating Systems, Synchronously. ISoLA (1) (2020)
Franco Barbanera, Mariangiola Dezani-Ciancaglini
Open Multiparty Sessions. ICE (2019)
Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker
Connecting open systems of communicating finite state machines. J. Log. Algebraic Methods Program. 109 (2019)
Franco Barbanera, Ugo de'Liguoro
Session types and subtyping for orchestrated interactions. J. Log. Algebraic Methods Program. 102 (2019)
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
Intersection Types for the lambda-mu Calculus. Log. Methods Comput. Sci. 14 (1) (2018)
Franco Barbanera, Ivan Lanese, Ugo de'Liguoro
A theory of retractable and speculative contracts. Sci. Comput. Program. 167 (2018)
Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker
Global Types for Open Systems. ICE (2018)
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
Intersection Types for the lambda-mu Calculus. CoRR (2017)
Franco Barbanera, Ivan Lanese, Ugo de'Liguoro
Retractable and Speculative Contracts. COORDINATION (2017)
Franco Barbanera, Ugo de'Liguoro
Retractability, games and orchestrators for session contracts. CoRR (2017)
Franco Barbanera, Ugo de'Liguoro
Session Types for Orchestrated Interactions. ICE@DisCoTec (2017)
Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro
Orchestrated session compliance. J. Log. Algebraic Methods Program. 86 (1) (2017)
Franco Barbanera, Ugo de'Liguoro
Retractability, games and orchestrators for session contracts. Log. Methods Comput. Sci. 13 (3) (2017)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Reversible client/server interactions. Formal Aspects Comput. 28 (4) (2016)
Franco Barbanera, Ugo de'Liguoro
A Game Interpretation of Retractable Contracts. COORDINATION (2016)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo de'Liguoro
Retractable Contracts. PLACES (2015)
Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro
Orchestrated Session Compliance. ICE (2015)
Franco Barbanera, Ugo de'Liguoro
Sub-behaviour relations for session-based client/server systems. Math. Struct. Comput. Sci. 25 (6) (2015)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Compliance for reversible client/server interactions. BEAT (2014)
Franco Barbanera, Ugo de'Liguoro
Loosening the notions of compliance and sub-behaviour in client/server systems. ICE (2014)
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
Characterisation of Strongly Normalising lambda-mu-Terms. ITRS (2012)
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
-Calculus - (Extended Abstract). TLCA (2011)
Franco Barbanera, Ugo de'Liguoro
Two notions of sub-behaviour for session-based client/server systems. PPDP (2010)
Franco Barbanera, Sara Capecchi, Ugo de'Liguoro
Typing Asymmetric Client-Server Interaction. FSEN (2009)
Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
Space-aware ambients and processes. Theor. Comput. Sci. 373 (1-2) (2007)
Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
Intersection types and lambda models. Theor. Comput. Sci. 355 (2) (2006)
Franco Barbanera, Ugo de'Liguoro
Type Assignement for Mobile Objects. Electron. Notes Theor. Comput. Sci. 104 (2004)
Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
Intersection Types and Computational Rules. Electron. Notes Theor. Comput. Sci. 84 (2003)
Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
Tailoring Filter Models. TYPES (2003)
Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou
Can addresses be types? (A case study: objects with delegation). Electron. Notes Theor. Comput. Sci. 82 (7) (2003)
Franco Barbanera, Stefano Berardi
A full continuous model of polymorphism. Theor. Comput. Sci. 290 (1) (2003)
Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
A Calculus of Bounded Capacities. ASIAN (2003)
Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries
Intersection types for lambda-trees. Theor. Comput. Sci. 272 (1-2) (2002)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone
A Type Inference Algorithm for Secure Ambients. Electron. Notes Theor. Comput. Sci. 62 (2001)
Steffen van Bakel, Franco Barbanera, Maribel Fernández
-Rule. TYPES (1999)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries
Types for trees. PROCOMET (1998)
Franco Barbanera, Stefano Berardi, Massimo Schivalocchi
: An Analysis of Non-confluence. TACS (1997)
Franco Barbanera, Maribel Fernández, Herman Geuvers
Modularity of Strong Normalization in the Algebraic-lambda-Cube. J. Funct. Program. 7 (6) (1997)
Franco Barbanera, Stefano Berardi
The Simply-Typed Theory of Beta-Conversion has no Maximum Extension. Inf. Comput. 139 (1) (1997)
Franco Barbanera, Stefano Berardi
Proof-Irrelevance out of Exluded-Middle and Choice in the Calculus of Constructions. J. Funct. Program. 6 (3) (1996)
Franco Barbanera, Stefano Berardi
A Symmetric Lambda Calculus for Classical Program Extraction. Inf. Comput. 125 (2) (1996)
Steffen van Bakel, Franco Barbanera, Maribel Fernández
Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. ESOP (1996)
Franco Barbanera, Maribel Fernández
Intersection Type Assignment Systems with Higher-Order Algebraic Rewriting. Theor. Comput. Sci. 170 (1-2) (1996)
Franco Barbanera, Stefano Berardi
A Constructive Valuation Semantics for Classical Logic. Notre Dame J. Formal Log. 37 (3) (1996)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Intersection and Union Types: Syntax and Semantics Inf. Comput. 119 (2) (1995)
Franco Barbanera, Stefano Berardi
A Strong Normalization Result for Classical Logic. Ann. Pure Appl. Log. 76 (2) (1995)
Franco Barbanera, Simone Martini
Proof-functional connectives and realizability. Arch. Math. Log. 33 (3) (1994)
Franco Barbanera, Maribel Fernández, Herman Geuvers
Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube LICS (1994)
Franco Barbanera, Stefano Berardi
A Symmetric Lambda Calculus for "Classical" Program Extraction. TACS (1994)
Fabio Alessi, Franco Barbanera
Toward A Semantics for the Quest Language. RAIRO Theor. Informatics Appl. 28 (6) (1994)
Franco Barbanera, Maribel Fernández
Combining First and Higher Order Rewrite Systems with Type Assignment Systems. TLCA (1993)
Franco Barbanera, Maribel Fernández
Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega. ICALP (1993)
Franco Barbanera, Stefano Berardi
Extracting Constructive Content from Classical Logic via Control-like Reductions. TLCA (1993)
Franco Barbanera, Stefano Berardi
A Constructive Valuation Interpretation for Classical Logic and its Use in Witness Extraction. CAAP (1992)
Fabio Alessi, Franco Barbanera
Strong Conjunction and Intersection Types. MFCS (1991)
Franco Barbanera, Mariangiola Dezani-Ciancaglini
Intersection and Union Types. TACS (1991)
Fabio Alessi, Franco Barbanera
Towards a Semantics for the QUEST Language LICS (1991)
Franco Barbanera
Adding Algebraic Rewriting to the Calculus of Constructions: Strong Normalization Preserved. CTRS (1990)
Franco Barbanera
Combining Term Rewriting and Type Assignment Systems. Int. J. Found. Comput. Sci. 1 (3) (1990)