Bibliography of "Formal Methods in Computing"

Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)

Mariangiola Dezani-Ciancaglini
Personal Home Page Chronological Overview
Type-Hierarchical Overview

Articles
- (2012) Ghilezan, Jaksic, Pantovic and Dezani-Ciancaglini
  "Types and Roles for Web Security"
- (2012) Bioglio, Dezani-Ciancaglini, Giannini and Troina
  "Typed Stochastic Semantics for the Calculus of Looping Sequences"
- (2012) Bioglio, Dezani-Ciancaglini, Giannini and Troina
  "Type Directed Semantics for the Calculus of Looping Sequences"
- (2012) Bettini, Capecchi, Dezani-Ciancaglini, Giachino and Venneri
  " Deriving Session and Union Types for Objects "
- (2011) Dezani-Ciancaglini, Giannini and Zucca
  "Extending the lambda-calculus with unbind and rebind"
- (2010) Dezani-Ciancaglini, Di Cosmo, Giovannetti and Tatsuta
  "On Isomorphisms of Intersection Types"
- (2010) Barbuti, Dezani-Ciancaglini, Maggiolo-Schettini, Milazzo and Troina
  "A Formalism for the Description of Protein Interaction"
- (2009) Dezani-Ciancaglini, Drossopoulou, Mostrous and Yoshida
  "Objects and Session Types"
- (2009) Capecchi, Coppo, Dezani-Ciancaglini, Drossopoulou and Giachino
  "Amalgamating Sessions and Methods in Object Oriented Languages with Generics"
- (2008) Dezani-Ciancaglini, Giannini and Nierstrasz
  "A Calculus of Evolving Objects"
- (2008) Dezani-Ciancaglini, Ghilezan, Pantovic and Varacca
  "Security Types for Dynamic Web Data"
- (2008) Coppo, Dezani-Ciancaglini and Giovannetti
  "Types for Ambient and Process Mobility"
- (2007) Garralda, Bonelli, Compagnoni and Dezani-Ciancaglini
  "Boxed Ambients with Communication Interfaces"
- (2007) Barbanera, Bugliesi, Dezani-Ciancaglini and Sassone
  "Space-Aware Ambients and Processes"
- (2006) Alessi, Barbanera and Dezani-Ciancaglini
  "Intersection Types and Lambda Models"
- (2005) Dezani-Ciancaglini, Honsell and Motohama
  "Compositional Characterization of $λ$ -terms using Intersection Types"
- (2004) Lengrand, Lescanne, Dougherty, Dezani-Ciancaglini and van Bakel
  "Intersection Types for Explicit Substitutions"
- (2004) Dezani-Ciancaglini, Ghilezan and Likavec
  "Behavioural Inverse Limit Models"
- (2004) Damiani, Dezani-Ciancaglini and Giannini
  "On Re-classification and Multithreading"
- (2004) Alessi, Dezani-Ciancaglini and Lusin
  "Intersection Types and Domain Operators"
- (2003) Dezani-Ciancaglini, Severi and de Vries
  "Infinitary Lambda Calculus and Discrimination of Berarducci Trees"
- (2003) Dezani-Ciancaglini, Honsell and Alessi
  "A Complete Characterization of Complete Intersection-Type Preorders"
- (2003) Dezani-Ciancaglini and Ghilezan
  "Lambda Models Characterizing Computational Behaviours of Terms"
- (2003) Anderson, Barbanera and Dezani-Ciancaglini
  "Alias and Union Types for Delegation"
- (2002) van Bakel, Barbanera, Dezani-Ciancaglini and de Vries
  "Intersection Types for Lambda-Trees"
- (2002) Drossopoulou, Damiani, Dezani-Ciancaglini and Giannini
  "More Dynamic Object Re-classification: Fickle_II"
- (2002) Dezani-Ciancaglini, Meyer and Motohama
  "The Semantics of Entailment Omega"
- (2001) Dezani-Ciancaglini, Honsell and Motohama
  "Approximation Theorems for Intersection Type Systems"
- (1999) Dezani-Ciancaglini, Tiuryn and Urzyczyn
  "Discrimination by Parallel Observers: the Algorithm"
- (1999) Damiani, Dezani-Ciancaglini and Giannini
  "A Filter Model for Mobile Processes"
- (1999) Bono, Bugliesi, Dezani-Ciancaglini and Liquori
  "A Subtyping for Extensible, Incomplete Objects"
- (1999) Berarducci and Dezani-Ciancaglini
  "Infinite Lambda-calculus and Types"
- (1998) Dezani-Ciancaglini, de' Liguoro and Piperno
  "A Filter Model for Concurrent Lambda-Calculus"
- (1997) Aoun, Barbanera, Dezani-Ciancaglini and Mirasyedioglu
  "Principal Typing for Parallel and non-Deterministic Lambda Calculus"
- (1997) Alessi, Dezani-Ciancaglini and de' Liguoro
  "A Convex Powerdomain over Lattices: its Logic and $λ$ -Calculus"
- (1996) Dezani-Ciancaglini, de' Liguoro and Piperno
  "Filter Models for Conjunctive-Disjunctive Lambda-Calculi"
- (1995) Barbanera, Dezani-Ciancaglini and de' Liguoro
  "Intersection and Union Types: Syntax and Semantics"
- (1994) Cardone, Dezani-Ciancaglini and de' Liguoro
  "Combining Type Disciplines"
- (1983) Barendregt, Coppo and Dezani-Ciancaglini
  "A Filter Lambda Model and the Completeness of Type Assignment"
Book parts
- (2009) Guerrini, Piperno and Dezani-Ciancaglini
  "Bohm's Theorem"
- (2009) Dezani-Ciancaglini and Hindley
  "Lambda-Calculus"
In a collection
- (1998) Dezani-Ciancaglini, Giovannetti and de' Liguoro
  "Intersection Types, Lambda-models and Böhm Trees"
In proceedings
- (2012) Buscemi, Coppo, Dezani-Ciancaglini and Montanari
  "Constraints for Service Contracts"
- (2012) Bono, Capecchi, Castellani and Dezani-Ciancaglini
  " A Reputation System for Multirole Sessions"
- (2012) Bioglio, Dezani-Ciancaglini, Giannini and Troina
  "A Calculus of Looping Sequences with Local Rules"
- (2011) Dezani-Ciancaglini, Giannini and Zucca
  "Intersection Types for Unbind and Rebind"
- (2011) Dezani-Ciancaglini, Ghilezan, Jakšic and Pantovic
  "Types for Role-Based Access Control of Dynamic Web Data"
- (2011) Castagna, Dezani-Ciancaglini and Padovani
  "On Global Types and Multi-party Sessions"
- (2011) Capecchi, Castellani and Dezani-Ciancaglini
  "Information Flow Safety in Multiparty Sessions"
- (2010) Summers, Cameron, Dezani-Ciancaglini and Drossopoulou
  "Towards a Semantic Model for Java Wildcards"
- (2010) Dezani-Ciancaglini and de' Liguoro
  "Sessions and Session Types: an Overview"
- (2010) Capecchi, Castellani, Dezani-Ciancaglini and Rezk
  "Session Types for Access and Information Flow Control"
- (2009) Dezani-Ciancaglini, Giannini and Zucca
  "The Essence of Static and Dynamic Bindings"
- (2009) Dezani-Ciancaglini, Giannini and Troina
  "A Type System for a Stochastic CLS"
- (2009) Dezani-Ciancaglini, Giannini and Troina
  "A Type System for Required/Excluded Elements in CLS"
- (2009) Dezani-Ciancaglini, Giannini and Ronchi Della Rocca
  "Intersection, Universally Quantified, and Reference Types"
- (2009) Coppo and Dezani-Ciancaglini
  "Structured Communications with Concurrent Constraints"
- (2009) Castagna, Dezani-Ciancaglini, Giachino and Padovani
  "Foundations of Session Types"
- (2009) Aman, Dezani-Ciancaglini and Troina
  "Type Disciplines for Analysing Biologically Relevant Properties"
- (2008) Dezani-Ciancaglini, de' Liguoro and Yoshida
  "On Progress for Structured Communications"
- (2008) Dezani-Ciancaglini, Giannini and Nierstrasz
  "A Calculus of Evolving Objects"
- (2008) Dezani-Ciancaglini, Di Cosmo, Giovannetti and Tatsuta
  "On Isomorphisms of Intersection Types"
- (2008) Bettini, Coppo, D'Antoni, De Luca, Dezani-Ciancaglini and Yoshida
  "Global Progress in Dynamically Interleaved Multiparty Sessions"
- (2008) Bettini, Capecchi, Dezani-Ciancaglini, Giachino and Venneri
  "Session and Union Types for Object Oriented Programming"
- (2007) Drossopoulou, Dezani-Ciancaglini and Coppo
  "Amalgamating the Session Types and the Object Oriented Programming Paradigms"
- (2007) Dezani-Ciancaglini, Ghilezan and Pantovic
  "Security Types for Dynamic Web Data"
- (2007) Dezani-Ciancaglini, Drossopoulou, Giachino and Yoshida
  "Bounded Session Types for Object-Oriented Languages"
- (2007) Dezani-Ciancaglini and Tatsuta
  "A Behavioural Model for Klop's Calculus"
- (2007) Dezani-Ciancaglini and Ronchi Della Rocca
  "Intersection and Reference Types"
- (2007) Coppo, Dezani-Ciancaglini and Yoshida
  "Asynchronous Session Types and Progress for Object-Oriented Languages"
- (2006) Tatsuta and Dezani-Ciancaglini
  "Normalisation is Insensible to Lambda-term Identity or Difference"
- (2006) Garralda, Compagnoni and Dezani-Ciancaglini
  "BASS: Boxed Ambients with Safe Sessions"
- (2006) Dezani-Ciancaglini, Mostrous, Yoshida and Drossopoulou
  "Session Types for Object-Oriented Languages"
- (2006) Castagna, Dezani-Ciancaglini and Varacca
  "Encoding CDuce in the Cpi-calculus"
