Mariangiola Dezani-Ciancaglini

According to our database1, Mariangiola Dezani-Ciancaglini authored at least 162 papers between 1972 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Java & Lambda: a Featherweight Story.
Logical Methods in Computer Science, 2018

2017
Preface.
Mathematical Structures in Computer Science, 2017

Isomorphism of intersection and union types.
Mathematical Structures in Computer Science, 2017

On the Preciseness of Subtyping in Session Types.
Logical Methods in Computer Science, 2017

Data-driven adaptation for smart sessions.
J. Log. Algebr. Meth. Program., 2017

Concurrent Reversible Sessions.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016
Global progress for dynamically interleaved multiparty sessions.
Mathematical Structures in Computer Science, 2016

Information flow safety in multiparty sessions.
Mathematical Structures in Computer Science, 2016

Self-adaptation and secure information flow in multiparty communications.
Formal Asp. Comput., 2016

Reversible client/server interactions.
Formal Asp. Comput., 2016

Partial and Complete Processes in Multiparty Sessions.
Electr. Notes Theor. Comput. Sci., 2016

EATCS Fellows' Advice to the Young Theoretical Computer Scientist.
Bulletin of the EATCS, 2016

Reversible Multiparty Sessions with Checkpoints.
Proceedings of the Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, 2016

Parallel Monitors for Self-adaptive Sessions.
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

Retractions in Intersection Types.
Proceedings of the Proceedings Eighth Workshop on Intersection Types and Related Systems, 2016

Secure Multiparty Sessions with Topics.
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

On Sessions and Infinite Data.
Proceedings of the Coordination Models and Languages, 2016

Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
Self-adaptive multiparty sessions.
Service Oriented Computing and Applications, 2015

Combining behavioural types with security analysis.
J. Log. Algebr. Meth. Program., 2015

Precise subtyping for synchronous multiparty sessions.
Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

Retractable Contracts.
Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

A Gentle Introduction to Multiparty Asynchronous Session Types.
Proceedings of the Formal Methods for Multicore Programming, 2015

2014
Typing access control and secure information flow in sessions.
Inf. Comput., 2014

Session Type Isomorphisms.
Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

On Isomorphism of "Functional" Intersection and Union Types.
Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective.
Proceedings of the Proceedings Third Workshop on Behavioural Types, 2014

Compliance for reversible client/server interactions.
Proceedings of the Proceedings Third Workshop on Behavioural Types, 2014

Preciseness of Subtyping on Intersection and Union Types.
Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

On the Preciseness of Subtyping in Session Types.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Self-Adaptive Monitors for Multiparty Sessions.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

2013
Deriving session and union types for objects.
Mathematical Structures in Computer Science, 2013

Type Directed Semantics for the Calculus of Looping Sequences.
Int. J. Software and Informatics, 2013

Isomorphism of "Functional" Intersection Types.
Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012
Tracing where and who provenance in Linked Data: A calculus.
Theor. Comput. Sci., 2012

Typed stochastic semantics for the calculus of looping sequences.
Theor. Comput. Sci., 2012

Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions
Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012

On Global Types and Multi-Party Session
Logical Methods in Computer Science, 2012

Toward Isomorphism of Intersection and Union types.
Proceedings of the Proceedings Sixth Workshop on Intersection Types and Related Systems, 2012

2011
Extending the lambda-calculus with unbind and rebind.
RAIRO - Theor. Inf. and Applic., 2011

A Calculus of Looping Sequences with Local Rules
Proceedings of the Proceedings 7th International Workshop on Developments of Computational Methods, 2011

Information Flow Safety in Multiparty Sessions
Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

Constraints for Service Contracts.
Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

A Reputation System for Multirole Sessions.
Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

On Global Types and Multi-party Sessions.
Proceedings of the Formal Techniques for Distributed Systems, 2011

2010
A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday.
Fundam. Inform., 2010

Intersection types for unbind and rebind
Proceedings of the Proceedings Fifth Workshop on Intersection Types and Related Systems, 2010

Types for Role-Based Access Control of Dynamic Web Data.
Proceedings of the Functional and Constraint Logic Programming, 2010

Towards a semantic model for Java wildcards.
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

Session Types for Access and Information Flow Control.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009
Amalgamating sessions and methods in object-oriented languages with generics.
Theor. Comput. Sci., 2009

Objects and session types.
Inf. Comput., 2009

Type Disciplines for Analysing Biologically Relevant Properties.
Electr. Notes Theor. Comput. Sci., 2009

