Mariangiola Dezani-Ciancaglini

Cited by

	All	Since 2019
Citations	7537	1700
h-index	41	21
i10-index	130	43

460

230

115

345

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202423 28 39 57 71 72 87 67 92 91 104 97 52 115 175 224 227 180 226 279 443 263 240 252 278 302 272 282 363 297 257 310 253 247 267 309 308

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 Theoretical 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	741	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	455	1980
A new type assignment for λ-terms M Coppo, M Dezani-Ciancaglini Archiv für mathematische Logik und Grundlagenforschung 19, 139-156, 1978	319	1978
Functional characters of solvable terms M Coppo, M Dezani‐Ciancaglini, B Venneri Mathematical Logic Quarterly 27 (2‐6), 45-58, 1981	310	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	246	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	166	2016
On global types and multi-party sessions G Castagna, M Dezani-Ciancaglini, L Padovani LNCS (Formal Techniques for Distributed Systems), 1-28, 2011	163	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	145	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	108	2009
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 filter model for concurrent-calculus M Dezani-Ciancaglini, U de'Liguoro, A Piperno Siam J. Comput 27 (5), 1376-1419, 1998	82	1998
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	81	2014

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