Mariangiola Dezani-Ciancaglini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
44
Venues
18
Active years
1972–2026
Best venue rank
A*
Where they publish
Papers
44 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FOSSACS | Lambda Galore. | Mariangiola Dezani-Ciancaglini, Besik Dundua, Furio Honsell |
| 2025 | FSCD | Unsolvable Terms in Filter Models (Invited Talk). | Mariangiola Dezani-Ciancaglini, Paola Giannini, Furio Honsell |
| 2024 | ISoLA | Asynchronous Multiparty Sessions with Internal Delegation - Dedicated to Rocco De Nicola on the Occasion of his 70th Birthday. | Franco Barbanera, Mariangiola Dezani-Ciancaglini |
| 2024 | PPDP | Un-projectable Global Types for Multiparty Sessions. | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
| 2024 | PPDP | On the Preciseness of Subtyping in Session Types: 10 Years Later. | Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
| 2023 | FTfJP | Gradual Guarantee for FJ with lambda-Expressions. | Pedro ngelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mrio Florido |
| 2023 | PPDP | Multicompatibility for Multiparty-Session Composition. | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida |
| 2021 | Coordination | Deconfined Global Types for Asynchronous Sessions. | Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini |
| 2020 | ESOP | Soundness Conditions for Big-Step Semantics. | Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini |
| 2020 | LICS | A tale of intersection types. | Viviana Bono, Mariangiola Dezani-Ciancaglini |
| 2019 | PPDP | Foundations of Session Types: 10 Years Later. | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani |
| 2017 | CONCUR | Concurrent Reversible Sessions. | Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini |
| 2016 | Coordination | On Sessions and Infinite Data. | Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini |
| 2014 | PDP | Self-Adaptive Monitors for Multiparty Sessions. | Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri |
| 2014 | PPDP | On the Preciseness of Subtyping in Session Types. | Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
| 2013 | Coordination | Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. | Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida |
| 2011 | FORTE | On Global Types and Multi-party Sessions. | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani |
| 2010 | CONCUR | Session Types for Access and Information Flow Control. | Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk |
| 2010 | ECOOP | Towards a semantic model for Java wildcards. | Alexander J. Summers, Nicholas Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou |
| 2009 | CSL | Intersection, Universally Quantified, and Reference Types. | Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca |
| 2009 | PPDP | Foundations of session types. | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani |
| 2008 | CONCUR | Global Progress in Dynamically Interleaved Multiparty Sessions. | Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
| 2008 | CSL | On Isomorphisms of Intersection Types. | Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta |
| 2006 | CONCUR | Encoding CDuce in the Cpi-Calculus. | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca |
| 2006 | ECOOP | Session Types for Object-Oriented Languages. | Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou |
| 2006 | LICS | Normalisation is Insensible to lambda-Term Identity or Difference. | Makoto Tatsuta, Mariangiola Dezani-Ciancaglini |
| 2006 | PPDP | BASS: boxed ambients with safe sessions. | Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini |
| 2004 | MFCS | Boxed Ambients with Communication Interfaces. | Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda |
| 2004 | SAC | Re-classification and multi-threading: | Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini |
| 2002 | LATIN | Characterising Strong Normalisation for Explicit Substitutions. | Steffen van Bakel, Mariangiola Dezani-Ciancaglini |
| 2002 | VMCAI | A Fully Abstract Model for Higher-Order Mobile Ambients. | Mario Coppo, Mariangiola Dezani-Ciancaglini |
| 2001 | ECOOP | Fickle : Dynamic Object Re-classification. | Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini |
| 2000 | ICALP | A Complete Characterization of the Complete Intersection-Type Theories. | Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi |
| 2000 | ICALP | Intersection Types and Properties of Lambda Terms. | Mariangiola Dezani-Ciancaglini |
| 2000 | MFCS | Compositional Characterizations of lambda-Terms Using Intersection Types. | Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama |
| 1997 | LICS | Discrimination by Parallel Observers. | Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn |
| 1994 | MFCS | May and Must Convergencey in Concurrent Lambda-Calculus. | Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
| 1993 | MFCS | Filter Models for a Parallel and Non Deterministic Lambda-Calculus. | Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno |
| 1979 | ICALP | Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. | Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sall |
| 1978 | ICALP | (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 |
| 1977 | ICALP | Termination Tests inside lambda-Calculus. | Corrado Bhm, Mario Coppo, Mariangiola Dezani-Ciancaglini |
| 1974 | ICALP | Combinatorial Problems, Combinator Equations and Normal Forms. | Corrado Bhm, Mariangiola Dezani-Ciancaglini |
| 1974 | ICALP | Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms. | Mariangiola Dezani-Ciancaglini, Maddalena Zacchi |
| 1972 | ICALP | Can Syntax Be Ignored during Translation? | Corrado Bhm, Mariangiola Dezani-Ciancaglini |