A Type System for a Stochastic CLS
Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

A Type System for Required/Excluded Elements in CLS
Proceedings of the Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, 2009

Sessions and Session Types: An Overview.
Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

Foundations of session types.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

The essence of static and dynamic bindings.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Intersection, Universally Quantified, and Reference Types.
Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008
Lambda-Calculus.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Security types for dynamic web data.
Theor. Comput. Sci., 2008

Types for ambient and process mobility.
Mathematical Structures in Computer Science, 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

A Calculus of Evolving Objects.
Sci. Ann. Comp. Sci., 2008

Structured Communications with Concurrent Constraints.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

On Isomorphisms of Intersection Types.
Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

Global Progress in Dynamically Interleaved Multiparty Sessions.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Session and Union Types for Object Oriented Programming.
Proceedings of the Concurrency, 2008

2007
Space-aware ambients and processes.
Theor. Comput. Sci., 2007

Boxed ambients with communication interfaces.
Mathematical Structures in Computer Science, 2007

A Behavioural Model for Klop's Calculus.
Electr. Notes Theor. Comput. Sci., 2007

On Progress for Structured Communications.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Asynchronous Session Types and Progress for Object Oriented Languages.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

2006
Intersection types and lambda models.
Theor. Comput. Sci., 2006

Security Types for Dynamic Web Data.
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

BASS: boxed ambients with safe sessions.
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

Normalisation is Insensible to lambda-Term Identity or Difference.
Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

Bounded Session Types for Object Oriented Languages.
Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Session Types for Object-Oriented Languages.
Proceedings of the ECOOP 2006, 2006

Encoding CDuce in the Cpi-Calculus.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005
Compositional characterisations of lambda-terms using intersection types.
Theor. Comput. Sci., 2005

Type Preorders and Recursive Terms.
Electr. Notes Theor. Comput. Sci., 2005

A Distributed Object-Oriented Language with Session Types.
Proceedings of the Trustworthy Global Computing, International Symposium, 2005

A Mobility Calculus with Local and Dependent Types.
Proceedings of the Processes, 2005

2004
Behavioural inverse limit lambda-models.
Theor. Comput. Sci., 2004

Intersection types and domain operators.
Theor. Comput. Sci., 2004

On Re-classification and Multi-threading.
Journal of Object Technology, 2004

Intersection types for explicit substitutions.
Inf. Comput., 2004

Re-classification and multi-threading: FickleMT.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Boxed Ambients with Communication Interfaces.
Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

Dynamic and Local Typing for Mobile Ambients.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003
A complete characterization of complete intersection-type preorders.
ACM Trans. Comput. Log., 2003

Infinitary lambda calculus and discrimination of Berarducci trees.
Theor. Comput. Sci., 2003

Mobility Types for Mobile Processes in Mobile Ambients.
Electr. Notes Theor. Comput. Sci., 2003

Can addresses be types? (A case study: objects with delegation).
Electr. Notes Theor. Comput. Sci., 2003

Intersection Types and Computational Rules.
Electr. Notes Theor. Comput. Sci., 2003

Tailoring Filter Models.
Proceedings of the Types for Proofs and Programs, International Workshop, 2003

A Calculus of Bounded Capacities.
Proceedings of the Advances in Computing Science, 2003

2002
More dynamic object reclassification: Fickle||
ACM Trans. Program. Lang. Syst., 2002

Theories of Types and Proofs 1997 - Preface.
Theor. Comput. Sci., 2002

Intersection types for lambda-trees.
Theor. Comput. Sci., 2002

The Semantics of Entailment Omega.
Notre Dame Journal of Formal Logic, 2002

The Relevance of Semantic Subtyping.
Electr. Notes Theor. Comput. Sci., 2002

A Fully Abstract Model for Higher-Order Mobile Ambients.
Proceedings of the Verification, 2002

Two Behavioural Lambda Models.
Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002

Characterising Strong Normalisation for Explicit Substitutions.
Proceedings of the LATIN 2002: Theoretical Informatics, 2002

2001
Approximation Theorems for Intersection Type Systems.
J. Log. Comput., 2001

From Bohm's Theorem to Observational Equivalences: an Informal Account.
Electr. Notes Theor. Comput. Sci., 2001

A Fully Abstract Model for Mobile Ambients.
Electr. Notes Theor. Comput. Sci., 2001

A Type Inference Algorithm for Secure Ambients.
Electr. Notes Theor. Comput. Sci., 2001

Filter Models and Easy Terms.
Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

