Franco Barbanera

83 papers A* 3A 1B 1C 9Journal 34Unranked 35

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday. CoRR Thorsten Altenkirch, Franco Barbanera, Ferruccio Damiani, Ugo de'Liguoro
2026	J	`jnl`	Safe orchestrated multicomposition of systems of communicating finite state machines. J. Log. Algebraic Methods Program. Franco Barbanera, Rolf Hennicker
2025	—	`conf`	Modular Multiparty Sessions with Mixed Choice. ICE Franco Barbanera, Mariangiola Dezani-Ciancaglini
2025	J	`jnl`	Open compliance in multiparty sessions with partial typing. J. Log. Algebraic Methods Program. Franco Barbanera, Viviana Bono, Mariangiola Dezani-Ciancaglini
2025	J	`jnl`	Partially typed multiparty sessions with internal delegation. J. Log. Algebraic Methods Program. Franco Barbanera, Viviana Bono, Mariangiola Dezani-Ciancaglini
2024	—	`conf`	Asynchronous Multiparty Sessions with Internal Delegation - Dedicated to Rocco De Nicola on the Occasion of his 70th Birthday. ISoLA (1) Franco Barbanera, Mariangiola Dezani-Ciancaglini
2024	—	`conf`	Safe Composition of Systems of Communicating Finite State Machines. ICE Franco Barbanera, Rolf Hennicker
2024	C	`conf`	Un-projectable Global Types for Multiparty Sessions. PPDP Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2024	—	`conf`	YACC: Yet Another Church Calculus - A Birthday Present for Herman Inspired by His Supervisor Activity. Logics and Type Systems in Theory and Practice Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Betti Venneri
2023	J	`jnl`	A Theory of Formal Choreographic Languages. Log. Methods Comput. Sci. Franco Barbanera, Ivan Lanese, Emilio Tuosto
2023	J	`jnl`	Composition of synchronous communicating systems. J. Log. Algebraic Methods Program. Franco Barbanera, Ivan Lanese, Emilio Tuosto
2023	C	`conf`	Multicompatibility for Multiparty-Session Composition. PPDP Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida
2023	—	`conf`	Partial Typing for Asynchronous Multiparty Sessions. DCM Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2023	—	`conf`	Partially Typed Multiparty Sessions. ICE Franco Barbanera, Mariangiola Dezani-Ciancaglini
2022	J	`jnl`	A Theory of Formal Choreographic Languages. CoRR Franco Barbanera, Ivan Lanese, Emilio Tuosto
2022	C	`conf`	Formal Choreographic Languages. COORDINATION Franco Barbanera, Ivan Lanese, Emilio Tuosto
2022	—	`conf`	On Composing Communicating Systems. ICE Franco Barbanera, Ivan Lanese, Emilio Tuosto
2022	—	`conf`	On Formal Choreographic Modelling: A Case Study in EU Business Processes. ISoLA (1) Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto
2022	—	`conf`	Open Compliance in Multiparty Sessions. FACS Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2021	J	`jnl`	Composition and decomposition of multiparty sessions. J. Log. Algebraic Methods Program. Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto
2021	J	`jnl`	Composition of choreography automata. CoRR Franco Barbanera, Ivan Lanese, Emilio Tuosto
2021	—	`conf`	Corinne, a Tool for Choreography Automata. FACS Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese, Emilio Tuosto
2020	C	`conf`	Choreography Automata. COORDINATION Franco Barbanera, Ivan Lanese, Emilio Tuosto
2020	—	`conf`	Composing Communicating Systems, Synchronously. ISoLA (1) Franco Barbanera, Ivan Lanese, Emilio Tuosto
2020	C	`conf`	Two notions of sub-behaviour for session-based client/server systems: 10 Years Later. PPDP Franco Barbanera, Ugo de'Liguoro
2019	J	`jnl`	Connecting open systems of communicating finite state machines. J. Log. Algebraic Methods Program. Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker
2019	—	`conf`	Open Multiparty Sessions. ICE Franco Barbanera, Mariangiola Dezani-Ciancaglini
2019	J	`jnl`	Session types and subtyping for orchestrated interactions. J. Log. Algebraic Methods Program. Franco Barbanera, Ugo de'Liguoro
2018	J	`jnl`	A theory of retractable and speculative contracts. Sci. Comput. Program. Franco Barbanera, Ivan Lanese, Ugo de'Liguoro
2018	—	`conf`	Global Types for Open Systems. ICE Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker
2018	J	`jnl`	Intersection Types for the lambda-mu Calculus. Log. Methods Comput. Sci. Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
2017	J	`jnl`	Intersection Types for the lambda-mu Calculus. CoRR Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
2017	J	`jnl`	Orchestrated session compliance. J. Log. Algebraic Methods Program. Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro
2017	J	`jnl`	Retractability, games and orchestrators for session contracts. CoRR Franco Barbanera, Ugo de'Liguoro
2017	J	`jnl`	Retractability, games and orchestrators for session contracts. Log. Methods Comput. Sci. Franco Barbanera, Ugo de'Liguoro
2017	C	`conf`	Retractable and Speculative Contracts. COORDINATION Franco Barbanera, Ivan Lanese, Ugo de'Liguoro
2017	—	`conf`	Session Types for Orchestrated Interactions. ICE@DisCoTec Franco Barbanera, Ugo de'Liguoro
2016	C	`conf`	A Game Interpretation of Retractable Contracts. COORDINATION Franco Barbanera, Ugo de'Liguoro
2016	J	`jnl`	Reversible client/server interactions. Formal Aspects Comput. Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2015	—	`conf`	Orchestrated Session Compliance. ICE Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro
2015	—	`conf`	Retractable Contracts. PLACES Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo de'Liguoro
2015	J	`jnl`	Sub-behaviour relations for session-based client/server systems. Math. Struct. Comput. Sci. Franco Barbanera, Ugo de'Liguoro
2014	—	`conf`	Compliance for reversible client/server interactions. BEAT Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2014	—	`conf`	Loosening the notions of compliance and sub-behaviour in client/server systems. ICE Franco Barbanera, Ugo de'Liguoro
2012	—	`conf`	Characterisation of Strongly Normalising lambda-mu-Terms. ITRS Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
2011	—	`conf`	A Filter Model for the TLCA Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
2010	C	`conf`	Two notions of sub-behaviour for session-based client/server systems. PPDP Franco Barbanera, Ugo de'Liguoro
2009	—	`conf`	Typing Asymmetric Client-Server Interaction. FSEN Franco Barbanera, Sara Capecchi, Ugo de'Liguoro
2007	J	`jnl`	Space-aware ambients and processes. Theor. Comput. Sci. Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
2006	J	`jnl`	Intersection types and lambda models. Theor. Comput. Sci. Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
2003	—	`conf`	A Calculus of Bounded Capacities. ASIAN Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
2003	J	`jnl`	A full continuous model of polymorphism. Theor. Comput. Sci. Franco Barbanera, Stefano Berardi
2003	—	`conf`	Can addresses be types? (A case study: objects with delegation). WOOD Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou
2003	C	`conf`	Intersection Types and Computational Rules. WoLLIC Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
2003	—	`conf`	Tailoring Filter Models. TYPES Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
2003	—	`conf`	Type Assignement for Mobile Objects. COMETA Franco Barbanera, Ugo de'Liguoro
2002	J	`jnl`	Intersection types for lambda-trees. Theor. Comput. Sci. Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries
2001	—	`conf`	A Type Inference Algorithm for Secure Ambients. TOSCA Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone
1999	—	`conf`	Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and TYPES Steffen van Bakel, Franco Barbanera, Maribel Fernández
1998	—	`conf`	Types for trees. PROCOMET Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries
1997	—	`conf`	"Classical" Programming-with-Proofs in lambda TACS Franco Barbanera, Stefano Berardi, Massimo Schivalocchi
1997	J	`jnl`	Modularity of Strong Normalization in the Algebraic-lambda-Cube. J. Funct. Program. Franco Barbanera, Maribel Fernández, Herman Geuvers
1997	J	`jnl`	The Simply-Typed Theory of Beta-Conversion has no Maximum Extension. Inf. Comput. Franco Barbanera, Stefano Berardi
1996	J	`jnl`	A Constructive Valuation Semantics for Classical Logic. Notre Dame J. Formal Log. Franco Barbanera, Stefano Berardi
1996	J	`jnl`	A Symmetric Lambda Calculus for Classical Program Extraction. Inf. Comput. Franco Barbanera, Stefano Berardi
1996	J	`jnl`	Intersection Type Assignment Systems with Higher-Order Algebraic Rewriting. Theor. Comput. Sci. Franco Barbanera, Maribel Fernández
1996	J	`jnl`	Proof-Irrelevance out of Exluded-Middle and Choice in the Calculus of Constructions. J. Funct. Program. Franco Barbanera, Stefano Berardi
1996	A	`conf`	Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. ESOP Steffen van Bakel, Franco Barbanera, Maribel Fernández
1995	J	`jnl`	A Strong Normalization Result for Classical Logic. Ann. Pure Appl. Log. Franco Barbanera, Stefano Berardi
1995	J	`jnl`	Intersection and Union Types: Syntax and Semantics Inf. Comput. Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
1994	—	`conf`	A Symmetric Lambda Calculus for "Classical" Program Extraction. TACS Franco Barbanera, Stefano Berardi
1994	A*	`conf`	Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube LICS Franco Barbanera, Maribel Fernández, Herman Geuvers
1994	J	`jnl`	Proof-functional connectives and realizability. Arch. Math. Log. Franco Barbanera, Simone Martini
1994	J	`jnl`	Toward A Semantics for the Quest Language. RAIRO Theor. Informatics Appl. Fabio Alessi, Franco Barbanera
1993	—	`conf`	Combining First and Higher Order Rewrite Systems with Type Assignment Systems. TLCA Franco Barbanera, Maribel Fernández
1993	—	`conf`	Extracting Constructive Content from Classical Logic via Control-like Reductions. TLCA Franco Barbanera, Stefano Berardi
1993	A*	`conf`	Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega. ICALP Franco Barbanera, Maribel Fernández
1992	—	`conf`	A Constructive Valuation Interpretation for Classical Logic and its Use in Witness Extraction. CAAP Franco Barbanera, Stefano Berardi
1991	—	`conf`	Intersection and Union Types. TACS Franco Barbanera, Mariangiola Dezani-Ciancaglini
1991	B	`conf`	Strong Conjunction and Intersection Types. MFCS Fabio Alessi, Franco Barbanera
1991	A*	`conf`	Towards a Semantics for the QUEST Language LICS Fabio Alessi, Franco Barbanera
1990	—	`conf`	Adding Algebraic Rewriting to the Calculus of Constructions: Strong Normalization Preserved. CTRS Franco Barbanera
1990	J	`jnl`	Combining Term Rewriting and Type Assignment Systems. Int. J. Found. Comput. Sci. Franco Barbanera