Edit Profile (opens in new tab) Dezani-Ciancaglini, Mariangiola Co-Author Distance Author ID: dezani-ciancaglini.mariangiola Published as: Dezani-Ciancaglini, Mariangiola; Dezani-Ciancaglini, M.; Dezani, Mariangiola; Dezaniciancaglini, Mariangiola; Dezani-Ciancaglini, Mariangola; Dezani Ciancaglini, M.; Dezani, M. more...less Homepage: http://www.di.unito.it/~dezani/ External Links: MGP · ORCID · Google Scholar · ResearchGate · dblp · IdRef · theses.fr Documents Indexed: 139 Publications since 1972 10 Contributions as Editor · 2 Further Contributions Biographic References: 2 Publications Co-Authors: 100 Co-Authors with 149 Joint Publications 1,280 Co-Co-Authors all top 5 Co-Authors 2 single-authored 30 Coppo, Mario 17 Giannini, Paola 13 Böhm, Corrado 11 Barbanera, Franco 10 Alessi, Fabio 10 Castellani, Ilaria 10 de’Liguoro, Ugo 10 Ghilezan, Silvia 9 Giovannetti, Elio 9 Ronchi Della Rocca, Simona 9 Venneri, Betti 9 Yoshida, Nobuko 7 Capecchi, Sara 7 Honsell, Furio 6 Margaria, Ines 6 Zacchi, Maddalena 5 Bono, Viviana 5 Drossopoulou, Sophia Chloe 5 Motohama, Yoko 5 Pantović, Jovanka 5 Severi, Paula Gabriela 5 Troina, Angelo 4 Bettini, Lorenzo 4 Giachino, Elena 4 Longo, Giuseppe 4 Padovani, Luca 4 Sassone, Vladimiro 3 Ausiello, Giorgio 3 Barendregt, Hendrik Pieter 3 Bugliesi, Michele 3 Cardone, Felice 3 de Vries, Fer-Jan J. 3 Piperno, Adolfo 3 Salvo, Ivano 3 Tatsuta, Makoto 3 van Bakel, Steffen 3 Zucca, Elena 2 Bioglio, Livio 2 Bonelli, Eduardo 2 Castagna, Giuseppe 2 Compagnoni, Adriana B. 2 Dagnino, Francesco 2 Damiani, Ferruccio 2 Di Cosmo, Roberto 2 Garralda, Pablo 2 Hindley, J. Roger 2 Horne, Ross 2 Jakšić, Svetlana 2 Pérez, Jorge A. 2 Plotkin, Gordon D. 2 Pugliese, Rosario 2 Seldin, Jonathan P. 2 Statman, Richard 2 Takahashi, Masako 2 Tuosto, Emilio 2 Urzyczyn, Paweł 2 Varacca, Daniele 1 Aczel, Peter 1 Ahern, Alexander 1 Aman, Bogdan 1 Barbuti, Roberto 1 Bartoletti, Massimo 1 Berarducci, Alessandro 1 Bezem, Marc 1 Böhm, Ariela 1 Böhm, Emanuele 1 Böhm, Michele 1 Böhm, Nora Perugia 1 Bunder, Martin W. 1 Chen, Tzu-Chun 1 Cozzi, Federico 1 Danos, Vincent 1 D’Antoni, Loris 1 de Bruijn, Nicolaas Govert 1 De Luca, Marco 1 Dekkers, Wil J. M. 1 Deniélou, Pierre-Malo 1 Diller, Justus 1 Dougherty, Dan 1 Dowek, Gilles 1 Ermine, Francoise 1 Feferman, Solomon 1 Fitch, Frederic Brenton 1 Frisch, Alain 1 Gandy, Robin O. 1 Gilmore, Paul C. 1 Howard, William Alvin 1 Kearns, John T. 1 Klop, Jan Willem 1 Koymans, Karst 1 Kuzichev, Alexander Sergeevich 1 Lambek, Joachim 1 Lanese, Ivan 1 Lengrand, Stéphane Jean Eric 1 Lescanne, Pierre 1 Levy, Jean-Jacques 1 Likavec, Silvia 1 Liquori, Luigi 1 Lusin, Stefania 1 Maggiolo-Schettini, Andrea ...and 28 more Co-Authors all top 5 Serials 19 Theoretical Computer Science 9 MSCS. Mathematical Structures in Computer Science 6 Information and Computation 5 Logical Methods in Computer Science 4 Journal of Logical and Algebraic Methods in Programming 3 Notre Dame Journal of Formal Logic 3 Annales Societatis Mathematicae Polonae. Series IV 3 Fundamenta Informaticae 3 Lecture Notes in Computer Science 2 Calcolo 2 International Journal of Computer & Information Sciences 2 SIAM Journal on Computing 2 Formal Aspects of Computing 2 ACM Transactions on Computational Logic 1 Acta Informatica 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Control and Cybernetics 1 The Journal of Symbolic Logic 1 RAIRO, Informatique Théorique 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Annals of Pure and Applied Logic 1 Journal of Logic and Computation 1 Electronic Notes in Theoretical Computer Science 1 MSJ Memoirs 1 Scientific Annals of Computer Science 1 RAIRO. Theoretical Informatics and Applications 1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge 1 Perspectives in Logic all top 5 Fields 117 Computer science (68-XX) 69 Mathematical logic and foundations (03-XX) 10 General and overarching topics; collections (00-XX) 4 Biology and other natural sciences (92-XX) 2 History and biography (01-XX) 2 Combinatorics (05-XX) 1 Category theory; homological algebra (18-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 135 Publications have been cited 1,195 times in 485 Documents Cited by ▼ Year ▼ A filter lambda model and the completeness of type assignment. Zbl 0545.03004 Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola 156 1983 An extension of basic functionality theory for \(\lambda\)-calculus. Zbl 0423.03010 Coppo, Mario; Dezani-Ciancaglini, Mariangiola 80 1980 Functional characters of solvable terms. Zbl 0479.03006 Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B. 57 1981 Extended type structures and filter lambda models. Zbl 0558.03007 Coppo, M.; Dezani-Ciancaglini, M.; Honsell, F.; Longo, Giuseppe 53 1984 A new type assignment for \(\lambda\)-terms. Zbl 0418.03010 Coppo, M.; Dezani-Ciancaglini, M. 52 1978 To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006 46 1980 Global progress for dynamically interleaved multiparty sessions. Zbl 1361.68165 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Padovani, Luca 39 2016 Lambda calculus with types. With contributions from Fabio Alessi, Henk Barendregt, Marc Bezem, Felice Cardone, Mario Coppo, Wil Dekkers, Mariangiola Dezani-Ciancaglini, Gilles Dowek, Silvia Ghilezan, Furio Honsell, Michael Moortgat, Paula Severi, Richard Statman, Paweł Urzyczyn. Zbl 1347.03001 Barendregt, Henk; Dekkers, Wil; Statman, Richard 39 2013 Intersection and union types: Syntax and semantics. Zbl 0832.68065 Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo 37 1995 Global progress in dynamically interleaved multiparty sessions. Zbl 1160.68456 Bettini, Lorenzo; Coppo, Mario; D’Antoni, Loris; De Luca, Marco; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko 36 2008 Type theories, normal forms, and \(D_{\infty}\)-lambda-models. Zbl 0645.03011 Coppo, M.; Dezani-Ciancaglini, M.; Zacchi, M. 34 1987 Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus. Zbl 0368.02028 Dezani-Ciancaglini, Mariangiola 23 1976 On global types and multi-party sessions. Zbl 1238.68026 Castagna, Giuseppe; Dezani-Ciancaglini, Mariangiola; Padovani, Luca 21 2012 A filter model for concurrent \(\lambda\)-calculus. Zbl 0916.03017 Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo 20 1998 On the preciseness of subtyping in session types. Zbl 1398.68360 Chen, Tzu-Chun; Dezani-Ciancaglini, Mariangiola; Scalas, Alceste; Yoshida, Nobuko 17 2017 Asynchronous session types and progress for object oriented languages. Zbl 1202.68094 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko 17 2007 Objects and session types. Zbl 1183.68358 Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Mostrous, Dimitris; Yoshida, Nobuko 15 2009 A discrimination algorithm inside \(\lambda -\beta\)-calculus. Zbl 0405.03005 Böhm, C.; Dezani-Ciancaglini, M.; Peretti, P.; Ronchi della Rocca, S. 14 1979 \(\lambda\)-terms as total or partial functions on normal forms. Zbl 0342.02017 Böhm, Corrado; Dezani-Ciancaglini, Mariangiola 12 1975 (Semi)-separability of finite sets of terms in Scott’s \(D_\infty\)-models of the \(\lambda\)-calculus. Zbl 0394.03021 Coppo, M.; Dezani-Ciancaglini, M.; Ronchi della Rocca, S. 12 1978 Intersection types for combinatory logic. Zbl 0771.03004 Dezani-Ciancaglini, Mariangiola; Hindley, J. Roger 12 1992 Infinite \(\lambda\)-calculus and types. Zbl 0913.68131 Berarducci, Alessandro; Dezani-Ciancaglini, Mariangiola 11 1999 Combinatorial problems, combinator equations and normal forms. Zbl 0309.68037 Böhm, Corrado; Dezani-Ciancaglini, Mariangiola 11 1974 Security types for mobile safe ambients. Zbl 0988.68544 Dezani-Ciancaglini, M.; Salvo, I. 11 2000 A characterization of F-complete type assignments. Zbl 0619.03014 Dezani-Ciancaglini, Mariangiola; Margaria, Ines 11 1986 Session types for access and information flow control. Zbl 1287.68126 Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Rezk, Tamara 11 2010 A gentle introduction to multiparty asynchronous session types. Zbl 1346.68034 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko 10 2015 Filter models and easy terms. Zbl 1042.03014 Alessi, Fabio; Dezani-Ciancaglini, Mariangiola; Honsell, Furio 10 2001 Functional characterization of some semantic equalities inside lambda- calculus. Zbl 0411.03013 Coppo, M.; Dezani-Ciancaglini, M.; Salle, P. 9 1979 A complete characterization of complete intersection-type preorders. Zbl 1365.03015 Dezani-Ciancaglini, M.; Honsell, F.; Alessi, F. 9 2003 Filter models for conjunctive-disjunctive \(\lambda\)-calculi. Zbl 0874.03015 Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo 9 1996 Bounded session types for object oriented languages. Zbl 1147.68445 Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Drossopoulou, Sophia; Yoshida, Nobuko 9 2007 Termination tests inside lambda-calculus. Zbl 0358.02025 Böhm, C.; Coppo, M.; Dezani-Ciancaglini, M. 8 1977 Compositional characterizations of \(\lambda\)-terms using intersection types (extended abstract). Zbl 0996.03501 Dezani-Ciancaglini, M.; Honsell, F.; Motohama, Y. 8 2000 Typing access control and secure information flow in sessions. Zbl 1360.68207 Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola 8 2014 The “relevance” of intersection and union types. Zbl 0918.03008 Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Venneri, Betti 8 1997 Intersection types and lambda models. Zbl 1088.68031 Alessi, Fabio; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola 8 2006 Compositional characterisations of \(\lambda\)-terms using intersection types. Zbl 1077.68017 Dezani-Ciancaglini, M.; Honsell, F.; Motohama, Y. 8 2005 The semantics of entailment omega. Zbl 1042.03019 Dezani-Ciancaglini, Mariangiola; Meyer, Robert K.; Motohama, Yoko 8 2002 Intersection types and domain operators. Zbl 1055.03011 Alessi, Fabio; Dezani-Ciancaglini, Mariangiola; Lusin, Stefania 8 2004 Behavioural inverse limit \(\lambda\)-models. Zbl 1055.03014 Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Likavec, Silvia 8 2004 Reversible sessions with flexible choices. Zbl 1462.68121 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola 8 2019 A CUCH-machine: The automatic treatment of bound variables. Zbl 0277.68026 Böhm, Corrado; Dezani, Mariangiola 7 1972 Self-adaptation and secure information flow in multiparty communications. Zbl 1345.68232 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Pérez, Jorge A. 7 2016 Combining behavioural types with security analysis. Zbl 1330.68045 Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres 7 2015 A distributed object-oriented language with session types. Zbl 1151.68347 Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Ahern, Alexander; Drossopoulou, Sophia 7 2005 F-semantics for intersection type discipline. Zbl 0552.68006 Dezani-Ciancaglini, M.; Margaria, I. 7 1984 Amalgamating sessions and methods in object-oriented languages with generics. Zbl 1169.68011 Capecchi, Sara; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Giachino, Elena 7 2009 Intersection types, \(\lambda\)-models, and Böhm trees. Zbl 0946.03016 Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; de’Liguoro, Ugo 6 1998 Intersection types for explicit substitutions. Zbl 1082.68014 Lengrand, Stéphane; Lescanne, Pierre; Dougherty, Dan; Dezani-Ciancaglini, Mariangiola; van Bakel, Steffen 6 2004 Applicative information systems. Zbl 0524.68018 Coppo, M.; Dezani, M.; Longo, Giuseppe 6 1983 M\(^3\): mobility types for mobile processes in mobile ambients. Zbl 1270.68211 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Salvo, Ivano 6 2003 Information flow safety in multiparty sessions. Zbl 1457.68182 Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola 6 2011 Types for role-based access control of dynamic web data. Zbl 1327.68169 Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka 6 2011 Two behavioural lambda models. Zbl 1023.03022 Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia 6 2003 A filter model for mobile processes. Zbl 0923.68088 Damiani, Ferruccio; Dezani-Ciancaglini, Mariangiola; Giannini, Paola 5 1999 Reversible client/server interactions. Zbl 1345.68016 Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo 5 2016 Discrimination by parallel observers: the algorithm. Zbl 1045.68525 Dezani-Ciancaglini, Mariangiola; Tiuryn, Jerzy; Urzyczyn, Paweł 5 1999 Boxed ambients with communication interfaces. Zbl 1097.68083 Bonelli, Eduardo; Compagnoni, Adriana; Dezani-Ciancaglini, Mariangiola; Garralda, Pablo 5 2004 Composition and decomposition of multiparty sessions. Zbl 1462.68120 Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Lanese, Ivan; Tuosto, Emilio 5 2021 Extending the lambda-calculus with unbind and rebind. Zbl 1220.68045 Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Zucca, Elena 5 2011 Global types with internal delegation. Zbl 1436.68208 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Horne, Ross 5 2020 Complexity of \(\lambda\)-term reductions. Zbl 0424.03009 Dezani-Ciancaglini, M.; Ronchi Della Rocca, S.; Saitta, L. 4 1979 Fully abstract semantics for concurrent \(\lambda\)-calculus. Zbl 0942.03509 Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo 4 1994 Intersection types for \(\lambda\)-trees. Zbl 0984.68033 van Bakel, Steffen; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de Vries, Fer-Jan 4 2002 \(\mathcal F\)ickle: dynamic object re-classification. Zbl 0982.68636 Drossopoulou, Sophia; Damiani, Ferruccio; Dezani-Ciancaglini, Mariangiola; Giannini, Paola 4 2001 A subtyping for extensible, incomplete objects. Zbl 1040.03506 Bono, Viviana; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Liquori, Luigi 4 1999 Information flow safety in multiparty sessions. Zbl 1362.68204 Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola 4 2016 A mobility calculus with local and dependent types. Zbl 1171.68566 Coppo, Mario; Cozzi, Federico; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Pugliese, Rosario 4 2005 Dynamic and local typing for mobile ambients. Zbl 1094.68060 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Pugliese, Rosario 4 2004 A type inference algorithm for secure ambients. Zbl 1268.68120 Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Salvo, Ivano; Sassone, Vladimiro 4 2002 A calculus of bounded capacities. Zbl 1215.68036 Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro 4 2003 Reversible multiparty sessions with checkpoints. Zbl 1478.68190 Dezani-Ciancaglini, Mariangiola; Giannini, Paola 4 2016 Concurrent reversible sessions. Zbl 1442.68129 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola 4 2017 Intersection and union types. Zbl 1493.68080 Barbanera, Franco; Dezani-Ciancaglini, Mariangiola 4 1991 Observational equivalence for multiparty sessions. Zbl 1436.68214 Severi, Paula; Dezani-Ciancaglini, Mariangiola 4 2019 Types for ambient and process mobility. Zbl 1141.68046 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio 4 2008 From Böhm’s theorem to observational equivalences: an informal account. Zbl 1261.03074 Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio 4 2001 Security types for dynamic web data. Zbl 1146.68014 Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantović, Jovanka; Varacca, Daniele 4 2008 Boxed ambients with communication interfaces. Zbl 1125.68081 Garralda, Pablo; Bonelli, Eduardo; Compagnoni, Adriana; Dezani-Ciancaglini, Mariangiola 4 2007 Infinitary lambda calculus and discrimination of Berarducci trees. Zbl 1038.68023 Dezani-Ciancaglini, Mariangiola; Severi, Paula; de Vries, Fer-Jan 4 2003 Tracing where and who provenance in linked data: a calculus. Zbl 1253.68043 Dezani-Ciancaglini, Mariangiola; Horne, Ross; Sassone, Vladimiro 4 2012 Notes on ”A CUCH-machine: The automatic treatment of bound variables”. Zbl 0277.68027 Böhm, Corrado; Dezani, Mariangiola 3 1973 Reduction of storage employed to represent families of information structures. Zbl 0363.68047 Dezani-Ciancaglini, M.; Ronchi Della Rocca, S. 3 1977 Trees and \(\lambda\)-terms. Zbl 0364.02016 Coppo, M.; Dezani-Ciancaglini, M. 3 1977 Type disciplines for analysing biologically relevant properties. Zbl 1348.92066 Aman, Bogdan; Dezani-Ciancaglini, Mariangiola; Troina, Angelo 3 2009 Approximation theorems for intersection type systems. Zbl 0984.03013 Dezani-Ciancaglini, Mariangiola; Honsell, Furio; Motohama, Yoko 3 2001 Java & lambda: a featherweight story. Zbl 1398.68079 Bettini, Lorenzo; Bono, Viviana; Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Venneri, Betti 3 2018 Partial types and intervals. Zbl 0697.03005 Dezani-Ciancaglini, M.; Venneri, B. 3 1990 Combining type disciplines. Zbl 0813.03009 Cardone, Felice; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo 3 1994 A fully abstract model for higher-order mobile ambients. Zbl 1057.68640 Coppo, Mario; Dezani-Ciancaglini, Mariangiola 3 2002 Characterising strong normalisation for explicit substitutions. Zbl 1059.68020 van Bakel, Steffen; Dezani-Ciancaglini, Mariangiola 3 2002 The relevance of semantic subtyping. Zbl 1270.03043 Dezani-Ciancaglini, Mariangiola; Frisch, Alain; Giovannetti, Elio; Motohama, Yoko 3 2003 Security types for dynamic web data. Zbl 1211.68267 Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantović, Jovanka 3 2007 A tale of intersection types. Zbl 1498.03040 Bono, Viviana; Dezani-Ciancaglini, Mariangiola 3 2020 Session and union types for object oriented programming. Zbl 1143.68355 Bettini, Lorenzo; Capecchi, Sara; Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Venneri, Betti 3 2008 A convex powerdomain over lattices: its logic and \(\lambda\)-calculus. Zbl 0926.68023 Alessi, Fabio; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo 2 1997 Can syntax b e ignored during translation? Zbl 0261.68010 Böhm, Corrado; Dezani Ciancaglini, M. 2 1973 Listing of information structures defined by fixed-point operators. Zbl 0308.68028 Böhm, C.; Dezani-Ciancaglini, M.; Ronchi della Rocca, S. 2 1974 Böhm’s theorem for Berarducci trees. Zbl 0967.68031 Dezani-Ciancaglini, Mariangiola; Severi, Paula; de Vries, Fer-Jan 2 2000 Event structure semantics for multiparty sessions. Zbl 1512.68163 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola 2 2023 Deconfined global types for asynchronous sessions. Zbl 07667093 Dagnino, Francesco; Giannini, Paola; Dezani-Ciancaglini, Mariangiola 1 2023 Composition and decomposition of multiparty sessions. Zbl 1462.68120 Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Lanese, Ivan; Tuosto, Emilio 5 2021 Global types with internal delegation. Zbl 1436.68208 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Horne, Ross 5 2020 A tale of intersection types. Zbl 1498.03040 Bono, Viviana; Dezani-Ciancaglini, Mariangiola 3 2020 Reversible sessions with flexible choices. Zbl 1462.68121 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola 8 2019 Observational equivalence for multiparty sessions. Zbl 1436.68214 Severi, Paula; Dezani-Ciancaglini, Mariangiola 4 2019 Java & lambda: a featherweight story. Zbl 1398.68079 Bettini, Lorenzo; Bono, Viviana; Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Venneri, Betti 3 2018 On the preciseness of subtyping in session types. Zbl 1398.68360 Chen, Tzu-Chun; Dezani-Ciancaglini, Mariangiola; Scalas, Alceste; Yoshida, Nobuko 17 2017 Concurrent reversible sessions. Zbl 1442.68129 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola 4 2017 Isomorphism of intersection and union types. Zbl 1364.68128 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena 2 2017 On sessions and infinite data. Zbl 1448.68211 Severi, Paula; Padovani, Luca; Tuosto, Emilio; Dezani-Ciancaglini, Mariangiola 2 2017 Data-driven adaptation for smart sessions. Zbl 1371.68188 Bono, Viviana; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Venneri, Betti 1 2017 Global progress for dynamically interleaved multiparty sessions. Zbl 1361.68165 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Padovani, Luca 39 2016 Self-adaptation and secure information flow in multiparty communications. Zbl 1345.68232 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Pérez, Jorge A. 7 2016 Reversible client/server interactions. Zbl 1345.68016 Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo 5 2016 Information flow safety in multiparty sessions. Zbl 1362.68204 Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola 4 2016 Reversible multiparty sessions with checkpoints. Zbl 1478.68190 Dezani-Ciancaglini, Mariangiola; Giannini, Paola 4 2016 Denotational and operational preciseness of subtyping: a roadmap. Dedicated to Frank de Boer on the occasion of his 60th birthday. Zbl 1475.68082 Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Yoshida, Nobuko 2 2016 A gentle introduction to multiparty asynchronous session types. Zbl 1346.68034 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko 10 2015 Combining behavioural types with security analysis. Zbl 1330.68045 Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres 7 2015 Typing access control and secure information flow in sessions. Zbl 1360.68207 Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola 8 2014 Preciseness of subtyping on intersection and union types. Zbl 1416.68035 Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia 2 2014 Isomorphism of “functional” intersection types. Zbl 1359.03014 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena 2 2014 Lambda calculus with types. With contributions from Fabio Alessi, Henk Barendregt, Marc Bezem, Felice Cardone, Mario Coppo, Wil Dekkers, Mariangiola Dezani-Ciancaglini, Gilles Dowek, Silvia Ghilezan, Furio Honsell, Michael Moortgat, Paula Severi, Richard Statman, Paweł Urzyczyn. Zbl 1347.03001 Barendregt, Henk; Dekkers, Wil; Statman, Richard 39 2013 Deriving session and union types for objects. Zbl 1308.68035 Bettini, Lorenzo; Capecchi, Sara; Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Venneri, Betti 1 2013 On global types and multi-party sessions. Zbl 1238.68026 Castagna, Giuseppe; Dezani-Ciancaglini, Mariangiola; Padovani, Luca 21 2012 Tracing where and who provenance in linked data: a calculus. Zbl 1253.68043 Dezani-Ciancaglini, Mariangiola; Horne, Ross; Sassone, Vladimiro 4 2012 Typed stochastic semantics for the calculus of looping sequences. Zbl 1284.68317 Bioglio, Livio; Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Troina, Angelo 1 2012 Information flow safety in multiparty sessions. Zbl 1457.68182 Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola 6 2011 Types for role-based access control of dynamic web data. Zbl 1327.68169 Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka 6 2011 Extending the lambda-calculus with unbind and rebind. Zbl 1220.68045 Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Zucca, Elena 5 2011 Intersection types for unbind and rebind. Zbl 1457.68047 Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Zucca, Elena 1 2011 Session types for access and information flow control. Zbl 1287.68126 Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Rezk, Tamara 11 2010 On isomorphisms of intersection types. Zbl 1351.03007 Dezani-Ciancaglini, Mariangiola; Di Cosmo, Roberto; Giovannetti, Elio; Tatsuta, Makoto 1 2010 A formalism for the description of protein interaction. Dedicated to Jerzy Tiuryn on the occasion of his 60th birthday. Zbl 1214.68183 Barbuti, Roberto; Dezani-Ciancaglini, Mariangiola; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 1 2010 Objects and session types. Zbl 1183.68358 Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Mostrous, Dimitris; Yoshida, Nobuko 15 2009 Amalgamating sessions and methods in object-oriented languages with generics. Zbl 1169.68011 Capecchi, Sara; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Giachino, Elena 7 2009 Type disciplines for analysing biologically relevant properties. Zbl 1348.92066 Aman, Bogdan; Dezani-Ciancaglini, Mariangiola; Troina, Angelo 3 2009 Intersection, universally quantified, and reference types. Zbl 1257.03039 Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Ronchi Della Rocca, Simona 2 2009 A type system for required/excluded elements in CLS. Zbl 1456.68041 Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Troina, Angelo 1 2009 Global progress in dynamically interleaved multiparty sessions. Zbl 1160.68456 Bettini, Lorenzo; Coppo, Mario; D’Antoni, Loris; De Luca, Marco; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko 36 2008 Types for ambient and process mobility. Zbl 1141.68046 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio 4 2008 Security types for dynamic web data. Zbl 1146.68014 Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantović, Jovanka; Varacca, Daniele 4 2008 Session and union types for object oriented programming. Zbl 1143.68355 Bettini, Lorenzo; Capecchi, Sara; Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Venneri, Betti 3 2008 Asynchronous session types and progress for object oriented languages. Zbl 1202.68094 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko 17 2007 Bounded session types for object oriented languages. Zbl 1147.68445 Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Drossopoulou, Sophia; Yoshida, Nobuko 9 2007 Boxed ambients with communication interfaces. Zbl 1125.68081 Garralda, Pablo; Bonelli, Eduardo; Compagnoni, Adriana; Dezani-Ciancaglini, Mariangiola 4 2007 Security types for dynamic web data. Zbl 1211.68267 Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantović, Jovanka 3 2007 Space-aware ambients and processes. Zbl 1111.68011 Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro 2 2007 A behavioural model for Klop’s calculus. Zbl 1276.03015 Dezani-Ciancaglini, Mariangiola; Tatsuta, Makoto 1 2007 Intersection types and lambda models. Zbl 1088.68031 Alessi, Fabio; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola 8 2006 Encoding \(\mathbb{C}\)Duce in the \(\mathbb{C}{\pi}\)-calculus. Zbl 1151.68514 Castagna, Giuseppe; Dezani-Ciancaglini, Mariangiola; Varacca, Daniele 2 2006 Compositional characterisations of \(\lambda\)-terms using intersection types. Zbl 1077.68017 Dezani-Ciancaglini, M.; Honsell, F.; Motohama, Y. 8 2005 A distributed object-oriented language with session types. Zbl 1151.68347 Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Ahern, Alexander; Drossopoulou, Sophia 7 2005 A mobility calculus with local and dependent types. Zbl 1171.68566 Coppo, Mario; Cozzi, Federico; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Pugliese, Rosario 4 2005 Type preorders and recursive terms. Zbl 1272.03072 Alessi, Fabio; Dezani-Ciancaglini, Mariangiola 1 2005 Intersection types and domain operators. Zbl 1055.03011 Alessi, Fabio; Dezani-Ciancaglini, Mariangiola; Lusin, Stefania 8 2004 Behavioural inverse limit \(\lambda\)-models. Zbl 1055.03014 Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Likavec, Silvia 8 2004 Intersection types for explicit substitutions. Zbl 1082.68014 Lengrand, Stéphane; Lescanne, Pierre; Dougherty, Dan; Dezani-Ciancaglini, Mariangiola; van Bakel, Steffen 6 2004 Boxed ambients with communication interfaces. Zbl 1097.68083 Bonelli, Eduardo; Compagnoni, Adriana; Dezani-Ciancaglini, Mariangiola; Garralda, Pablo 5 2004 Dynamic and local typing for mobile ambients. Zbl 1094.68060 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Pugliese, Rosario 4 2004 Tailoring filter models. Zbl 1100.03511 Alessi, F.; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola 2 2004 A complete characterization of complete intersection-type preorders. Zbl 1365.03015 Dezani-Ciancaglini, M.; Honsell, F.; Alessi, F. 9 2003 M\(^3\): mobility types for mobile processes in mobile ambients. Zbl 1270.68211 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Salvo, Ivano 6 2003 Two behavioural lambda models. Zbl 1023.03022 Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia 6 2003 A calculus of bounded capacities. Zbl 1215.68036 Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro 4 2003 Infinitary lambda calculus and discrimination of Berarducci trees. Zbl 1038.68023 Dezani-Ciancaglini, Mariangiola; Severi, Paula; de Vries, Fer-Jan 4 2003 The relevance of semantic subtyping. Zbl 1270.03043 Dezani-Ciancaglini, Mariangiola; Frisch, Alain; Giovannetti, Elio; Motohama, Yoko 3 2003 Intersection types and computational rules. Zbl 1264.03045 Alessi, Fabio; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola 1 2003 The semantics of entailment omega. Zbl 1042.03019 Dezani-Ciancaglini, Mariangiola; Meyer, Robert K.; Motohama, Yoko 8 2002 Intersection types for \(\lambda\)-trees. Zbl 0984.68033 van Bakel, Steffen; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de Vries, Fer-Jan 4 2002 A type inference algorithm for secure ambients. Zbl 1268.68120 Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Salvo, Ivano; Sassone, Vladimiro 4 2002 A fully abstract model for higher-order mobile ambients. Zbl 1057.68640 Coppo, Mario; Dezani-Ciancaglini, Mariangiola 3 2002 Characterising strong normalisation for explicit substitutions. Zbl 1059.68020 van Bakel, Steffen; Dezani-Ciancaglini, Mariangiola 3 2002 A fully abstract model for mobile ambients. Zbl 1268.68124 Coppo, M.; Dezani-Ciancaglini, M. 1 2002 Filter models and easy terms. Zbl 1042.03014 Alessi, Fabio; Dezani-Ciancaglini, Mariangiola; Honsell, Furio 10 2001 \(\mathcal F\)ickle: dynamic object re-classification. Zbl 0982.68636 Drossopoulou, Sophia; Damiani, Ferruccio; Dezani-Ciancaglini, Mariangiola; Giannini, Paola 4 2001 From Böhm’s theorem to observational equivalences: an informal account. Zbl 1261.03074 Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio 4 2001 Approximation theorems for intersection type systems. Zbl 0984.03013 Dezani-Ciancaglini, Mariangiola; Honsell, Furio; Motohama, Yoko 3 2001 Security types for mobile safe ambients. Zbl 0988.68544 Dezani-Ciancaglini, M.; Salvo, I. 11 2000 Compositional characterizations of \(\lambda\)-terms using intersection types (extended abstract). Zbl 0996.03501 Dezani-Ciancaglini, M.; Honsell, F.; Motohama, Y. 8 2000 Böhm’s theorem for Berarducci trees. Zbl 0967.68031 Dezani-Ciancaglini, Mariangiola; Severi, Paula; de Vries, Fer-Jan 2 2000 Infinite \(\lambda\)-calculus and types. Zbl 0913.68131 Berarducci, Alessandro; Dezani-Ciancaglini, Mariangiola 11 1999 A filter model for mobile processes. Zbl 0923.68088 Damiani, Ferruccio; Dezani-Ciancaglini, Mariangiola; Giannini, Paola 5 1999 Discrimination by parallel observers: the algorithm. Zbl 1045.68525 Dezani-Ciancaglini, Mariangiola; Tiuryn, Jerzy; Urzyczyn, Paweł 5 1999 A subtyping for extensible, incomplete objects. Zbl 1040.03506 Bono, Viviana; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Liquori, Luigi 4 1999 Special issue: Lambda-calculus and logic in honour of Roger Hindley. Zbl 0930.00009 1 1999 A filter model for concurrent \(\lambda\)-calculus. Zbl 0916.03017 Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo 20 1998 Intersection types, \(\lambda\)-models, and Böhm trees. Zbl 0946.03016 Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; de’Liguoro, Ugo 6 1998 The “relevance” of intersection and union types. Zbl 0918.03008 Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Venneri, Betti 8 1997 A convex powerdomain over lattices: its logic and \(\lambda\)-calculus. Zbl 0926.68023 Alessi, Fabio; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo 2 1997 Filter models for conjunctive-disjunctive \(\lambda\)-calculi. Zbl 0874.03015 Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo 9 1996 Intersection and union types: Syntax and semantics. Zbl 0832.68065 Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo 37 1995 Typed lambda calculi and applications. 2nd international conference, TLCA ’95, Edinburgh, GB, April 10–12, 1995. Proceedings. Zbl 0813.68040 2 1995 Fully abstract semantics for concurrent \(\lambda\)-calculus. Zbl 0942.03509 Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo 4 1994 Combining type disciplines. Zbl 0813.03009 Cardone, Felice; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo 3 1994 May and must convergency in concurrent \(\lambda \)-calculus (extended abstract). Zbl 1493.68079 Alessi, F.; Dezani-Ciancaglini, M.; de’Liguoro, U. 1 1994 Intersection types for combinatory logic. Zbl 0771.03004 Dezani-Ciancaglini, Mariangiola; Hindley, J. Roger 12 1992 Intersection and union types. Zbl 1493.68080 Barbanera, Franco; Dezani-Ciancaglini, Mariangiola 4 1991 ...and 35 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 464 Authors 62 Dezani-Ciancaglini, Mariangiola 28 Yoshida, Nobuko 19 Coppo, Mario 18 Ronchi Della Rocca, Simona 17 Barbanera, Franco 17 van Bakel, Steffen 16 Ghilezan, Silvia 15 Giannini, Paola 14 Kesner, Delia 13 de’Liguoro, Ugo 13 Pérez, Jorge A. 10 Fernández, Maribel 10 Manzonetto, Giulio 10 Tuosto, Emilio 9 Bucciarelli, Antonio 9 Castellani, Ilaria 8 Alessi, Fabio 8 Lanese, Ivan 8 Pantović, Jovanka 8 Venneri, Betti 7 Ancona, Davide 7 Bono, Viviana 7 Margaria, Ines 7 Montesi, Fabrizio 7 Padovani, Luca 7 Paolini, Luca 7 Zacchi, Maddalena 6 Alves, Sandra 6 Carbone, Marco 6 Honsell, Furio 6 Liquori, Luigi 6 Longo, Giuseppe 6 Salibra, Antonino 6 Urzyczyn, Paweł 6 Lima Ventura, Daniel 6 Zucca, Elena 5 Bartoletti, Massimo 5 Berline, Chantal 5 Bocchi, Laura 5 Capecchi, Sara 5 Florido, Mário 5 Gay, Simon J. 5 Honda, Kohei 5 Lange, Julien 5 Sangiorgi, Davide 5 Scalas, Alceste 5 Severi, Paula Gabriela 5 Zavattaro, Gianluigi 4 Bettini, Lorenzo 4 Bravetti, Mario 4 Castagna, Giuseppe 4 Ciobanu, Gabriel 4 Compagnoni, Adriana B. 4 Damiani, Ferruccio 4 Dardha, Ornela 4 de Vries, Fer-Jan J. 4 Díaz-Caro, Alejandro 4 Giachino, Elena 4 Giovannetti, Elio 4 Horne, Ross 4 Jakšić, Svetlana 4 Lescanne, Pierre 4 Meyer, Robert Kenneth 4 Oliveira, Bruno C.d. S. 4 Pagani, Michele 4 Pugliese, Rosario 4 Salvati, Sylvain 4 Sassone, Vladimiro 4 Statman, Richard 4 Tiezzi, Francesco 4 Toninho, Bernardo 4 Vasconcelos, Vasco Thudichum 3 Barendregt, Hendrik Pieter 3 Böhm, Corrado 3 Bunder, Martin W. 3 Caires, Luís 3 Cruz-Filipe, Luís 3 Curien, Pierre-Louis 3 Dal Lago, Ugo 3 de Carvalho, Daniel 3 Demangeon, Romain 3 Di Cosmo, Roberto 3 Ehrhard, Thomas 3 Hennessy, Matthew C. B. 3 Hindley, J. Roger 3 Hirokawa, Sachio 3 Hirschkoff, Daniel 3 Jongmans, Sung-Shik T. Q. 3 Kfoury, Assaf J. 3 Lagorio, Giovanni 3 Lengrand, Stéphane Jean Eric 3 Lenisa, Marina 3 Likavec, Silvia 3 Melgratti, Hernán 3 Mezzina, Claudio Antares 3 Mitchell, John C. 3 Mostrous, Dimitris 3 Motohama, Yoko 3 Nielson, Flemming 3 Nour, Karim ...and 364 more Authors all top 5 Cited in 41 Serials 99 Theoretical Computer Science 40 Information and Computation 30 MSCS. Mathematical Structures in Computer Science 28 Logical Methods in Computer Science 23 Journal of Logical and Algebraic Methods in Programming 16 Annals of Pure and Applied Logic 10 Journal of Functional Programming 9 The Journal of Symbolic Logic 7 Acta Informatica 6 RAIRO, Informatique Théorique 6 Formal Aspects of Computing 5 Notre Dame Journal of Formal Logic 4 Science of Computer Programming 4 The Bulletin of Symbolic Logic 4 RAIRO. Theoretical Informatics and Applications 3 Information Processing Letters 3 Journal of Computer and System Sciences 3 Journal of Automated Reasoning 3 Higher-Order and Symbolic Computation 3 The Journal of Logic and Algebraic Programming 2 Archive for Mathematical Logic 2 Formal Methods in System Design 2 Computer Languages, Systems & Structures 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Calcolo 1 Information Sciences 1 International Journal of Computer & Information Sciences 1 Studia Logica 1 Journal of Symbolic Computation 1 Journal of Computer Science and Technology 1 Distributed Computing 1 RAIRO. Informatique Théorique et Applications 1 Journal of Logic, Language and Information 1 Journal of Mathematical Sciences (New York) 1 Annals of Mathematics and Artificial Intelligence 1 Constraints 1 Theory of Computing Systems 1 RAIRO. Theoretical Informatics and Applications 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic 1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge all top 5 Cited in 12 Fields 378 Computer science (68-XX) 255 Mathematical logic and foundations (03-XX) 11 Category theory; homological algebra (18-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 3 Biology and other natural sciences (92-XX) 2 General and overarching topics; collections (00-XX) 2 General algebraic systems (08-XX) 1 History and biography (01-XX) 1 Group theory and generalizations (20-XX) 1 Quantum theory (81-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year