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 

2012
Bettini, Capecchi, Dezani-Ciancaglini, Giachino and Venneri" Deriving Session and Union Types for Objects "
Article.
Bioglio, Dezani-Ciancaglini, Giannini and Troina"A Calculus of Looping Sequences with Local Rules"
In proceedings.
Bioglio, Dezani-Ciancaglini, Giannini and Troina"Type Directed Semantics for the Calculus of Looping Sequences"
Article.
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.
Dezani-Ciancaglini, Horne and Sassone"Tracing where and who provenance in Linked Data: a calculus"
Miscellaneous document.
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.
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.
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.
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.

1997
Alessi, Dezani-Ciancaglini and de' Liguoro"A Convex Powerdomain over Lattices: its Logic and λ-Calculus"
Article.
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.
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.

1994
Cardone, Dezani-Ciancaglini and de' Liguoro"Combining Type Disciplines"
Article.
Dezani-Ciancaglini, de' Liguoro and Piperno"Fully Abstract Semantics for Concurrent Lambda-calculus"
In proceedings.

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.

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!