Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 
Mariangiola Dezani-Ciancaglini
Personal Home Page      Type-Hierarchical Overview
 
Chronological Overview 

2022
Barbanera, Dezani-Ciancaglini and De'Liguoro"Open compliance in multiparty sessions"
In proceedings.
Castellani, Dezani-Ciancaglini and Giannini"Asynchronous Sessions with Input Races"
In proceedings.

2021
Barbanera, Dezani-Ciancaglini, Lanese and Tuosto"Composition and decomposition of multiparty sessions"
Article.
Dagnino, Giannini and Dezani-Ciancaglini"Deconfined Global Types for Asynchronous Sessions"
In proceedings.

2020
Böhm, Böhm, Böhm, Dezani-Ciancaglini, Manfredini and Böhm"Corrado Böhm: the lambda-adventure"
In a collection.
Bono and Dezani-Ciancaglini"A tale of intersection types"
In proceedings.
Castellani, Dezani-Ciancaglini, Giannini and Horne"Global Types with Internal Delegation"
Article.
Dagnino, Bono, Zucca and Dezani-Ciancaglini"Soundness conditions for big-step semantics"
In proceedings.
Dezani-Ciancaglini, Giannini and Venneri"Deconfined Intersection Types in Java"
In proceedings.

2019
Barbanera and Dezani-Ciancaglini"Open Multiparty Sessions"
In proceedings.
Castagna, Dezani-Ciancaglini, Giachino and Padovani"Foundations of Session Types: 10 Years Later"
In proceedings.
Castellani, Dezani-Ciancaglini and Giannini"Event Structure Semantics for Multiparty Sessions"
In proceedings.
Castellani, Dezani-Ciancaglini and Giannini"Reversible Sessions with Flexible Choices"
Article.
Severi and Dezani-Ciancaglini"Observational Equivalence for Multiparty Sessions"
Article.

2018
Bettini, Bono, Dezani-Ciancaglini, Giannini and Venneri"Java & Lambda: a Featherweight Story"
Article.
Dezani-Ciancaglini, Giannini and Venneri"Intersection Types in Java: back to the future"
In proceedings.

2017
Bono, Coppo, Dezani-Ciancaglini and Venneri"Data-driven Adaptation for Smart Sessions"
Article.
Castellani, Dezani-Ciancaglini and Giannini"Concurrent Reversible Sessions"
In proceedings.
Chen, Dezani-Ciancaglini, Scalas and Yoshida"On the Preciseness of Subtyping in Session Types"
Article.
Coppo, Dezani-Ciancaglini, Margaria and Zacchi"Isomorphism of Intersection and Union Types"
Article.
Coppo, Dezani-Ciancaglini, Díaz-Caro, Margaria and Zacchi"Retractions in Intersection Types"
In proceedings.
Dezani-Ciancaglini and Venneri"Lambda Calcolo"
Article.
Severi, Padovani, Tuosto and Dezani-Ciancaglini"On Sessions and Infinite Data"
Article.

2016
Aceto, Dezani-Ciancaglini, Gurevich, Harel, Henzinger, Italiano, Smolka, Spirakis and Thomas"EATCS Fellows' Advice to the Young Theoretical Computer Scientist"
Article.
Barbanera, Dezani-Ciancaglini, Lanese and de' Liguoro"Retractable Contracts"
In proceedings: PLACES'15.
Barbanera, Dezani-Ciancaglini and de' Liguoro"Reversible client/server interactions"
Article: Formal Aspects of Computing.
Capecchi, Castellani and Dezani-Ciancaglini"Information Flow Safety in Multiparty Sessions"
Article.
Castellani, Dezani-Ciancaglini and de' Liguoro"Secure Multiparty Sessions with Topics"
In proceedings.
Castellani, Dezani-Ciancaglini and Pérez"Self-Adaptation and Secure Information Flow in Multiparty Communications"
Article.
Coppo, Dezani-Ciancaglini, Yoshida and Padovani"Global Progress for Dynamically Interleaved Multiparty Sessions"
Article.
Coppo, Dezani-Ciancaglini and Venneri"Parallel Monitors for Self-adaptive Sessions"
In proceedings.
Coppo, Dezani-Ciancaglini, Margaria and Zacchi"Partial and Complete Processes in Multiparty Sessions"
In proceedings.
Dezani-Ciancaglini, Ghilezan, Jaksic, Pantovic and Yoshida"Denotational and Operational Preciseness of Subtyping: A Roadmap"
In proceedings.
Dezani-Ciancaglini, Ghilezan, Jaksic, Pantovic and Yoshida"Precise subtyping for synchronous multiparty sessions"
In proceedings.
Dezani-Ciancaglini and Giannini"Reversible Multiparty Sessions with Checkpoints"
In proceedings.
Severi, Padovani, Tuosto and Dezani-Ciancaglini"On Sessions and Infinite Data"
In proceedings.