- (2005) Dezani-Ciancaglini, Yoshida, Ahern and Drossopoulou
  " $L$ _doos: a Distributed Object-Oriented language with Session types"
- (2005) Coppo, Cozzi, Dezani-Ciancaglini, Giovannetti and Pugliese
  "A Mobility Calculus with Local and Dependent Types"
- (2005) Alessi and Dezani-Ciancaglini
  "Type Preorders and Recursive Terms"
- (2004) Damiani, Dezani-Ciancaglini and Giannini
  "Re-classification and Multithreading: Fickle_MT"
- (2004) Coppo, Dezani-Ciancaglini, Giovannetti and Pugliese
  "Dynamic and Local Typing for Mobile Ambients"
- (2004) Bonelli, Compagnoni, Dezani-Ciancaglini and Garralda
  "Boxed Ambients with Communication Interfaces"
- (2004) Alessi, Dezani-Ciancaglini and Honsell
  "Inverse Limit Models as Filter Models"
- (2004) Alessi, Barbanera and Dezani-Ciancaglini
  "Tailoring Filter Models"
- (2003) Dezani-Ciancaglini and Ghilezan
  "Two Behavioural Lambda Models"
- (2003) Coppo, Dezani-Ciancaglini, Giovannetti and Salvo
  "M3: Mobility Types for Mobile Processes in Mobile Ambients"
- (2003) Barbanera, Bugliesi, Dezani-Ciancaglini and Sassone
  "A Calculus of Bounded Capacities"
- (2003) Anderson, Barbanera, Dezani-Ciancaglini and Drossopoulou
  "Can Addresses be Types? (a case study: Objects with Delegation)"
- (2003) Alessi, Barbanera and Dezani-Ciancaglini
  "Types and Computational Rules"
- (2002) van Bakel and Dezani-Ciancaglini
  "Characterising Strong Normalisation for Explicit Substitutions"
- (2002) Dezani-Ciancaglini, Frisch, Giovannetti and Motohama
  "The Relevance of Semantic Subtyping"
- (2002) Dezani-Ciancaglini and Lusin
  "Intersection Types and Lambda Theories"
- (2002) Coppo and Dezani-Ciancaglini
  "A Fully Abstract Model for Mobile Ambients"
- (2002) Coppo and Dezani-Ciancaglini
  "A Fully Abstract Model for Higher-Order Mobile Ambients"
- (2002) Barbanera, Dezani-Ciancaglini, Salvo and Sassone
  "A Type Inference Algorithm for Secure Ambients"
- (2001) Drossopoulou, Damiani, Dezani-Ciancaglini and Giannini
  "Fickle: Dynamic object re-classification"
- (2001) Drossopoulou, Damiani, Dezani-Ciancaglini and Giannini
  "Fickle: Dynamic object re-classification"
- (2001) Dezani-Ciancaglini and Giovannetti
  "From Böhm's Theorem to Observational Equivalences: an Informal Account"
- (2001) Dezani-Ciancaglini and Ghilezan
  "A Lambda Model Characterizing Computational Behaviours of Terms"
- (2001) Alessi, Dezani-Ciancaglini and Honsell
  "Filter Models and Easy Terms"
- (2000) Dezani-Ciancaglini, Severi and de Vries
  "Böhm's Theorem for Berarducci Trees"
- (2000) Dezani-Ciancaglini, Honsell and Motohama
  "Compositional Characterization of Lambda-terms using Intersection Types (Extended abstract)"
- (2000) Dezani-Ciancaglini, Honsell and Alessi
  "A Complete Characterization of Complete Intersection-Type Theories"
- (2000) Dezani-Ciancaglini and Salvo
  "Security Types for Safe Mobile Ambients"
- (1998) Dezani-Ciancaglini, Intrigila and Venturini-Zilli
  "Böhm's Theorem for Böhm Trees"
- (1998) Barbanera, Dezani-Ciancaglini and de Vries
  "Types for Trees"
- (1997) Dezani-Ciancaglini, Tiuryn and Urzyczyn
  "Discrimination by Parallel Observers"
- (1997) Bono, Bugliesi, Dezani-Ciancaglini and Liquori
  "Subtyping Constraints for Incomplete Objects"
- (1994) Dezani-Ciancaglini, de' Liguoro and Piperno
  "Fully Abstract Semantics for Concurrent Lambda-calculus"
- (1984) Coppo, Dezani-Ciancaglini, Honsell and Longo
  "Extended Type Structures and Filter Lambda Models"
- (1978) Coppo, Dezani-Ciancaglini and Ronchi Della Rocca
  "Semi-Separability of Finite Sets of Terms in Scott's $D$ _∞-models of $λ$ -calculus"
PhD thesis
- (1996) Dezani-Ciancaglini
  "Logical Semantics for Concurrent Lambda-Calculus"
Technical reports
- (2000) van Bakel, Dezani-Ciancaglini, de' Liguoro and Motohama
  "The Minimal Relevant Logic and the Call-by-Value Lambda Calculus"

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)