Can Syntax Be Ignored during Translation? - Corrado Böhm; Mariangiola Dezani-Ciancaglini (ICALP, 1972)

A CUCH-machine: The automatic treatment of bound variables. - Corrado Böhm; Mariangiola Dezani-Ciancaglini (Int. J. Parallel Program., 1972)

Notes on "A CUCH-machine: The automatic treatment of bound variables". - Corrado Böhm; Mariangiola Dezani (Int. J. Parallel Program., 1973)

Combinatorial Problems, Combinator Equations and Normal Forms. - Corrado Böhm; Mariangiola Dezani-Ciancaglini (ICALP, 1974)

Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms. - Mariangiola Dezani-Ciancaglini; Maddalena Zacchi (ICALP, 1974)

Listing of information structures defined by fixed-point operators. - Corrado Böhm; Mariangiola Dezani-Ciancaglini; Simona Ronchi Della Rocca (Symposium on Programming, 1974)

A parenthesis machine for string manipulation. - Mariangiola Dezani-Ciancaglini (RAIRO Theor. Informatics Appl., 1974)

Lambda-terms as total or partial functions on normal forms. - Corrado Böhm; Mariangiola Dezani-Ciancaglini (Lambda-Calculus and Computer Science Theory, 1975)

Characterization of Normal Forms Possessing Inverse in the lambda-beta-eta-Calculus. - Mariangiola Dezani-Ciancaglini (Theor. Comput. Sci., 1976)

Termination Tests inside lambda-Calculus. - Corrado Böhm; Mario Coppo; Mariangiola Dezani-Ciancaglini (ICALP, 1977)

(Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Simona Ronchi Della Rocca (ICALP, 1978)

A new type assignment for λ-terms. - Mario Coppo; Mariangiola Dezani-Ciancaglini (Arch. Math. Log., 1978)

Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Patrick Sallé (ICALP, 1979)

Complexity of lambda-term reductions. - Mariangiola Dezani-Ciancaglini; Simona Ronchi Della Rocca; Lorenza Saitta (RAIRO Theor. Informatics Appl., 1979)

A Discrimination Algorithm Inside lambda-beta-Calculus. - Corrado Böhm; Mariangiola Dezani-Ciancaglini; P. Peretti; Simona Ronchi Della Rocca (Theor. Comput. Sci., 1979)

An extension of the basic functionality theory for the λ-calculus. - Mario Coppo; Mariangiola Dezani-Ciancaglini (Notre Dame J. Formal Log., 1980)

Functional Characters of Solvable Terms. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Betti Venneri (Math. Log. Q., 1981)

Applicative Information Systems. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Giuseppe Longo (CAAP, 1983)

A Filter Lambda Model and the Completeness of Type Assignment. - Henk Barendregt; Mario Coppo; Mariangiola Dezani-Ciancaglini (J. Symb. Log., 1983)

F-Semantics for Intersection Type Discipline. - Mariangiola Dezani-Ciancaglini; Ines Margaria (Semantics of Data Types, 1984)

A Characterization of F-Complete Type Assignments. - Mariangiola Dezani-Ciancaglini; Ines Margaria (Theor. Comput. Sci., 1986)

Polymorphic types, fixed-point combinators and continuous lambda-models. - Mariangiola Dezani-Ciancaglini; Ines Margaria (Formal Description of Programming Concepts, 1987)

Type Theories, Normal Forms and D_ infty-Lambda-Models - Mario Coppo; Mariangiola Dezani-Ciancaglini; Maddalena Zacchi (Inf. Comput., 1987)

Partial Types and Intervals. - Mariangiola Dezani-Ciancaglini; Betti Venneri (SIAM J. Comput., 1990)

Intersection and Union Types. - Franco Barbanera; Mariangiola Dezani-Ciancaglini (TACS, 1991)

Intersection Types for Combinatory Logic. - Mariangiola Dezani-Ciancaglini; J. Roger Hindley (Theor. Comput. Sci., 1992)

Filter Models for a Parallel and Non Deterministic Lambda-Calculus. - Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro; Adolfo Piperno (MFCS, 1993)

May and Must Convergencey in Concurrent Lambda-Calculus. - Fabio Alessi; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (MFCS, 1994)

Fully Abstract Semantics for Concurrent Lambda-calculus. - Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro; Adolfo Piperno (TACS, 1994)

Combining Type Disciplines. - Felice Cardone; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (Ann. Pure Appl. Log., 1994)

Preface - Mariangiola Dezani-Ciancaglini (Inf. Comput., 1994)

Intersection and Union Types: Syntax and Semantics - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (Inf. Comput., 1995)

Filter Models for Conjunctive-Disjunctive lambda-Calculi. - Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro; Adolfo Piperno (Theor. Comput. Sci., 1996)

Discrimination by Parallel Observers. - Mariangiola Dezani-Ciancaglini; Jerzy Tiuryn; Pawel Urzyczyn (LICS, 1997)

Subtyping Constraints for Incomplete Objects (Extended Abstract). - Viviana Bono; Michele Bugliesi; Mariangiola Dezani-Ciancaglini; Luigi Liquori (TAPSOFT, 1997)

A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus. - Fabio Alessi; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (Fundam. Informaticae, 1997)

The "Relevance" of Intersection and Union Types. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Betti Venneri (Notre Dame J. Formal Log., 1997)

Types for trees. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Fer-Jan de Vries (PROCOMET, 1998)

A Filter Model for Concurrent lambda-Calculus. - Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro; Adolfo Piperno (SIAM J. Comput., 1998)

A Subtyping for Extensible, Incomplete Objects. - Viviana Bono; Michele Bugliesi; Mariangiola Dezani-Ciancaglini; Luigi Liquori (Fundam. Informaticae, 1999)

Discrimination by Parallel Observers: The Algorithm. - Mariangiola Dezani-Ciancaglini; Jerzy Tiuryn; Pawel Urzyczyn (Inf. Comput., 1999)

A filter model for mobile processes. - Ferruccio Damiani; Mariangiola Dezani-Ciancaglini; Paola Giannini (Math. Struct. Comput. Sci., 1999)

Preface. - Mariangiola Dezani-Ciancaglini; Giuseppe Longo; Jonathan P. Seldin (Math. Struct. Comput. Sci., 1999)

Infinite lambda-Calculus and Types. - Alessandro Berarducci; Mariangiola Dezani-Ciancaglini (Theor. Comput. Sci., 1999)

Security Types for Mobile Safe Ambients. - Mariangiola Dezani-Ciancaglini; Ivano Salvo (ASIAN, 2000)

A Complete Characterization of the Complete Intersection-Type Theories. - Mariangiola Dezani-Ciancaglini; Furio Honsell; Fabio Alessi (ICALP Satellite Workshops, 2000)

Intersection Types and Properties of Lambda Terms. - Mariangiola Dezani-Ciancaglini (ICALP Satellite Workshops, 2000)

Compositional Characterizations of lambda-Terms Using Intersection Types. - Mariangiola Dezani-Ciancaglini; Furio Honsell; Yoko Motohama (MFCS, 2000)

Böhm's theorem for Berarducci trees. - Mariangiola Dezani-Ciancaglini; Paula Severi; Fer-Jan de Vries (CATS, 2000)

Fickle : Dynamic Object Re-classification. - Sophia Drossopoulou; Ferruccio Damiani; Mariangiola Dezani-Ciancaglini; Paola Giannini (ECOOP, 2001)

Filter Models and Easy Terms. - Fabio Alessi; Mariangiola Dezani-Ciancaglini; Furio Honsell (ICTCS, 2001)

A Type Inference Algorithm for Secure Ambients. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ivano Salvo; Vladimiro Sassone (TOSCA, 2001)

A Fully Abstract Model for Mobile Ambients. - Mario Coppo; Mariangiola Dezani-Ciancaglini (TOSCA, 2001)

From Bohm's Theorem to Observational Equivalences: an Informal Account. - Mariangiola Dezani-Ciancaglini; Elio Giovannetti (BOTH, 2001)

Approximation Theorems for Intersection Type Systems. - Mariangiola Dezani-Ciancaglini; Furio Honsell; Yoko Motohama (J. Log. Comput., 2001)

Characterising Strong Normalisation for Explicit Substitutions. - Steffen van Bakel; Mariangiola Dezani-Ciancaglini (LATIN, 2002)

Two Behavioural Lambda Models. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan (TYPES, 2002)

A Fully Abstract Model for Higher-Order Mobile Ambients. - Mario Coppo; Mariangiola Dezani-Ciancaglini (VMCAI, 2002)

Intersection Types and Lambda Theories - Mariangiola Dezani-Ciancaglini; Stefania Lusin (CoRR, 2002)

The Relevance of Semantic Subtyping. - Mariangiola Dezani-Ciancaglini; Alain Frisch; Elio Giovannetti; Yoko Motohama (ITRS, 2002)

The Semantics of Entailment Omega. - Mariangiola Dezani-Ciancaglini; Robert K. Meyer; Yoko Motohama (Notre Dame J. Formal Log., 2002)

Intersection types for lambda-trees. - Steffen van Bakel; Franco Barbanera; Mariangiola Dezani-Ciancaglini; Fer-Jan de Vries (Theor. Comput. Sci., 2002)

Theories of Types and Proofs 1997 - Preface. - Mariangiola Dezani-Ciancaglini; Mitsuhiro Okada; Masako Takahashi (Theor. Comput. Sci., 2002)

More dynamic object reclassification: Fickle|| - Sophia Drossopoulou; Ferruccio Damiani; Mariangiola Dezani-Ciancaglini; Paola Giannini (ACM Trans. Program. Lang. Syst., 2002)

A Calculus of Bounded Capacities. - Franco Barbanera; Michele Bugliesi; Mariangiola Dezani-Ciancaglini; Vladimiro Sassone (ASIAN, 2003)

Tailoring Filter Models. - Fabio Alessi; Franco Barbanera; Mariangiola Dezani-Ciancaglini (TYPES, 2003)

Intersection Types and Computational Rules. - Fabio Alessi; Franco Barbanera; Mariangiola Dezani-Ciancaglini (WoLLIC, 2003)

Can addresses be types? (A case study: objects with delegation). - Christopher Anderson; Franco Barbanera; Mariangiola Dezani-Ciancaglini; Sophia Drossopoulou (WOOD, 2003)

Mobility Types for Mobile Processes in Mobile Ambients. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Elio Giovannetti; Ivano Salvo (CATS, 2003)

Infinitary lambda calculus and discrimination of Berarducci trees. - Mariangiola Dezani-Ciancaglini; Paula Severi; Fer-Jan de Vries (Theor. Comput. Sci., 2003)

A complete characterization of complete intersection-type preorders. - Mariangiola Dezani-Ciancaglini; Furio Honsell; Fabio Alessi (ACM Trans. Comput. Log., 2003)

Dynamic and Local Typing for Mobile Ambients. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Elio Giovannetti; Rosario Pugliese (IFIP TCS, 2004)

Re-classification and multi-threading: FickleMT. - Ferruccio Damiani; Mariangiola Dezani-Ciancaglini; Paola Giannini (SAC, 2004)

Type Preorders and Recursive Terms. - Fabio Alessi; Mariangiola Dezani-Ciancaglini (ITRS, 2004)

Intersection types for explicit substitutions. - Stéphane Lengrand; Pierre Lescanne; Daniel J. Dougherty; Mariangiola Dezani-Ciancaglini; Steffen van Bakel (Inf. Comput., 2004)

On Re-classification and Multi-threading. - Ferruccio Damiani; Mariangiola Dezani-Ciancaglini; Paola Giannini (J. Object Technol., 2004)

Intersection types and domain operators. - Fabio Alessi; Mariangiola Dezani-Ciancaglini; Stefania Lusin (Theor. Comput. Sci., 2004)

Behavioural inverse limit lambda-models. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Silvia Likavec (Theor. Comput. Sci., 2004)

A Mobility Calculus with Local and Dependent Types. - Mario Coppo; Federico Cozzi; Mariangiola Dezani-Ciancaglini; Elio Giovannetti; Rosario Pugliese (Processes, Terms and Cycles, 2005)

A Distributed Object-Oriented Language with Session Types. - Mariangiola Dezani-Ciancaglini; Nobuko Yoshida; Alexander Joseph Ahern; Sophia Drossopoulou (TGC, 2005)

Compositional characterisations of lambda-terms using intersection types. - Mariangiola Dezani-Ciancaglini; Furio Honsell; Yoko Motohama (Theor. Comput. Sci., 2005)

Encoding CDuce in the Cpi-Calculus. - Giuseppe Castagna; Mariangiola Dezani-Ciancaglini; Daniele Varacca (CONCUR, 2006)

Session Types for Object-Oriented Languages. - Mariangiola Dezani-Ciancaglini; Dimitris Mostrous; Nobuko Yoshida; Sophia Drossopoulou (ECOOP, 2006)

Bounded Session Types for Object Oriented Languages. - Mariangiola Dezani-Ciancaglini; Elena Giachino; Sophia Drossopoulou; Nobuko Yoshida (FMCO, 2006)

Normalisation is Insensible to lambda-Term Identity or Difference. - Makoto Tatsuta; Mariangiola Dezani-Ciancaglini (LICS, 2006)

BASS: boxed ambients with safe sessions. - Pablo Garralda; Adriana B. Compagnoni; Mariangiola Dezani-Ciancaglini (PPDP, 2006)

Security Types for Dynamic Web Data. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Jovanka Pantovic (TGC, 2006)

A Behavioural Model for Klop's Calculus. - Mariangiola Dezani-Ciancaglini; Makoto Tatsuta (LMCS, 2006)

Intersection types and lambda models. - Fabio Alessi; Franco Barbanera; Mariangiola Dezani-Ciancaglini (Theor. Comput. Sci., 2006)

Asynchronous Session Types and Progress for Object Oriented Languages. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida (FMOODS, 2007)

On Progress for Structured Communications. - Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro; Nobuko Yoshida (TGC, 2007)

Preface. - Vincent Danos; Mariangiola Dezani-Ciancaglini (DCM@ICALP, 2007)

Boxed ambients with communication interfaces. - Pablo Garralda; Eduardo Bonelli; Adriana B. Compagnoni; Mariangiola Dezani-Ciancaglini (Math. Struct. Comput. Sci., 2007)

Space-aware ambients and processes. - Franco Barbanera; Michele Bugliesi; Mariangiola Dezani-Ciancaglini; Vladimiro Sassone (Theor. Comput. Sci., 2007)

Session and Union Types for Object Oriented Programming. - Lorenzo Bettini; Sara Capecchi; Mariangiola Dezani-Ciancaglini; Elena Giachino; Betti Venneri (Concurrency, Graphs and Models, 2008)

Global Progress in Dynamically Interleaved Multiparty Sessions. - Lorenzo Bettini; Mario Coppo; Loris D'Antoni; Marco De Luca; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida (CONCUR, 2008)

Structured Communications with Concurrent Constraints. - Mario Coppo; Mariangiola Dezani-Ciancaglini (TGC, 2008)

A Calculus of Evolving Objects. - Mariangiola Dezani-Ciancaglini; Paola Giannini; Oscar Nierstrasz (Sci. Ann. Comput. Sci., 2008)

Type Disciplines for Analysing Biologically Relevant Properties. - Bogdan Aman; Mariangiola Dezani-Ciancaglini; Angelo Troina (MeCBIC, 2008)

Types for ambient and process mobility. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Elio Giovannetti (Math. Struct. Comput. Sci., 2008)

Security types for dynamic web data. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Jovanka Pantovic; Daniele Varacca (Theor. Comput. Sci., 2008)

Lambda-Calculus. - Mariangiola Dezani-Ciancaglini; J. Roger Hindley (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Intersection, Universally Quantified, and Reference Types. - Mariangiola Dezani-Ciancaglini; Paola Giannini; Simona Ronchi Della Rocca (CSL, 2009)

The essence of static and dynamic bindings. - Mariangiola Dezani-Ciancaglini; Paola Giannini; Elena Zucca (ICTCS, 2009)

Foundations of session types. - Giuseppe Castagna; Mariangiola Dezani-Ciancaglini; Elena Giachino; Luca Padovani (PPDP, 2009)

Sessions and Session Types: An Overview. - Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (WS-FM, 2009)

A Type System for Required/Excluded Elements in CLS - Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina (DCM, 2009)

A Type System for a Stochastic CLS - Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina (MeCBIC, 2009)

Objects and session types. - Mariangiola Dezani-Ciancaglini; Sophia Drossopoulou; Dimitris Mostrous; Nobuko Yoshida (Inf. Comput., 2009)

Amalgamating sessions and methods in object-oriented languages with generics. - Sara Capecchi; Mario Coppo; Mariangiola Dezani-Ciancaglini; Sophia Drossopoulou; Elena Giachino (Theor. Comput. Sci., 2009)

Session Types for Access and Information Flow Control. - Sara Capecchi; Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Tamara Rezk (CONCUR, 2010)

Towards a semantic model for Java wildcards. - Alexander J. Summers; Nicholas Cameron 001; Mariangiola Dezani-Ciancaglini; Sophia Drossopoulou (FTfJP@ECOOP, 2010)

Types for Role-Based Access Control of Dynamic Web Data. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic (WFLP, 2010)

Intersection types for unbind and rebind - Mariangiola Dezani-Ciancaglini; Paola Giannini; Elena Zucca (ITRS, 2010)

A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday. - Roberto Barbuti; Andrea Maggiolo-Schettini; Angelo Troina; Mariangiola Dezani-Ciancaglini; Paolo Milazzo (Fundam. Informaticae, 2010)

On isomorphisms of intersection types. - Mariangiola Dezani-Ciancaglini; Roberto Di Cosmo; Elio Giovannetti; Makoto Tatsuta (ACM Trans. Comput. Log., 2010)

On Global Types and Multi-party Sessions. - Giuseppe Castagna; Mariangiola Dezani-Ciancaglini; Luca Padovani (FMOODS/FORTE, 2011)

A Reputation System for Multirole Sessions. - Viviana Bono; Sara Capecchi; Ilaria Castellani; Mariangiola Dezani-Ciancaglini (TGC, 2011)

Constraints for Service Contracts. - Maria Grazia Buscemi; Mario Coppo; Mariangiola Dezani-Ciancaglini; Ugo Montanari (TGC, 2011)

Information Flow Safety in Multiparty Sessions - Sara Capecchi; Ilaria Castellani; Mariangiola Dezani-Ciancaglini (EXPRESS, 2011)

A Calculus of Looping Sequences with Local Rules - Livio Bioglio; Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina (DCM, 2011)

Extending the lambda-calculus with unbind and rebind. - Mariangiola Dezani-Ciancaglini; Paola Giannini; Elena Zucca (RAIRO Theor. Informatics Appl., 2011)

Toward Isomorphism of Intersection and Union types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Ines Margaria; Maddalena Zacchi (ITRS, 2012)

On Global Types and Multi-Party Session - Giuseppe Castagna; Mariangiola Dezani-Ciancaglini; Luca Padovani (Log. Methods Comput. Sci., 2012)

Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions - Adriana B. Compagnoni; Mariangiola Dezani-Ciancaglini; Paola Giannini; Karin Sauer; Vishakha Sharma 001; Angelo Troina (MeCBIC, 2012)

Typed stochastic semantics for the calculus of looping sequences. - Livio Bioglio; Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina (Theor. Comput. Sci., 2012)

Tracing where and who provenance in Linked Data: A calculus. - Mariangiola Dezani-Ciancaglini; Ross Horne; Vladimiro Sassone (Theor. Comput. Sci., 2012)

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Luca Padovani; Nobuko Yoshida (COORDINATION, 2013)

Isomorphism of "Functional" Intersection Types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Ines Margaria; Maddalena Zacchi (TYPES, 2013)

Type Directed Semantics for the Calculus of Looping Sequences. - Livio Bioglio; Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina (Int. J. Softw. Informatics, 2013)

Deriving session and union types for objects. - Lorenzo Bettini; Sara Capecchi; Mariangiola Dezani-Ciancaglini; Elena Giachino; Betti Venneri (Math. Struct. Comput. Sci., 2013)

Self-Adaptive Monitors for Multiparty Sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Betti Venneri (PDP, 2014)

On the Preciseness of Subtyping in Session Types. - Tzu-Chun Chen; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida (PPDP, 2014)

Preciseness of Subtyping on Intersection and Union Types. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan (RTA-TLCA, 2014)

Compliance for reversible client/server interactions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (BEAT, 2014)

Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Jorge A. Pérez 001 (BEAT, 2014)

On Isomorphism of "Functional" Intersection and Union Types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Ines Margaria; Maddalena Zacchi (ITRS, 2014)

Session Type Isomorphisms. - Mariangiola Dezani-Ciancaglini; Luca Padovani; Jovanka Pantovic (PLACES, 2014)

Typing access control and secure information flow in sessions. - Sara Capecchi; Ilaria Castellani; Mariangiola Dezani-Ciancaglini (Inf. Comput., 2014)

A Gentle Introduction to Multiparty Asynchronous Session Types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Luca Padovani; Nobuko Yoshida (SFM, 2015)

Retractable Contracts. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ivan Lanese; Ugo de'Liguoro (PLACES, 2015)

Precise subtyping for synchronous multiparty sessions. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic; Nobuko Yoshida (PLACES, 2015)

Partial and Complete Processes in Multiparty Sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Ines Margaria; Maddalena Zacchi (ICTCS, 2015)

Combining behavioural types with security analysis. - Massimo Bartoletti; Ilaria Castellani; Pierre-Malo Deniélou; Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Jovanka Pantovic; Jorge A. Pérez 001; Peter Thiemann 001; Bernardo Toninho; Hugo Torres Vieira (J. Log. Algebraic Methods Program., 2015)

Self-adaptive multiparty sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Betti Venneri (Serv. Oriented Comput. Appl., 2015)

Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic; Nobuko Yoshida (Theory and Practice of Formal Methods, 2016)

Secure Multiparty Sessions with Topics. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (PLACES, 2016)

Retractions in Intersection Types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Alejandro Díaz-Caro; Ines Margaria; Maddalena Zacchi (ITRS, 2016)

Parallel Monitors for Self-adaptive Sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Betti Venneri (PLACES, 2016)

Reversible Multiparty Sessions with Checkpoints. - Mariangiola Dezani-Ciancaglini; Paola Giannini (EXPRESS/SOS, 2016)

EATCS Fellows' Advice to the Young Theoretical Computer Scientist. - Luca Aceto; Mariangiola Dezani-Ciancaglini; Yuri Gurevich; David Harel; Monika Henzinger; Giuseppe F. Italiano; Scott A. Smolka; Paul G. Spirakis; Wolfgang Thomas (Bull. EATCS, 2016)

Reversible client/server interactions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (Formal Aspects Comput., 2016)

Self-adaptation and secure information flow in multiparty communications. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Jorge A. Pérez 001 (Formal Aspects Comput., 2016)

Global progress for dynamically interleaved multiparty sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida; Luca Padovani (Math. Struct. Comput. Sci., 2016)

Concurrent Reversible Sessions. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini (CONCUR, 2017)

Data-driven adaptation for smart sessions. - Viviana Bono; Mario Coppo; Mariangiola Dezani-Ciancaglini; Betti Venneri (J. Log. Algebraic Methods Program., 2017)

On the Preciseness of Subtyping in Session Types. - Tzu-Chun Chen; Mariangiola Dezani-Ciancaglini; Alceste Scalas; Nobuko Yoshida (Log. Methods Comput. Sci., 2017)

On Sessions and Infinite Data. - Paula Severi; Luca Padovani; Emilio Tuosto; Mariangiola Dezani-Ciancaglini (Log. Methods Comput. Sci., 2017)

Isomorphism of intersection and union types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Ines Margaria; Maddalena Zacchi (Math. Struct. Comput. Sci., 2017)

Preface. - Mariangiola Dezani; Sabrina Mantaci; Marinella Sciortino (Math. Struct. Comput. Sci., 2017)

Intersection Types in Java: Back to the Future. - Mariangiola Dezani-Ciancaglini; Paola Giannini; Betti Venneri (Models, Mindsets, Meta, 2018)

Java & Lambda: a Featherweight Story. - Lorenzo Bettini; Viviana Bono; Mariangiola Dezani-Ciancaglini; Betti Venneri (CoRR, 2018)

Java & Lambda: a Featherweight Story. - Lorenzo Bettini; Viviana Bono; Mariangiola Dezani-Ciancaglini; Paola Giannini; Betti Venneri (Log. Methods Comput. Sci., 2018)

Foundations of Session Types: 10 Years Later. - Giuseppe Castagna; Mariangiola Dezani-Ciancaglini; Elena Giachino; Luca Padovani (PPDP, 2019)

Reversible sessions with flexible choices. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini (Acta Informatica, 2019)

Open Multiparty Sessions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini (ICE, 2019)

EATCS Fellows 2020 - Call for Nominations. - Christel Baier; Mikolaj Bojanczyk; Mariangiola Dezani; Josep Díaz; Giuseppe F. Italiano (Bull. EATCS, 2019)

Observational Equivalence for Multiparty Sessions. - Paula Severi; Mariangiola Dezani-Ciancaglini (Fundam. Informaticae, 2019)

Deconfined Intersection Types in Java. - Mariangiola Dezani-Ciancaglini; Paola Giannini; Betti Venneri (Gabbrielli's Festschrift, 2020)

Soundness Conditions for Big-Step Semantics. - Francesco Dagnino; Viviana Bono; Elena Zucca; Mariangiola Dezani-Ciancaglini (ESOP, 2020)

A tale of intersection types. - Viviana Bono; Mariangiola Dezani-Ciancaglini (LICS, 2020)

EATCS Fellows 2021 - Call for Nominations. - Christel Baier; Mikolaj Bojanczyk; Mariangiola Dezani; Josep Díaz; Giuseppe F. Italiano (Bull. EATCS, 2020)

Global types with internal delegation. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini; Ross Horne (Theor. Comput. Sci., 2020)

Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372). - Mariangiola Dezani; Roland Kuhn 002; Sam Lindley; Alceste Scalas (Dagstuhl Reports, 2021)

EATCS Fellows 2022 - Call for Nominations. - Mariangiola Dezani (Bull. EATCS, 2021)

Composition and decomposition of multiparty sessions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ivan Lanese; Emilio Tuosto (J. Log. Algebraic Methods Program., 2021)

Open Compliance in Multiparty Sessions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (FACS, 2022)

Asynchronous Sessions with Input Races. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini (PLACES@ETAPS, 2022)

Gradual Guarantee for FJ with lambda-Expressions. - Pedro Ângelo 002; Viviana Bono; Mariangiola Dezani-Ciancaglini; Mário Florido (FTfJP@ECOOP, 2023)

Multicompatibility for Multiparty-Session Composition. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Lorenzo Gheri; Nobuko Yoshida (PPDP, 2023)

Partially Typed Multiparty Sessions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini (ICE, 2023)

Partial Typing for Asynchronous Multiparty Sessions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (DCM, 2023)

Deconfined Global Types for Asynchronous Sessions. - Francesco Dagnino; Paola Giannini; Mariangiola Dezani-Ciancaglini (Log. Methods Comput. Sci., 2023)

Event structure semantics for multiparty sessions. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini (J. Log. Algebraic Methods Program., 2023)

YACC: Yet Another Church Calculus - A Birthday Present for Herman Inspired by His Supervisor Activity. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro; Betti Venneri (Logics and Type Systems in Theory and Practice, 2024)

Asynchronous Multiparty Sessions with Internal Delegation - Dedicated to Rocco De Nicola on the Occasion of his 70th Birthday. - Franco Barbanera; Mariangiola Dezani-Ciancaglini (ISoLA (1), 2024)

Un-projectable Global Types for Multiparty Sessions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (PPDP, 2024)

On the Preciseness of Subtyping in Session Types: 10 Years Later. - Tzu-Chun Chen; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida (PPDP, 2024)

Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini (Fundam. Informaticae, 2024)

Unsolvable Terms in Filter Models (Invited Talk). - Mariangiola Dezani-Ciancaglini; Paola Giannini; Furio Honsell (FSCD, 2025)

Partially typed multiparty sessions with internal delegation. - Franco Barbanera; Viviana Bono; Mariangiola Dezani-Ciancaglini (J. Log. Algebraic Methods Program., 2025)

Open compliance in multiparty sessions with partial typing. - Franco Barbanera; Viviana Bono; Mariangiola Dezani-Ciancaglini (J. Log. Algebraic Methods Program., 2025)

Modular Multiparty Sessions with Mixed Choice. - Franco Barbanera; Mariangiola Dezani-Ciancaglini (CoRR, 2025)