2015
Bartoletti, Castellani, Deniélou, Dezani-Ciancaglini, Ghilezan, Pantovic, Pérez, Thiemann, Toninho and Vieira"Combining behavioural types with security analysis "
Article.
Coppo, Dezani-Ciancaglini, Padovani and Yoshida"A Gentle Introduction to Multiparty Asynchronous Session Types"
In proceedings.
Coppo, Dezani-Ciancaglini, Margaria and Zacchi"On Isomorphism of ``Functional'' Intersection and Union Types"
In proceedings.
Coppo, Dezani-Ciancaglini and Venneri"Self-Adaptive Multiparty Sessions"
Article.

2014
Barbanera, Dezani-Ciancaglini and de' Liguoro"Compliance for reversible client/server interactions"
In proceedings: BEAT'14.
Capecchi, Castellani and Dezani-Ciancaglini"Typing Access Control and Secure Information Flow in Sessions"
Article.
Castellani, Dezani-Ciancaglini and Pérez"Self-Adaptation and Secure Information Flow in Multiparty Structured Communications"
In proceedings.
Chen, Dezani-Ciancaglini and Yoshida"On the Preciseness of Subtyping in Session Types"
In proceedings.
Coppo, Dezani-Ciancaglini, Margaria and Zacchi"Isomorphism of "Functional" Intersection Types"
In proceedings.
Coppo, Dezani-Ciancaglini and Venneri"Self-Adaptive Monitors for Multiparty Sessions"
In proceedings.
Dezani-Ciancaglini and Ghilezan"Preciseness of Subtyping on Intersection and Union Types"
In proceedings.
Dezani-Ciancaglini, Padovani and Pantovic"Session Type Isomorphisms"
In proceedings.

2013
Alessi, Barendregt, Dekkers, Dezani-Ciancaglini, Honsell, Severi and Statman"Intersection Types"
In a collection.
Bettini, Capecchi, Dezani-Ciancaglini, Giachino and Venneri" Deriving Session and Union Types for Objects "
Article.
Bioglio, Dezani-Ciancaglini, Giannini and Troina"Type Directed Semantics for the Calculus of Looping Sequences"
Article.
Coppo, Dezani-Ciancaglini, Padovani and Yoshida"Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions"
In proceedings.
Coppo, Dezani-Ciancaglini, Margaria and Zacchi"Towards Isomorphism of Intersection and Union Types"
In proceedings.

2012
Bioglio, Dezani-Ciancaglini, Giannini and Troina"A Calculus of Looping Sequences with Local Rules"
In proceedings.
Bioglio, Dezani-Ciancaglini, Giannini and Troina"Typed Stochastic Semantics for the Calculus of Looping Sequences"
Article.
Bono, Capecchi, Castellani and Dezani-Ciancaglini" A Reputation System for Multirole Sessions"
In proceedings.
Buscemi, Coppo, Dezani-Ciancaglini and Montanari"Constraints for Service Contracts"
In proceedings.
Castagna, Dezani-Ciancaglini and Padovani"On Global Types and Multi-Party Sessions"
Article.
Compagnoni, Dezani-Ciancaglini, Giannini, Sauer, Sharma and Troina"Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions"
In proceedings.
Dezani-Ciancaglini, Horne and Sassone"Tracing where and who provenance in Linked Data: a calculus"
Article.
Ghilezan, Jaksic, Pantovic and Dezani-Ciancaglini"Types and Roles for Web Security"
Article.

2011
Capecchi, Castellani and Dezani-Ciancaglini"Information Flow Safety in Multiparty Sessions"
In proceedings.
Castagna, Dezani-Ciancaglini and Padovani"On Global Types and Multi-Party Sessions"
In proceedings.
Dezani-Ciancaglini, Giannini and Zucca"Extending the lambda-calculus with unbind and rebind"
Article.
Dezani-Ciancaglini, Giannini and Zucca"Intersection Types for Unbind and Rebind"
In proceedings.
Dezani-Ciancaglini, Ghilezan, Jakšic and Pantovic"Types for Role-Based Access Control of Dynamic Web Data"
In proceedings.

