Mariangiola Dezani-Ciancaglini

Cited by

	All	Since 2020
Citations	7620	1461
h-index	41	20
i10-index	130	39

460

230

115

345

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202523 28 39 57 71 72 87 67 92 91 104 97 52 115 175 225 239 180 228 277 444 263 239 258 272 289 272 283 366 295 258 314 250 249 266 309 333 50

Public access

View all

33 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Paola GianniniUniversita' Piemonte OrientaleVerified email at uniupo.it
Ugo de'LiguoroUniversità di TorinoVerified email at di.unito.it
Nobuko YoshidaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Sophia DrossopoulouProfessor, Imperial College LondonVerified email at imperial.ac.uk
Ilaria CastellaniResearcher in Computer Science, INRIA, FranceVerified email at inria.fr
Silvia GhilezanUniversity of Novi SadVerified email at uns.ac.rs
Ferruccio DamianiFull Professor of Compurer Science, University of TorinoVerified email at di.unito.it
Viviana BonoUniversita` di TorinoVerified email at di.unito.it
Sara CapecchiDipartimento di InformaticaVerified email at unito.it
Lorenzo BettiniAssociate Professor in Computer Science, Dipartimento di Statistica, Informatica e ApplicazioniVerified email at unifi.it
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéVerified email at irif.fr
Angelo TroinaDipartimento di Informatica - Scienza e Ingegneria, Università di BolognaVerified email at unibo.it
Jovanka PantovicUniversity of Novi SadVerified email at uns.ac.rs
Henk BarendregtFaculty of Science, Radboud UniversityVerified email at ru.nl
Steffen van BakelImperial College LondonVerified email at doc.ic.ac.uk
Adriana CompagnoniProfessor of Computer Science, Stevens Institute of TechnologyVerified email at stevens.edu
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari VeneziaVerified email at unive.it
Loris D'AntoniUniversity of California-San DiegoVerified email at ucsd.edu
Paula SeveriUniversity of LeicesterVerified email at leicester.ac.uk
Vladimiro SassoneUniversity of SouthamptonVerified email at ecs.soton.ac.uk

Mariangiola Dezani-Ciancaglini

Emeritus Professor of Computer Science, Torino University

Verified email at di.unito.it - Homepage

Theoretical Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A filter lambda model and the completeness of type assignment1 H Barendregt, M Coppo, M Dezani-Ciancaglini The journal of symbolic logic 48 (4), 931-940, 1983	745	1983
An extension of the basic functionality theory for the lambda-calculus M Coppo, M Dezani-Ciancaglini Notre Dame journal of formal logic 21 (4), 685-693, 1980	456	1980
A new type assignment for λ-terms M Coppo, M Dezani-Ciancaglini Archiv für mathematische Logik und Grundlagenforschung 19, 139-156, 1978	320	1978
Functional characters of solvable terms M Coppo, M Dezani‐Ciancaglini, B Venneri Mathematical Logic Quarterly 27 (2‐6), 45-58, 1981	312	1981
Intersection and union types: syntax and semantics F Barbanera, M Dezaniciancaglini, U Deliguoro Information and Computation 119 (2), 202-230, 1995	262	1995
Global progress in dynamically interleaved multiparty sessions L Bettini, M Coppo, L D’Antoni, M De Luca, M Dezani-Ciancaglini, ... International Conference on Concurrency Theory, 418-433, 2008	251	2008
Principal type-schemes and lambda-calculus semantics M Coppo, M Dezani, B Venneri To HB Curry. Essays on Combinatory Logic, Lambda Calculus and Formalisms …, 1980	213	1980
Extended type structures and filter lambda models M Coppo, M Dezani-Ciancaglini, F Honsell, G Longo Studies in Logic and the Foundations of Mathematics 112, 241-262, 1984	193	1984
Session types for object-oriented languages M Dezani-Ciancaglini, D Mostrous, N Yoshida, S Drossopoulou European Conference on Object-Oriented Programming, 328-352, 2006	192	2006
Global progress for dynamically interleaved multiparty sessions M Coppo, M Dezani-Ciancaglini, N Yoshida, L Padovani Mathematical Structures in Computer Science 26 (2), 238-302, 2016	174	2016
On global types and multi-party sessions G Castagna, M Dezani-Ciancaglini, L Padovani LNCS (Formal Techniques for Distributed Systems), 1-28, 2011	168	2011
Sessions and session types: An overview M Dezani-Ciancaglini, U De’Liguoro Web Services and Formal Methods: 6th International Workshop, WS-FM 2009 …, 2010	148	2010
Fickle: Dynamic Object Re-classification S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini European Conference on Object-Oriented Programming, 130-149, 2001	135	2001
Type theories, normal forms, and D-∞-lambda-models M Coppo, M Dezani-Ciancaglini, M Zacchi Information and computation 72 (2), 85-116, 1987	131	1987
On progress for structured communications M Dezani-Ciancaglini, U de’Liguoro, N Yoshida International Symposium on Trustworthy Global Computing, 257-275, 2007	122	2007
More dynamic object reclassification: Fickle\|\| S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (2), 153-191, 2002	115	2002
Foundations of session types G Castagna, M Dezani-Ciancaglini, E Giachino, L Padovani Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009	109	2009
On the preciseness of subtyping in session types TC Chen, M Dezani-Ciancaglini, N Yoshida Proceedings of the 16th International Symposium on Principles and Practice …, 2014	86	2014
A distributed object-oriented language with session types M Dezani-Ciancaglini, N Yoshida, A Ahern, S Drossopoulou International Symposium on Trustworthy Global Computing, 299-318, 2005	84	2005
A gentle introduction to multiparty asynchronous session types M Coppo, M Dezani-Ciancaglini, L Padovani, N Yoshida Formal Methods for Multicore Programming: 15th International School on …, 2015	83	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors