Mariangiola Dezani-Ciancaglini

ORCID

Publication Activity (10 Years)

Years Active: 1972-2024
Publications (10 Years): 46

Top Venues

CoRR

PLACES

J. Log. Algebraic Methods Program.

Log. Methods Comput. Sci.

Publications

Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Betti Venneri
YACC: Yet Another Church Calculus - A Birthday Present for Herman Inspired by His Supervisor Activity. Logics and Type Systems in Theory and Practice (2024)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions. Fundam. Informaticae 192 (1) (2024)
Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido
Gradual Guarantee for FJ with lambda-Expressions. FTfJP@ECOOP (2023)
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
Deconfined Global Types for Asynchronous Sessions. Log. Methods Comput. Sci. 19 (1) (2023)
Franco Barbanera, Mariangiola Dezani-Ciancaglini
Partially Typed Multiparty Sessions. CoRR (2023)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida
Multicompatibility for Multiparty-Session Composition. PPDP (2023)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Event structure semantics for multiparty sessions. J. Log. Algebraic Methods Program. 131 (2023)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Event structure semantics for multiparty sessions. CoRR (2022)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Open Compliance in Multiparty Sessions. FACS (2022)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Asynchronous Sessions with Input Races. PLACES@ETAPS (2022)
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
Deconfined Global Types for Asynchronous Sessions. COORDINATION (2021)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Global types and event structure semantics for asynchronous multiparty sessions. CoRR (2021)
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
Deconfined Global Types for Asynchronous Sessions. CoRR (2021)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto
Composition and decomposition of multiparty sessions. J. Log. Algebraic Methods Program. 119 (2021)
Viviana Bono, Mariangiola Dezani-Ciancaglini
A tale of intersection types. LICS (2020)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
Deconfined Intersection Types in Java. Gabbrielli's Festschrift (2020)
Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
Soundness conditions for big-step semantics. CoRR (2020)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, Ross Horne
Global types with internal delegation. Theor. Comput. Sci. 807 (2020)
Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
Soundness Conditions for Big-Step Semantics. ESOP (2020)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Event Structure Semantics for Multiparty Sessions. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Paula Severi, Mariangiola Dezani-Ciancaglini
Observational Equivalence for Multiparty Sessions. Fundam. Informaticae 170 (1-3) (2019)
Franco Barbanera, Mariangiola Dezani-Ciancaglini
Open Multiparty Sessions. ICE (2019)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Reversible sessions with flexible choices. Acta Informatica 56 (7-8) (2019)
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani
Foundations of Session Types: 10 Years Later. PPDP (2019)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
Intersection Types in Java: Back to the Future. Models, Mindsets, Meta (2018)
Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
Java & Lambda: a Featherweight Story. Log. Methods Comput. Sci. 14 (3) (2018)
Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Betti Venneri
Java & Lambda: a Featherweight Story. CoRR (2018)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Concurrent Reversible Sessions. CONCUR (2017)
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida
On the Preciseness of Subtyping in Session Types. Log. Methods Comput. Sci. 13 (2) (2017)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
Isomorphism of intersection and union types. Math. Struct. Comput. Sci. 27 (5) (2017)
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
On Sessions and Infinite Data. Log. Methods Comput. Sci. 13 (2) (2017)
Viviana Bono, Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Data-driven adaptation for smart sessions. J. Log. Algebraic Methods Program. 90 (2017)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Reversible client/server interactions. Formal Aspects Comput. 28 (4) (2016)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
Self-adaptation and secure information flow in multiparty communications. Formal Aspects Comput. 28 (4) (2016)
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
On Sessions and Infinite Data. COORDINATION (2016)
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
On Sessions and Infinite Data. CoRR (2016)
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida
On the Preciseness of Subtyping in Session Types. CoRR (2016)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Secure Multiparty Sessions with Topics. PLACES (2016)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
Partial and Complete Processes in Multiparty Sessions. Electron. Notes Theor. Comput. Sci. 322 (2016)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Parallel Monitors for Self-adaptive Sessions. PLACES (2016)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi
Retractions in Intersection Types. ITRS (2016)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida
Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Theory and Practice of Formal Methods (2016)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani
Global progress for dynamically interleaved multiparty sessions. Math. Struct. Comput. Sci. 26 (2) (2016)
Mariangiola Dezani-Ciancaglini, Paola Giannini
Reversible Multiparty Sessions with Checkpoints. EXPRESS/SOS (2016)
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
Information flow safety in multiparty sessions. Math. Struct. Comput. Sci. 26 (8) (2016)
Luca Aceto, Mariangiola Dezani-Ciancaglini, Yuri Gurevich, David Harel, Monika Henzinger, Giuseppe F. Italiano, Scott A. Smolka, Paul G. Spirakis, Wolfgang Thomas
EATCS Fellows' Advice to the Young Theoretical Computer Scientist. Bull. EATCS 119 (2016)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Self-adaptive multiparty sessions. Serv. Oriented Comput. Appl. 9 (3-4) (2015)
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira
Combining behavioural types with security analysis. CoRR (2015)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo de'Liguoro
Retractable Contracts. PLACES (2015)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida
Precise subtyping for synchronous multiparty sessions. PLACES (2015)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida
A Gentle Introduction to Multiparty Asynchronous Session Types. SFM (2015)
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira
Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. 84 (6) (2015)
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
Typing access control and secure information flow in sessions. Inf. Comput. 238 (2014)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
On Isomorphism of "Functional" Intersection and Union Types. ITRS (2014)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan
Preciseness of Subtyping on Intersection and Union Types. RTA-TLCA (2014)
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
On the Preciseness of Subtyping in Session Types. PPDP (2014)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective. BEAT (2014)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Compliance for reversible client/server interactions. BEAT (2014)
Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic
Session Type Isomorphisms. PLACES (2014)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Self-Adaptive Monitors for Multiparty Sessions. PDP (2014)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. COORDINATION (2013)
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri
Deriving session and union types for objects. Math. Struct. Comput. Sci. 23 (6) (2013)
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Type Directed Semantics for the Calculus of Looping Sequences. Int. J. Softw. Informatics 7 (4) (2013)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
Isomorphism of "Functional" Intersection Types. TYPES (2013)
Mariangiola Dezani-Ciancaglini, Ross Horne, Vladimiro Sassone
Tracing where and who provenance in Linked Data: A calculus. Theor. Comput. Sci. 464 (2012)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
Toward Isomorphism of Intersection and Union types. ITRS (2012)
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Typed stochastic semantics for the calculus of looping sequences. Theor. Comput. Sci. 431 (2012)
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
On Global Types and Multi-Party Session Log. Methods Comput. Sci. 8 (1) (2012)
Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini, Karin Sauer, Vishakha Sharma, Angelo Troina
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions MeCBIC (2012)
Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari
Constraints for Service Contracts. TGC (2011)
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
On Global Types and Multi-party Sessions. FMOODS/FORTE (2011)
Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
A Reputation System for Multirole Sessions. TGC (2011)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
Extending the lambda-calculus with unbind and rebind. RAIRO Theor. Informatics Appl. 45 (1) (2011)
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
Information Flow Safety in Multiparty Sessions EXPRESS (2011)
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
A Calculus of Looping Sequences with Local Rules DCM (2011)
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk
Session Types for Access and Information Flow Control. CONCUR (2010)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic
Types for Role-Based Access Control of Dynamic Web Data. WFLP (2010)
Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, Mariangiola Dezani-Ciancaglini, Paolo Milazzo
A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday. Fundam. Informaticae 103 (1-4) (2010)
Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta
On isomorphisms of intersection types. ACM Trans. Comput. Log. 11 (4) (2010)
Alexander J. Summers, Nicholas Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou
Towards a semantic model for Java wildcards. FTfJP@ECOOP (2010)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
Intersection types for unbind and rebind ITRS (2010)
Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina
Type Disciplines for Analysing Biologically Relevant Properties. Electron. Notes Theor. Comput. Sci. 227 (2009)
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Sessions and Session Types: An Overview. WS-FM (2009)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
A Type System for Required/Excluded Elements in CLS DCM (2009)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
The essence of static and dynamic bindings. ICTCS (2009)
Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino
Amalgamating sessions and methods in object-oriented languages with generics. Theor. Comput. Sci. 410 (2-3) (2009)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
A Type System for a Stochastic CLS MeCBIC (2009)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca
Intersection, Universally Quantified, and Reference Types. CSL (2009)
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani
Foundations of session types. PPDP (2009)
Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida
Objects and session types. Inf. Comput. 207 (5) (2009)
Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta
On Isomorphisms of Intersection Types. CSL (2008)
Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
Global Progress in Dynamically Interleaved Multiparty Sessions. CONCUR (2008)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz
A Calculus of Evolving Objects. Sci. Ann. Comput. Sci. 18 (2008)
Mario Coppo, Mariangiola Dezani-Ciancaglini
Structured Communications with Concurrent Constraints. TGC (2008)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti
Types for ambient and process mobility. Math. Struct. Comput. Sci. 18 (2) (2008)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca
Security types for dynamic web data. Theor. Comput. Sci. 402 (2-3) (2008)
Vincent Danos, Mariangiola Dezani-Ciancaglini
Preface. Electron. Notes Theor. Comput. Sci. 192 (3) (2008)
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri
Session and Union Types for Object Oriented Programming. Concurrency, Graphs and Models (2008)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
Asynchronous Session Types and Progress for Object Oriented Languages. FMOODS (2007)
Mariangiola Dezani-Ciancaglini, Makoto Tatsuta
A Behavioural Model for Klop's Calculus. Electron. Notes Theor. Comput. Sci. 169 (2007)

Mariangiola Dezani-Ciancaglini.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mariangiola Dezani-Ciancaglini