2010
Barbuti, Dezani-Ciancaglini, Maggiolo-Schettini, Milazzo and Troina"A Formalism for the Description of Protein Interaction"
Article.
Capecchi, Castellani, Dezani-Ciancaglini and Rezk"Session Types for Access and Information Flow Control"
In proceedings.
Dezani-Ciancaglini, Di Cosmo, Giovannetti and Tatsuta"On Isomorphisms of Intersection Types"
Article.
Dezani-Ciancaglini and de' Liguoro"Sessions and Session Types: an Overview"
In proceedings: WS-FM'09.
Summers, Cameron, Dezani-Ciancaglini and Drossopoulou"Towards a Semantic Model for Java Wildcards"
In proceedings.

2009
Aman, Dezani-Ciancaglini and Troina"Type Disciplines for Analysing Biologically Relevant Properties"
In proceedings.
Capecchi, Coppo, Dezani-Ciancaglini, Drossopoulou and Giachino"Amalgamating Sessions and Methods in Object Oriented Languages with Generics"
Article.
Castagna, Dezani-Ciancaglini, Giachino and Padovani"Foundations of Session Types"
In proceedings.
Coppo and Dezani-Ciancaglini"Structured Communications with Concurrent Constraints"
In proceedings.
Dezani-Ciancaglini, Giannini and Troina"A Type System for Required/Excluded Elements in CLS"
In proceedings.
Dezani-Ciancaglini, Giannini and Troina"A Type System for a Stochastic CLS"
In proceedings.
Dezani-Ciancaglini, Giannini and Ronchi Della Rocca"Intersection, Universally Quantified, and Reference Types"
In proceedings.
Dezani-Ciancaglini and Hindley"Lambda-Calculus"
Book part.
Dezani-Ciancaglini, Drossopoulou, Mostrous and Yoshida"Objects and Session Types"
Article.
Dezani-Ciancaglini, Giannini and Zucca"The Essence of Static and Dynamic Bindings"
In proceedings.
Guerrini, Piperno and Dezani-Ciancaglini"Bohm's Theorem"
Book part.

2008
Bettini, Coppo, D'Antoni, De Luca, Dezani-Ciancaglini and Yoshida"Global Progress in Dynamically Interleaved Multiparty Sessions"
In proceedings.
Bettini, Capecchi, Dezani-Ciancaglini, Giachino and Venneri"Session and Union Types for Object Oriented Programming"
In proceedings.
Coppo, Dezani-Ciancaglini and Giovannetti"Types for Ambient and Process Mobility"
Article.
Dezani-Ciancaglini, Giannini and Nierstrasz"A Calculus of Evolving Objects"
In proceedings.
Dezani-Ciancaglini, Giannini and Nierstrasz"A Calculus of Evolving Objects"
Article.
Dezani-Ciancaglini, Di Cosmo, Giovannetti and Tatsuta"On Isomorphisms of Intersection Types"
In proceedings.
Dezani-Ciancaglini, de' Liguoro and Yoshida"On Progress for Structured Communications"
In proceedings: TGC'07.
Dezani-Ciancaglini, Ghilezan, Pantovic and Varacca"Security Types for Dynamic Web Data"
Article.

2007
Barbanera, Bugliesi, Dezani-Ciancaglini and Sassone"Space-Aware Ambients and Processes"
Article.
Coppo, Dezani-Ciancaglini and Yoshida"Asynchronous Session Types and Progress for Object-Oriented Languages"
In proceedings.
Dezani-Ciancaglini and Tatsuta"A Behavioural Model for Klop's Calculus"
In proceedings.
Dezani-Ciancaglini, Drossopoulou, Giachino and Yoshida"Bounded Session Types for Object-Oriented Languages"
In proceedings.
Dezani-Ciancaglini and Ronchi Della Rocca"Intersection and Reference Types"
In proceedings.
Dezani-Ciancaglini, Ghilezan and Pantovic"Security Types for Dynamic Web Data"
In proceedings.
Drossopoulou, Dezani-Ciancaglini and Coppo"Amalgamating the Session Types and the Object Oriented Programming Paradigms"
In proceedings.
Garralda, Bonelli, Compagnoni and Dezani-Ciancaglini"Boxed Ambients with Communication Interfaces"
Article.

2006
Alessi, Barbanera and Dezani-Ciancaglini"Intersection Types and Lambda Models"
Article.
Castagna, Dezani-Ciancaglini and Varacca"Encoding CDuce in the Cpi-calculus"
In proceedings.
Dezani-Ciancaglini, Mostrous, Yoshida and Drossopoulou"Session Types for Object-Oriented Languages"
In proceedings.
Garralda, Compagnoni and Dezani-Ciancaglini"BASS: Boxed Ambients with Safe Sessions"
In proceedings.
Tatsuta and Dezani-Ciancaglini"Normalisation is Insensible to Lambda-term Identity or Difference"
In proceedings.

2005
Alessi and Dezani-Ciancaglini"Type Preorders and Recursive Terms"
In proceedings.
Coppo, Cozzi, Dezani-Ciancaglini, Giovannetti and Pugliese"A Mobility Calculus with Local and Dependent Types"
In proceedings.
Dezani-Ciancaglini, Yoshida, Ahern and Drossopoulou"Ldoos: a Distributed Object-Oriented language with Session types"
In proceedings.
Dezani-Ciancaglini, Honsell and Motohama"Compositional Characterization of λ-terms using Intersection Types"
Article.

2004
Alessi, Dezani-Ciancaglini and Lusin"Intersection Types and Domain Operators"
Article.
Alessi, Dezani-Ciancaglini and Honsell"Inverse Limit Models as Filter Models"
In proceedings.
Alessi, Barbanera and Dezani-Ciancaglini"Tailoring Filter Models"
In proceedings.
Bonelli, Compagnoni, Dezani-Ciancaglini and Garralda"Boxed Ambients with Communication Interfaces"
In proceedings.
Coppo, Dezani-Ciancaglini, Giovannetti and Pugliese"Dynamic and Local Typing for Mobile Ambients"
In proceedings.
Damiani, Dezani-Ciancaglini and Giannini"On Re-classification and Multithreading"
Article: Journal of Objectc Technology (www.jot.fm), 3(11):5-30.
Damiani, Dezani-Ciancaglini and Giannini"Re-classification and Multithreading: FickleMT"
In proceedings: OOPS track at SAC'04, volume 2, pages 1297-1304, ACM.
Dezani-Ciancaglini, Ghilezan and Likavec"Behavioural Inverse Limit Models"
Article.
Lengrand, Lescanne, Dougherty, Dezani-Ciancaglini and van Bakel"Intersection Types for Explicit Substitutions"
Article.

2003
Alessi, Barbanera and Dezani-Ciancaglini"Types and Computational Rules"
In proceedings.
Anderson, Barbanera and Dezani-Ciancaglini"Alias and Union Types for Delegation"
Article.
Anderson, Barbanera, Dezani-Ciancaglini and Drossopoulou"Can Addresses be Types? (a case study: Objects with Delegation)"
In proceedings.
Barbanera, Bugliesi, Dezani-Ciancaglini and Sassone"A Calculus of Bounded Capacities"
In proceedings.
Coppo, Dezani-Ciancaglini, Giovannetti and Salvo"M3: Mobility Types for Mobile Processes in Mobile Ambients"
In proceedings.
Dezani-Ciancaglini, Honsell and Alessi"A Complete Characterization of Complete Intersection-Type Preorders"
Article.
Dezani-Ciancaglini, Severi and de Vries"Infinitary Lambda Calculus and Discrimination of Berarducci Trees"
Article.
Dezani-Ciancaglini and Ghilezan"Lambda Models Characterizing Computational Behaviours of Terms"
Article.
Dezani-Ciancaglini and Ghilezan"Two Behavioural Lambda Models"
In proceedings.

2002
van Bakel and Dezani-Ciancaglini"Characterising Strong Normalisation for Explicit Substitutions"
In proceedings.
van Bakel, Barbanera, Dezani-Ciancaglini and de Vries"Intersection Types for Lambda-Trees"
Article.
Barbanera, Dezani-Ciancaglini, Salvo and Sassone"A Type Inference Algorithm for Secure Ambients"
In proceedings.
Coppo and Dezani-Ciancaglini"A Fully Abstract Model for Higher-Order Mobile Ambients"
In proceedings.
Coppo and Dezani-Ciancaglini"A Fully Abstract Model for Mobile Ambients"
In proceedings.
Dezani-Ciancaglini and Lusin"Intersection Types and Lambda Theories"
In proceedings.
Dezani-Ciancaglini, Frisch, Giovannetti and Motohama"The Relevance of Semantic Subtyping"
In proceedings.
Dezani-Ciancaglini, Meyer and Motohama"The Semantics of Entailment Omega"
Article.
Drossopoulou, Damiani, Dezani-Ciancaglini and Giannini"More Dynamic Object Re-classification: FickleII"
Article: ACM Transactions On Programming Languages and Systems, 24(2):153-191.

