Giuseppe Castagna

Cited by

	All	Since 2020
Citations	5895	963
h-index	40	17
i10-index	67	25

340

170

255

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202525 44 62 103 88 91 152 117 142 227 215 292 331 255 294 277 267 208 201 180 223 150 183 208 151 137 195 192 148 181 205 219 18

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Véronique BenzakenProfessor of Computing Science L|-M:F Lab Université Paris Saclay - ENS Paris-Saclay- CNRSVerified email at universite-paris-saclay.fr
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari VeneziaVerified email at unive.it
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Giorgio GhelliVerified email at di.unipi.it
Kim NguyenAssistant Professor of Computer Science, Université Paris-Sud, FranceVerified email at lri.fr
Jan VitekNortheastern UniversityVerified email at neu.edu
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
John BoylandProfessor of Computer Science, University of Wisconsin-MilwaukeeVerified email at uwm.edu
Kim BruceEmeritus Professor of Computer Science, Pomona CollegeVerified email at pomona.edu
Davide AnconaGenovaVerified email at unige.it
Francesco Zappa NardelliFacebookVerified email at fb.com
Haruo HosoyaATR InternationalVerified email at atr.jp
Zhiwu XuCollege of Computer Science and Software Engineering (CSSE), Shenzhen UniversityVerified email at szu.edu.cn
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
Daniele VaraccaMaitre de conférences en informatique, Université Paris DiderotVerified email at pps.univ-paris-diderot.fr
Cédric MiachonHead of Data, LesFurets.comVerified email at lesfurets.com
Jerome SimeonClause Inc.Verified email at clause.io
Andrew PhillipsSanofiVerified email at sanofi.com

Giuseppe Castagna

Directeur de Recherche CNRS, Université Paris Cité

Verified email at irif.fr - Homepage

Theoretical Computer Science Programming Languages Concurrency Theory Type Theory Functional Programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
CDuce: an XML-centric general-purpose language V Benzaken, G Castagna, A Frisch ACM SIGPLAN Notices 38 (9), 51-63, 2003	441	2003
On Binary Methods K Bruce, L Cardelli, G Castagna, J Eifrig, SF Smith, V Trifonov, ... Theory and Practice of Object Systems 1 (3), 221-242, 1995	356	1995
Covariance and contravariance: conflict without a cause G Castagna ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (3), 431-447, 1995	318	1995
Seal: A framework for secure mobile computations J Vitek, G Castagna International Conference on Computer Languages, 47-77, 1998	275	1998
A theory of contracts for web services G Castagna, N Gesbert, L Padovani ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (5), 1-61, 2009	229	2009
Object oriented programming: a unified foundation G Castagna Birkhauser, 1997	215*	1997
Behavioral types in programming languages D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ... Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016	207	2016
Boxed ambients M Bugliesi, G Castagna, S Crafa International Symposium on Theoretical Aspects of Computer Software, 38-63, 2001	196	2001
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types A Frisch, G Castagna, V Benzaken Journal of the ACM (JACM) 55 (4), 1-64, 2008	188	2008
On global types and multi-party session G Castagna, M Dezani-Ciancaglini, L Padovani Logical Methods in Computer Science 8 (1), 2012	168	2012
A calculus for overloaded functions with subtyping G Castagna, G Ghelli, G Longo Information and Computation 117 (1), 115-135, 1995	160	1995
A theory of contracts for web services G Castagna, N Gesbert, L Padovani ACM SIGPLAN Notices 43 (1), 261-272, 2008	147	2008
Semantic subtyping A Frisch, G Castagna, V Benzaken Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 137-146, 2002	142	2002
A calculus for overloaded functions with subtyping G Castagna, G Ghelli, G Longo 1992 ACM conference on LISP and functional programming, 182-192, 1992	136	1992
The seal calculus G Castagna, J Vitek, FZ Nardelli Information and Computation 201 (1), 1-54, 2005	132*	2005
A formal account of contracts for web services S Carpineti, G Castagna, C Laneve, L Padovani Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006	123	2006
Access control for mobile agents: The calculus of boxed ambients M Bugliesi, G Castagna, S Crafa ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (1), 57-124, 2004	121	2004
Parasitic methods: An implementation of multi-methods for Java J Boyland, G Castagna ACM SIGPLAN Notices 32 (10), 66-76, 1997	118	1997
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
A graphical representation for biological processes in the stochastic pi-calculus A Phillips, L Cardelli, G Castagna Lecture Notes in Computer Science 4230, 123-152, 2006	103	2006

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