Fickle : Dynamic Object Re-classification.
Proceedings of the ECOOP 2001, 2001

2000
Böhm's theorem for Berarducci trees.
Electr. Notes Theor. Comput. Sci., 2000

Compositional Characterizations of lambda-Terms Using Intersection Types.
Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

Intersection Types and Properties of Lambda Terms.
Proceedings of the ICALP Workshops 2000, 2000

A Complete Characterization of the Complete Intersection-Type Theories.
Proceedings of the ICALP Workshops 2000, 2000

Security Types for Mobile Safe Ambients.
Proceedings of the Advances in Computing Science, 2000

1999
Infinite lambda-Calculus and Types.
Theor. Comput. Sci., 1999

Preface.
Mathematical Structures in Computer Science, 1999

A filter model for mobile processes.
Mathematical Structures in Computer Science, 1999

Discrimination by Parallel Observers: The Algorithm.
Inf. Comput., 1999

A Subtyping for Extensible, Incomplete Objects.
Fundam. Inform., 1999

1998
A Filter Model for Concurrent lambda-Calculus.
SIAM J. Comput., 1998

Types for trees.
Proceedings of the Programming Concepts and Methods, 1998

1997
The "Relevance" of Intersection and Union Types.
Notre Dame Journal of Formal Logic, 1997

A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus.
Fundam. Inform., 1997

Subtyping Constraints for Incomplete Objects (Extended Abstract).
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Discrimination by Parallel Observers.
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

1996
Filter Models for Conjunctive-Disjunctive lambda-Calculi.
Theor. Comput. Sci., 1996

1995
Intersection and Union Types: Syntax and Semantics
Inf. Comput., June, 1995

1994
Preface
Inf. Comput., 1994

Combining Type Disciplines.
Ann. Pure Appl. Logic, 1994

Fully Abstract Semantics for Concurrent Lambda-calculus.
Proceedings of the Theoretical Aspects of Computer Software, 1994

May and Must Convergencey in Concurrent Lambda-Calculus.
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

1993
Filter Models for a Parallel and Non Deterministic Lambda-Calculus.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992
Intersection Types for Combinatory Logic.
Theor. Comput. Sci., 1992

1991
Intersection and Union Types.
Proceedings of the Theoretical Aspects of Computer Software, 1991

1990
Partial Types and Intervals.
SIAM J. Comput., 1990

1987
Type Theories, Normal Forms and D_\infty-Lambda-Models
Inf. Comput., February, 1987

Polymorphic types, fixed-point combinators and continuous lambda-models.
Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987

1986
A Characterization of F-Complete Type Assignments.
Theor. Comput. Sci., 1986

1984
F-Semantics for Intersection Type Discipline.
Proceedings of the Semantics of Data Types, International Symposium, 1984

1983
A Filter Lambda Model and the Completeness of Type Assignment.
J. Symb. Log., 1983

Applicative Information Systems.
Proceedings of the CAAP'83, 1983

1981
Functional Characters of Solvable Terms.
Math. Log. Q., 1981

1980
An extension of the basic functionality theory for the λ-calculus.
Notre Dame Journal of Formal Logic, 1980

1979
A Discrimination Algorithm Inside lambda-beta-Calculus.
Theor. Comput. Sci., 1979

Complexity of lambda-term reductions.
ITA, 1979

Functional Characterization of Some Semantic Equalities inside Lambda-Calculus.
Proceedings of the Automata, 1979

1978
A new type assignment for λ-terms.
Arch. Math. Log., 1978

(Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus.
Proceedings of the Automata, 1978

1977
Termination Tests inside lambda-Calculus.
Proceedings of the Automata, 1977

1976
Characterization of Normal Forms Possessing Inverse in the lambda-beta-eta-Calculus.
Theor. Comput. Sci., 1976

1975
Lambda-terms as total or partial functions on normal forms.
Proceedings of the Lambda-Calculus and Computer Science Theory, 1975

1974
A parenthesis machine for string manipulation.
RAIRO - Theor. Inf. and Applic., 1974

Listing of information structures defined by fixed-point operators.
Proceedings of the Programming Symposium, 1974

Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms.
Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974

Combinatorial Problems, Combinator Equations and Normal Forms.
Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974

1973
Notes on "A CUCH-machine: The automatic treatment of bound variables".
International Journal of Parallel Programming, 1973

1972
A CUCH-machine: The automatic treatment of bound variables.
International Journal of Parallel Programming, 1972

Can Syntax Be Ignored during Translation?
ICALP, 1972


  Loading...