2001
Alessi, Dezani-Ciancaglini and Honsell"Filter Models and Easy Terms"
In proceedings.
Dezani-Ciancaglini and Ghilezan"A Lambda Model Characterizing Computational Behaviours of Terms"
In proceedings.
Dezani-Ciancaglini, Honsell and Motohama"Approximation Theorems for Intersection Type Systems"
Article.
Dezani-Ciancaglini and Giovannetti"From Böhm's Theorem to Observational Equivalences: an Informal Account"
In proceedings.
Drossopoulou, Damiani, Dezani-Ciancaglini and Giannini"Fickle: Dynamic object re-classification"
In proceedings: electronic proceedings of Workshop FOOL8 (http://www.cs.williams.edu/ kim/FOOL/).
Drossopoulou, Damiani, Dezani-Ciancaglini and Giannini"Fickle: Dynamic object re-classification"
In proceedings: ECOOP'01, LNCS 2072, pages 130-149, Springer.

2000
van Bakel, Dezani-Ciancaglini, de' Liguoro and Motohama"The Minimal Relevant Logic and the Call-by-Value Lambda Calculus"
Technical report.
Dezani-Ciancaglini, Honsell and Alessi"A Complete Characterization of Complete Intersection-Type Theories"
In proceedings.
Dezani-Ciancaglini, Severi and de Vries"Böhm's Theorem for Berarducci Trees"
In proceedings.
Dezani-Ciancaglini, Honsell and Motohama"Compositional Characterization of Lambda-terms using Intersection Types (Extended abstract)"
In proceedings.
Dezani-Ciancaglini and Salvo"Security Types for Safe Mobile Ambients"
In proceedings.

1999
Berarducci and Dezani-Ciancaglini"Infinite Lambda-calculus and Types"
Article.
Bono, Bugliesi, Dezani-Ciancaglini and Liquori"A Subtyping for Extensible, Incomplete Objects"
Article.
Damiani, Dezani-Ciancaglini and Giannini"A Filter Model for Mobile Processes"
Article: Mathematical Structures in Computer Science, 9(1):63-101.
Dezani-Ciancaglini, Tiuryn and Urzyczyn"Discrimination by Parallel Observers: the Algorithm"
Article.

1998
Barbanera, Dezani-Ciancaglini and de Vries"Types for Trees"
In proceedings.
Dezani-Ciancaglini, de' Liguoro and Piperno"A Filter Model for Concurrent Lambda-Calculus"
Article: Siam Journal on Computing.
Dezani-Ciancaglini, Intrigila and Venturini-Zilli"Böhm's Theorem for Böhm Trees"
In proceedings.
Dezani-Ciancaglini, Giovannetti and de' Liguoro"Intersection Types, Lambda-models and Böhm Trees"
In a collection: Mathematical Society of Japan.

1997
Alessi, Dezani-Ciancaglini and de' Liguoro"A Convex Powerdomain over Lattices: its Logic and λ-Calculus"
Article: Fundamenta Informaticae.
Aoun, Barbanera, Dezani-Ciancaglini and Mirasyedioglu"Principal Typing for Parallel and non-Deterministic Lambda Calculus"
Article.
Bono, Bugliesi, Dezani-Ciancaglini and Liquori"Subtyping Constraints for Incomplete Objects"
In proceedings.
Dezani-Ciancaglini, Tiuryn and Urzyczyn"Discrimination by Parallel Observers"
In proceedings.

1996
Dezani-Ciancaglini, de' Liguoro and Piperno"Filter Models for Conjunctive-Disjunctive Lambda-Calculi"
Article: Theoretical Computer Science.
Dezani-Ciancaglini"Logical Semantics for Concurrent Lambda-Calculus"
PhD thesis.

1995
Barbanera, Dezani-Ciancaglini and de' Liguoro"Intersection and Union Types: Syntax and Semantics"
Article: Information and Computation.

1994
Cardone, Dezani-Ciancaglini and de' Liguoro"Combining Type Disciplines"
Article: Annals of Pure and Applied Logic.
Dezani-Ciancaglini, de' Liguoro and Piperno"Fully Abstract Semantics for Concurrent Lambda-calculus"
In proceedings: TACS '94.

1984
Coppo, Dezani-Ciancaglini, Honsell and Longo"Extended Type Structures and Filter Lambda Models"
In proceedings.

1983
Barendregt, Coppo and Dezani-Ciancaglini"A Filter Lambda Model and the Completeness of Type Assignment"
Article.

1981
Coppo, Dezani-Ciancaglini and Venneri"Functional Characters of Solvable Terms"
Article.

1980
Coppo, Dezani-Ciancaglini and Venneri"Principal Type Schemes and Lambda-calculus Semantics"
In a collection.

1978
Coppo, Dezani-Ciancaglini and Ronchi Della Rocca"Semi-Separability of Finite Sets of Terms in Scott's D∞-models of λ-calculus"
In proceedings.
 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!