Mariangiola Dezani-Ciancaglini

Cited by

	All	Since 2018
Citations	7257	1678
h-index	41	20
i10-index	126	45

460

230

115

345

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202323 27 38 54 71 77 86 68 91 91 104 89 59 115 181 210 220 192 227 274 441 258 247 249 285 304 267 284 360 312 243 321 276 250 272 308

Public access

View all

29 articles

0 articles

available

not available

Based on funding mandates

Co-authors

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
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéVerified email at irif.fr
Sara CapecchiDipartimento di InformaticaVerified email at unito.it
Jovanka PantovicUniversity of Novi SadVerified email at uns.ac.rs
Lorenzo BettiniAssociate Professor in Computer Science, Dipartimento di Statistica, Informatica e ApplicazioniVerified email at unifi.it
Viviana BonoUniversita` di TorinoVerified email at di.unito.it
Angelo TroinaDipartimento di Informatica - Scienza e Ingegneria, Università di BolognaVerified email at unibo.it
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
Fer-Jan de VriesDepartment of Computer Science, University of LeicesterVerified email at mcs.le.ac.uk
Loris D'AntoniUniversity of Wisconsin, MadisonVerified email at cs.wisc.edu
Dimitris MostrousVerified email at di.fc.ul.pt
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	722	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	435	1980
Functional characters of solvable terms M Coppo, M Dezani‐Ciancaglini, B Venneri Mathematical Logic Quarterly 27 (2‐6), 45-58, 1981	305	1981
A new type assignment for λ-terms M Coppo, M Dezani-Ciancaglini Archiv für mathematische Logik und Grundlagenforschung 19, 139-156, 1978	299	1978
Intersection and union types: syntax and semantics F Barbanera, M Dezaniciancaglini, U Deliguoro Information and Computation 119 (2), 202-230, 1995	249	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	244	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
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
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	188	1984
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	161	2016
On global types and multi-party sessions G Castagna, M Dezani-Ciancaglini, L Padovani LNCS (Formal Techniques for Distributed Systems), 1-28, 2011	157	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	133	2001
Type theories, normal forms, and D-∞-lambda-models M Coppo, M Dezani-Ciancaglini, M Zacchi Information and computation 72 (2), 85-116, 1987	128	1987
On progress for structured communications M Dezani-Ciancaglini, U de’Liguoro, N Yoshida International Symposium on Trustworthy Global Computing, 257-275, 2007	118	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	114	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	105	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	81	2005
Asynchronous session types and progress for object oriented languages M Coppo, M Dezani-Ciancaglini, N Yoshida International Conference on Formal Methods for Open Object-Based Distributed …, 2007	77	2007
A filter model for concurrent-calculus M Dezani-Ciancaglini, U de'Liguoro, A Piperno Siam J. Comput 27 (5), 1376-1419, 1998	76	1998

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