default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMariangiola Dezani-Ciancaglini
Mariangiola Dezani
Person information
- affiliation: University of Turin, Department of Computer Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j79]Franco Barbanera, Viviana Bono, Mariangiola Dezani-Ciancaglini:
Partially typed multiparty sessions with internal delegation. J. Log. Algebraic Methods Program. 142: 101018 (2025)- 2024
- [j78]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions. Fundam. Informaticae 192(1): 1-75 (2024) - [c113]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: 17-35 - [c112]Franco Barbanera
, Mariangiola Dezani-Ciancaglini:
Asynchronous Multiparty Sessions with Internal Delegation - Dedicated to Rocco De Nicola on the Occasion of his 70th Birthday. ISoLA (1) 2024: 322-339 - [c111]Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida:
On the Preciseness of Subtyping in Session Types: 10 Years Later. PPDP 2024: 2:1-2:3 - [c110]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Un-projectable Global Types for Multiparty Sessions. PPDP 2024: 15:1-15:13 - 2023
- [j77]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Event structure semantics for multiparty sessions. J. Log. Algebraic Methods Program. 131: 100844 (2023) - [j76]Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini:
Deconfined Global Types for Asynchronous Sessions. Log. Methods Comput. Sci. 19(1) (2023) - [c109]Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido:
Gradual Guarantee for FJ with lambda-Expressions. FTfJP@ECOOP 2023: 32-38 - [c108]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida:
Multicompatibility for Multiparty-Session Composition. PPDP 2023: 2:1-2:15 - [c107]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Partial Typing for Asynchronous Multiparty Sessions. DCM 2023: 1-20 - [c106]Franco Barbanera, Mariangiola Dezani-Ciancaglini:
Partially Typed Multiparty Sessions. ICE 2023: 15-34 - 2022
- [c105]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Open Compliance in Multiparty Sessions. FACS 2022: 222-243 - [c104]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Asynchronous Sessions with Input Races. PLACES@ETAPS 2022: 12-23 - [i11]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Event structure semantics for multiparty sessions. CoRR abs/2201.00221 (2022) - 2021
- [j75]Mariangiola Dezani:
EATCS Fellows 2022 - Call for Nominations. Bull. EATCS 135 (2021) - [j74]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto:
Composition and decomposition of multiparty sessions. J. Log. Algebraic Methods Program. 119: 100620 (2021) - [c103]Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini:
Deconfined Global Types for Asynchronous Sessions. COORDINATION 2021: 41-60 - [i10]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Global types and event structure semantics for asynchronous multiparty sessions. CoRR abs/2102.00865 (2021) - [i9]Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini:
Deconfined Global Types for Asynchronous Sessions. CoRR abs/2111.11984 (2021) - [i8]Mariangiola Dezani, Roland Kuhn, Sam Lindley, Alceste Scalas:
Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372). Dagstuhl Reports 11(8): 52-75 (2021) - 2020
- [j73]Christel Baier, Mikolaj Bojanczyk, Mariangiola Dezani, Josep Díaz, Giuseppe F. Italiano:
EATCS Fellows 2021 - Call for Nominations. Bull. EATCS 132 (2020) - [j72]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, Ross Horne:
Global types with internal delegation. Theor. Comput. Sci. 807: 128-153 (2020) - [c102]Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri:
Deconfined Intersection Types in Java. Gabbrielli's Festschrift 2020: 3:1-3:25 - [c101]Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini:
Soundness Conditions for Big-Step Semantics. ESOP 2020: 169-196 - [c100]Viviana Bono, Mariangiola Dezani-Ciancaglini:
A tale of intersection types. LICS 2020: 7-20 - [i7]Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini:
Soundness conditions for big-step semantics. CoRR abs/2002.08738 (2020)
2010 – 2019
- 2019
- [j71]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Reversible sessions with flexible choices. Acta Informatica 56(7-8): 553-583 (2019) - [j70]Christel Baier, Mikolaj Bojanczyk, Mariangiola Dezani, Josep Díaz, Giuseppe F. Italiano:
EATCS Fellows 2020 - Call for Nominations. Bull. EATCS 129 (2019) - [j69]Paula Severi, Mariangiola Dezani-Ciancaglini:
Observational Equivalence for Multiparty Sessions. Fundam. Informaticae 170(1-3): 267-305 (2019) - [c99]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Event Structure Semantics for Multiparty Sessions. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 340-363 - [c98]Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani:
Foundations of Session Types: 10 Years Later. PPDP 2019: 1:1-1:3 - [c97]Franco Barbanera, Mariangiola Dezani-Ciancaglini:
Open Multiparty Sessions. ICE 2019: 77-96 - 2018
- [j68]Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri:
Java & Lambda: a Featherweight Story. Log. Methods Comput. Sci. 14(3) (2018) - [c96]Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri:
Intersection Types in Java: Back to the Future. Models, Mindsets, Meta 2018: 68-86 - [i6]Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Java & Lambda: a Featherweight Story. CoRR abs/1801.05052 (2018) - 2017
- [j67]Viviana Bono, Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Data-driven adaptation for smart sessions. J. Log. Algebraic Methods Program. 90: 31-49 (2017) - [j66]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) - [j65]Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. Log. Methods Comput. Sci. 13(2) (2017) - [j64]Mariangiola Dezani, Sabrina Mantaci, Marinella Sciortino:
Preface. Math. Struct. Comput. Sci. 27(2): 92-93 (2017) - [j63]Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi:
Isomorphism of intersection and union types. Math. Struct. Comput. Sci. 27(5): 603-625 (2017) - [c95]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Concurrent Reversible Sessions. CONCUR 2017: 30:1-30:17 - 2016
- [j62]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) - [j61]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez:
Self-adaptation and secure information flow in multiparty communications. Formal Aspects Comput. 28(4): 669-696 (2016) - [j60]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Reversible client/server interactions. Formal Aspects Comput. 28(4): 697-722 (2016) - [j59]Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani:
Global progress for dynamically interleaved multiparty sessions. Math. Struct. Comput. Sci. 26(2): 238-302 (2016) - [j58]Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
Information flow safety in multiparty sessions. Math. Struct. Comput. Sci. 26(8): 1352-1394 (2016) - [c94]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: 155-172 - [c93]Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. COORDINATION 2016: 245-261 - [c92]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Secure Multiparty Sessions with Topics. PLACES 2016: 1-12 - [c91]Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Parallel Monitors for Self-adaptive Sessions. PLACES 2016: 25-36 - [c90]Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi:
Retractions in Intersection Types. ITRS 2016: 31-47 - [c89]Mariangiola Dezani-Ciancaglini, Paola Giannini:
Reversible Multiparty Sessions with Checkpoints. EXPRESS/SOS 2016: 60-74 - [i5]Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida:
On the Preciseness of Subtyping in Session Types. CoRR abs/1610.00328 (2016) - [i4]Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. CoRR abs/1610.06362 (2016) - 2015
- [j57]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): 763-780 (2015) - [j56]Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Self-adaptive multiparty sessions. Serv. Oriented Comput. Appl. 9(3-4): 249-268 (2015) - [c88]Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida:
A Gentle Introduction to Multiparty Asynchronous Session Types. SFM 2015: 146-178 - [c87]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida:
Precise subtyping for synchronous multiparty sessions. PLACES 2015: 29-43 - [c86]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo de'Liguoro:
Retractable Contracts. PLACES 2015: 61-72 - [c85]Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi:
Partial and Complete Processes in Multiparty Sessions. ICTCS 2015: 135-151 - [i3]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 abs/1510.02229 (2015) - 2014
- [j55]Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
Typing access control and secure information flow in sessions. Inf. Comput. 238: 68-105 (2014) - [c84]Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Self-Adaptive Monitors for Multiparty Sessions. PDP 2014: 688-696 - [c83]Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida:
On the Preciseness of Subtyping in Session Types. PPDP 2014: 135-146 - [c82]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan:
Preciseness of Subtyping on Intersection and Union Types. RTA-TLCA 2014: 194-207 - [c81]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez:
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective. BEAT 2014: 9-18 - [c80]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Compliance for reversible client/server interactions. BEAT 2014: 35-42 - [c79]Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi:
On Isomorphism of "Functional" Intersection and Union Types. ITRS 2014: 53-64 - [c78]Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic:
Session Type Isomorphisms. PLACES 2014: 61-71 - 2013
- [j54]Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina:
Type Directed Semantics for the Calculus of Looping Sequences. Int. J. Softw. Informatics 7(4): 501-526 (2013) - [j53]Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri:
Deriving session and union types for objects. Math. Struct. Comput. Sci. 23(6): 1163-1219 (2013) - [c77]Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida:
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. COORDINATION 2013: 45-59 - [c76]Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi:
Isomorphism of "Functional" Intersection Types. TYPES 2013: 129-149 - 2012
- [j52]Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani:
On Global Types and Multi-Party Session. Log. Methods Comput. Sci. 8(1) (2012) - [j51]Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina:
Typed stochastic semantics for the calculus of looping sequences. Theor. Comput. Sci. 431: 165-180 (2012) - [j50]Mariangiola Dezani-Ciancaglini, Ross Horne, Vladimiro Sassone:
Tracing where and who provenance in Linked Data: A calculus. Theor. Comput. Sci. 464: 113-129 (2012) - [c75]Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi:
Toward Isomorphism of Intersection and Union types. ITRS 2012: 58-80 - [c74]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: 101-106 - 2011
- [j49]Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca:
Extending the lambda-calculus with unbind and rebind. RAIRO Theor. Informatics Appl. 45(1): 143-162 (2011) - [c73]Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani:
On Global Types and Multi-party Sessions. FMOODS/FORTE 2011: 1-28 - [c72]Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
A Reputation System for Multirole Sessions. TGC 2011: 1-24 - [c71]Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari:
Constraints for Service Contracts. TGC 2011: 104-120 - [c70]Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
Information Flow Safety in Multiparty Sessions. EXPRESS 2011: 16-30 - [c69]Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina:
A Calculus of Looping Sequences with Local Rules. DCM 2011: 43-58 - 2010
- [j48]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): 1-29 (2010) - [j47]Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta:
On isomorphisms of intersection types. ACM Trans. Comput. Log. 11(4): 25:1-25:24 (2010) - [c68]Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk:
Session Types for Access and Information Flow Control. CONCUR 2010: 237-252 - [c67]Alexander J. Summers, Nicholas Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou:
Towards a semantic model for Java wildcards. FTfJP@ECOOP 2010: 2:1-2:7 - [c66]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic:
Types for Role-Based Access Control of Dynamic Web Data. WFLP 2010: 1-29 - [c65]Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca:
Intersection types for unbind and rebind. ITRS 2010: 45-58
2000 – 2009
- 2009
- [j46]Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida:
Objects and session types. Inf. Comput. 207(5): 595-641 (2009) - [j45]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): 142-167 (2009) - [c64]Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca:
Intersection, Universally Quantified, and Reference Types. CSL 2009: 209-224 - [c63]Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca:
The essence of static and dynamic bindings. ICTCS 2009: 99-106 - [c62]Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani:
Foundations of session types. PPDP 2009: 219-230 - [c61]Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Sessions and Session Types: An Overview. WS-FM 2009: 1-28 - [c60]Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina:
A Type System for Required/Excluded Elements in CLS. DCM 2009: 38-48 - [c59]Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina:
A Type System for a Stochastic CLS. MeCBIC 2009: 91-105 - 2008
- [j44]Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz:
A Calculus of Evolving Objects. Sci. Ann. Comput. Sci. 18: 63-98 (2008) - [j43]Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti:
Types for ambient and process mobility. Math. Struct. Comput. Sci. 18(2): 221-290 (2008) - [j42]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca:
Security types for dynamic web data. Theor. Comput. Sci. 402(2-3): 156-171 (2008) - [c58]Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri:
Session and Union Types for Object Oriented Programming. Concurrency, Graphs and Models 2008: 659-680 - [c57]Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida:
Global Progress in Dynamically Interleaved Multiparty Sessions. CONCUR 2008: 418-433 - [c56]Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta:
On Isomorphisms of Intersection Types. CSL 2008: 461-477 - [c55]Mario Coppo, Mariangiola Dezani-Ciancaglini:
Structured Communications with Concurrent Constraints. TGC 2008: 104-125 - [c54]Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina:
Type Disciplines for Analysing Biologically Relevant Properties. MeCBIC 2008: 97-111 - [p1]Mariangiola Dezani-Ciancaglini, J. Roger Hindley:
Lambda-Calculus. Wiley Encyclopedia of Computer Science and Engineering 2008 - [e4]Vincent Danos, Mariangiola Dezani:
Proceedings of the Third International Workshop on Developments in Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007. Electronic Notes in Theoretical Computer Science 192(3), Elsevier 2008 [contents] - 2007
- [j41]Pablo Garralda, Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini:
Boxed ambients with communication interfaces. Math. Struct. Comput. Sci. 17(4): 587-645 (2007) - [j40]Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone:
Space-aware ambients and processes. Theor. Comput. Sci. 373(1-2): 41-69 (2007) - [c53]Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida:
Asynchronous Session Types and Progress for Object Oriented Languages. FMOODS 2007: 1-31 - [c52]Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida:
On Progress for Structured Communications. TGC 2007: 257-275 - [c51]Vincent Danos, Mariangiola Dezani-Ciancaglini:
Preface. DCM@ICALP 2007: 1-2 - 2006
- [j39]Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini:
Intersection types and lambda models. Theor. Comput. Sci. 355(2): 108-126 (2006) - [c50]Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca:
Encoding CDuce in the Cpi-Calculus. CONCUR 2006: 310-326 - [c49]Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou:
Session Types for Object-Oriented Languages. ECOOP 2006: 328-352 - [c48]Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida:
Bounded Session Types for Object Oriented Languages. FMCO 2006: 207-245 - [c47]Makoto Tatsuta, Mariangiola Dezani-Ciancaglini:
Normalisation is Insensible to lambda-Term Identity or Difference. LICS 2006: 327-338 - [c46]Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini:
BASS: boxed ambients with safe sessions. PPDP 2006: 61-72 - [c45]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic:
Security Types for Dynamic Web Data. TGC 2006: 263-280 - [c44]Mariangiola Dezani-Ciancaglini, Makoto Tatsuta:
A Behavioural Model for Klop's Calculus. LMCS 2006: 19-32 - 2005
- [j38]Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama:
Compositional characterisations of lambda-terms using intersection types. Theor. Comput. Sci. 340(3): 459-495 (2005) - [c43]Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese:
A Mobility Calculus with Local and Dependent Types. Processes, Terms and Cycles 2005: 404-444 - [c42]Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Joseph Ahern, Sophia Drossopoulou:
A Distributed Object-Oriented Language with Session Types. TGC 2005: 299-318 - 2004
- [j37]Stéphane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel:
Intersection types for explicit substitutions. Inf. Comput. 189(1): 17-42 (2004) - [j36]Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
On Re-classification and Multi-threading. J. Object Technol. 3(11): 5-30 (2004) - [j35]Fabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin:
Intersection types and domain operators. Theor. Comput. Sci. 316(1): 25-47 (2004) - [j34]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec:
Behavioural inverse limit lambda-models. Theor. Comput. Sci. 316(1): 49-74 (2004) - [c41]Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese:
Dynamic and Local Typing for Mobile Ambients. IFIP TCS 2004: 577-590 - [c40]Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda:
Boxed Ambients with Communication Interfaces. MFCS 2004: 119-148 - [c39]Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Re-classification and multi-threading: FickleMT. SAC 2004: 1297-1304 - [c38]Fabio Alessi, Mariangiola Dezani-Ciancaglini:
Type Preorders and Recursive Terms. ITRS 2004: 3-21 - 2003
- [j33]Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries:
Infinitary lambda calculus and discrimination of Berarducci trees. Theor. Comput. Sci. 298(2): 275-302 (2003) - [j32]Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi:
A complete characterization of complete intersection-type preorders. ACM Trans. Comput. Log. 4(1): 120-147 (2003) - [c37]Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone:
A Calculus of Bounded Capacities. ASIAN 2003: 205-223 - [c36]Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini:
Tailoring Filter Models. TYPES 2003: 17-33 - [c35]Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini:
Intersection Types and Computational Rules. WoLLIC 2003: 45-59 - [c34]Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou:
Can addresses be types? (A case study: objects with delegation). WOOD 2003: 108-129 - [c33]Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo:
Mobility Types for Mobile Processes in Mobile Ambients. CATS 2003: 144-177 - 2002
- [j31]Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Yoko Motohama:
The Semantics of Entailment Omega. Notre Dame J. Formal Log. 43(3): 129-145 (2002) - [j30]Mariangiola Dezani-Ciancaglini, Mitsuhiro Okada, Masako Takahashi:
Theories of Types and Proofs 1997 - Preface. Theor. Comput. Sci. 272(1-2): 1-2 (2002) - [j29]Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries:
Intersection types for lambda-trees. Theor. Comput. Sci. 272(1-2): 3-40 (2002) - [j28]Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
More dynamic object reclassification: Fickle||. ACM Trans. Program. Lang. Syst. 24(2): 153-191 (2002) - [c32]Steffen van Bakel, Mariangiola Dezani-Ciancaglini:
Characterising Strong Normalisation for Explicit Substitutions. LATIN 2002: 356-370 - [c31]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan:
Two Behavioural Lambda Models. TYPES 2002: 127-147 - [c30]Mario Coppo, Mariangiola Dezani-Ciancaglini:
A Fully Abstract Model for Higher-Order Mobile Ambients. VMCAI 2002: 255-271 - [c29]Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama:
The Relevance of Semantic Subtyping. ITRS 2002: 88-105 - [i2]Mariangiola Dezani-Ciancaglini, Stefania Lusin:
Intersection Types and Lambda Theories. CoRR cs.LO/0211011 (2002) - 2001
- [j27]Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama:
Approximation Theorems for Intersection Type Systems. J. Log. Comput. 11(3): 395-417 (2001) - [c28]Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Fickle : Dynamic Object Re-classification. ECOOP 2001: 130-149 - [c27]Fabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell:
Filter Models and Easy Terms. ICTCS 2001: 17-37 - [c26]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone:
A Type Inference Algorithm for Secure Ambients. TOSCA 2001: 83-101 - [c25]Mariangiola Dezani-Ciancaglini, Elio Giovannetti:
From Bohm's Theorem to Observational Equivalences: an Informal Account. BOTH 2001: 83-116 - [c24]Mario Coppo, Mariangiola Dezani-Ciancaglini:
A Fully Abstract Model for Mobile Ambients. TOSCA 2001: 177-194 - 2000
- [c23]Mariangiola Dezani-Ciancaglini, Ivano Salvo:
Security Types for Mobile Safe Ambients. ASIAN 2000: 215-236 - [c22]Mariangiola Dezani-Ciancaglini:
Intersection Types and Properties of Lambda Terms. ICALP Satellite Workshops 2000: 267-268 - [c21]Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi:
A Complete Characterization of the Complete Intersection-Type Theories. ICALP Satellite Workshops 2000: 287-302 - [c20]Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama:
Compositional Characterizations of lambda-Terms Using Intersection Types. MFCS 2000: 304-313 - [c19]Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries:
Böhm's theorem for Berarducci trees. CATS 2000: 34-57 - [i1]Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi:
A Complete Characterization of Complete Intersection-Type Theories. CoRR cs.LO/0011039 (2000)
1990 – 1999
- 1999
- [j26]Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori:
A Subtyping for Extensible, Incomplete Objects. Fundam. Informaticae 38(4): 325-364 (1999) - [j25]Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn:
Discrimination by Parallel Observers: The Algorithm. Inf. Comput. 150(2): 153-186 (1999) - [j24]Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
A filter model for mobile processes. Math. Struct. Comput. Sci. 9(1): 63-101 (1999) - [j23]Mariangiola Dezani-Ciancaglini, Giuseppe Longo, Jonathan P. Seldin:
Preface. Math. Struct. Comput. Sci. 9(4): 321 (1999) - [j22]Alessandro Berarducci, Mariangiola Dezani-Ciancaglini:
Infinite lambda-Calculus and Types. Theor. Comput. Sci. 212(1-2): 29-75 (1999) - 1998
- [j21]Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno:
A Filter Model for Concurrent lambda-Calculus. SIAM J. Comput. 27(5): 1376-1419 (1998) - [c18]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries:
Types for trees. PROCOMET 1998: 11-29 - 1997
- [j20]Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus. Fundam. Informaticae 32(3-4): 193-250 (1997) - [j19]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri:
The "Relevance" of Intersection and Union Types. Notre Dame J. Formal Log. 38(2): 246-269 (1997) - [c17]Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn:
Discrimination by Parallel Observers. LICS 1997: 396-407 - [c16]Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori:
Subtyping Constraints for Incomplete Objects (Extended Abstract). TAPSOFT 1997: 465-477 - 1996
- [j18]Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno:
Filter Models for Conjunctive-Disjunctive lambda-Calculi. Theor. Comput. Sci. 170(1-2): 83-128 (1996) - 1995
- [j17]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Intersection and Union Types: Syntax and Semantics. Inf. Comput. 119(2): 202-230 (1995) - [e3]Mariangiola Dezani-Ciancaglini, Gordon D. Plotkin:
Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings. Lecture Notes in Computer Science 902, Springer 1995, ISBN 3-540-59048-X [contents] - 1994
- [j16]Felice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Combining Type Disciplines. Ann. Pure Appl. Log. 66(3): 197-230 (1994) - [j15]Mariangiola Dezani-Ciancaglini:
Preface. Inf. Comput. 109(1/2): 1-3 (1994) - [c15]Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
May and Must Convergencey in Concurrent Lambda-Calculus. MFCS 1994: 211-220 - [c14]Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno:
Fully Abstract Semantics for Concurrent Lambda-calculus. TACS 1994: 16-35 - 1993
- [c13]Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno:
Filter Models for a Parallel and Non Deterministic Lambda-Calculus. MFCS 1993: 403-412 - 1992
- [j14]Mariangiola Dezani-Ciancaglini, J. Roger Hindley:
Intersection Types for Combinatory Logic. Theor. Comput. Sci. 100(2): 303-324 (1992) - 1991
- [c12]Franco Barbanera, Mariangiola Dezani-Ciancaglini:
Intersection and Union Types. TACS 1991: 651-674 - 1990
- [j13]Mariangiola Dezani-Ciancaglini, Betti Venneri:
Partial Types and Intervals. SIAM J. Comput. 19(4): 644-568 (1990)
1980 – 1989
- 1989
- [e2]Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca:
Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings. Lecture Notes in Computer Science 372, Springer 1989, ISBN 3-540-51371-X [contents] - 1987
- [j12]Mario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi:
Type Theories, Normal Forms and D_\infty-Lambda-Models. Inf. Comput. 72(2): 85-116 (1987) - [c11]Mariangiola Dezani-Ciancaglini, Ines Margaria:
Polymorphic types, fixed-point combinators and continuous lambda-models. Formal Description of Programming Concepts 1987: 425-450 - 1986
- [j11]Mariangiola Dezani-Ciancaglini, Ines Margaria:
A Characterization of F-Complete Type Assignments. Theor. Comput. Sci. 45(2): 121-157 (1986) - 1984
- [c10]Mariangiola Dezani-Ciancaglini, Ines Margaria:
F-Semantics for Intersection Type Discipline. Semantics of Data Types 1984: 279-300 - 1983
- [j10]Henk Barendregt, Mario Coppo, Mariangiola Dezani-Ciancaglini:
A Filter Lambda Model and the Completeness of Type Assignment. J. Symb. Log. 48(4): 931-940 (1983) - [c9]Mario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo:
Applicative Information Systems. CAAP 1983: 35-64 - 1982
- [e1]Mariangiola Dezani-Ciancaglini, Ugo Montanari:
International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings. Lecture Notes in Computer Science 137, Springer 1982, ISBN 3-540-11494-7 [contents] - 1981
- [j9]Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Functional Characters of Solvable Terms. Math. Log. Q. 27(2-6): 45-58 (1981) - 1980
- [j8]Mario Coppo, Mariangiola Dezani-Ciancaglini:
An extension of the basic functionality theory for the λ-calculus. Notre Dame J. Formal Log. 21(4): 685-693 (1980)
1970 – 1979
- 1979
- [j7]Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, Lorenza Saitta:
Complexity of lambda-term reductions. RAIRO Theor. Informatics Appl. 13(3): 257-287 (1979) - [j6]Corrado Böhm, Mariangiola Dezani-Ciancaglini, P. Peretti, Simona Ronchi Della Rocca:
A Discrimination Algorithm Inside lambda-beta-Calculus. Theor. Comput. Sci. 8: 265-292 (1979) - [c8]Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé:
Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. ICALP 1979: 133-146 - 1978
- [j5]Mario Coppo, Mariangiola Dezani-Ciancaglini:
A new type assignment for λ-terms. Arch. Math. Log. 19(1): 139-156 (1978) - [c7]Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca:
(Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus. ICALP 1978: 142-164 - 1977
- [c6]Corrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini:
Termination Tests inside lambda-Calculus. ICALP 1977: 95-110 - 1976
- [j4]Mariangiola Dezani-Ciancaglini:
Characterization of Normal Forms Possessing Inverse in the lambda-beta-eta-Calculus. Theor. Comput. Sci. 2(3): 323-337 (1976) - 1975
- [c5]Corrado Böhm, Mariangiola Dezani-Ciancaglini:
Lambda-terms as total or partial functions on normal forms. Lambda-Calculus and Computer Science Theory 1975: 96-121 - 1974
- [j3]Mariangiola Dezani-Ciancaglini:
A parenthesis machine for string manipulation. RAIRO Theor. Informatics Appl. 8(3): 37-46 (1974) - [c4]Mariangiola Dezani-Ciancaglini, Maddalena Zacchi:
Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms. ICALP 1974: 170-184 - [c3]Corrado Böhm, Mariangiola Dezani-Ciancaglini:
Combinatorial Problems, Combinator Equations and Normal Forms. ICALP 1974: 185-199 - [c2]Corrado Böhm, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca:
Listing of information structures defined by fixed-point operators. Symposium on Programming 1974: 266-279 - 1973
- [j2]Corrado Böhm, Mariangiola Dezani:
Notes on "A CUCH-machine: The automatic treatment of bound variables". Int. J. Parallel Program. 2(2): 157-160 (1973) - 1972
- [j1]Corrado Böhm, Mariangiola Dezani-Ciancaglini:
A CUCH-machine: The automatic treatment of bound variables. Int. J. Parallel Program. 1(2): 171-191 (1972) - [c1]Corrado Böhm, Mariangiola Dezani-Ciancaglini:
Can Syntax Be Ignored during Translation? ICALP 1972: 197-207
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 21:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
