‪Mariangiola Dezani-Ciancaglini‬

Citeret af

	Alle	Siden 2020
Henvisninger	7627	1454
h-index	41	20
i10-indeks	131	40

460

230

115

345

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202522 27 42 57 64 85 88 67 90 90 100 99 53 115 175 225 229 190 230 272 444 262 244 249 280 286 278 292 378 298 257 306 249 251 279 305 313 53

Offentlig adgang

Se alle

33 artikler

0 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Paola GianniniUniversita' Piemonte OrientaleVerificeret mail på uniupo.it
Ugo de'LiguoroUniversità di TorinoVerificeret mail på di.unito.it
Nobuko YoshidaDepartment of Computer Science, University of OxfordVerificeret mail på cs.ox.ac.uk
Sophia DrossopoulouProfessor, Imperial College LondonVerificeret mail på imperial.ac.uk
Ilaria CastellaniResearcher in Computer Science, INRIA, FranceVerificeret mail på inria.fr
Silvia GhilezanUniversity of Novi SadVerificeret mail på uns.ac.rs
Ferruccio DamianiFull Professor of Compurer Science, University of TorinoVerificeret mail på di.unito.it
Viviana BonoUniversita` di TorinoVerificeret mail på di.unito.it
Sara CapecchiDipartimento di InformaticaVerificeret mail på unito.it
Jovanka PantovicUniversity of Novi SadVerificeret mail på uns.ac.rs
Lorenzo BettiniAssociate Professor in Computer Science, Dipartimento di Statistica, Informatica e ApplicazioniVerificeret mail på unifi.it
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéVerificeret mail på irif.fr
Angelo TroinaDipartimento di Informatica - Scienza e Ingegneria, Università di BolognaVerificeret mail på unibo.it
Henk BarendregtFaculty of Science, Radboud UniversityVerificeret mail på ru.nl
Steffen van BakelImperial College LondonVerificeret mail på doc.ic.ac.uk
Adriana CompagnoniProfessor of Computer Science, Stevens Institute of TechnologyVerificeret mail på stevens.edu
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari VeneziaVerificeret mail på unive.it
Loris D'AntoniUniversity of California-San DiegoVerificeret mail på ucsd.edu
Paula SeveriUniversity of LeicesterVerificeret mail på leicester.ac.uk
Vladimiro SassoneUniversity of SouthamptonVerificeret mail på ecs.soton.ac.uk

Følg

Mariangiola Dezani-Ciancaglini

Emeritus Professor of Computer Science, Torino University

Verificeret mail på di.unito.it - Startside

Theoretical Computer Science


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
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	748	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	311	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	257	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	194	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	194	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	172	2016
On global types and multi-party sessions G Castagna, M Dezani-Ciancaglini, L Padovani LNCS (Formal Techniques for Distributed Systems), 1-28, 2011	169	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	151	2010
Fickle: Dynamic Object Re-classification S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini European Conference on Object-Oriented Programming, 130-149, 2001	136	2001
Type theories, normal forms, and D-∞-lambda-models M Coppo, M Dezani-Ciancaglini, M Zacchi Information and computation 72 (2), 85-116, 1987	130	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	113	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	110	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	87	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	85	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	84	2015

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere