Giuseppe Castagna

Cited by

	All	Since 2016
Citations	5139	961
h-index	37	18
i10-index	64	28

320

160

240

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202127 43 60 109 92 88 138 117 139 227 211 261 303 267 279 278 277 205 196 200 224 151 189 211 158 147 212 178 53

Co-authors

Véronique BenzakenProfessor of Computing Science Université Paris SaclayVerified 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
Kim NguyenAssistant Professor of Computer Science, Université Paris-Sud, FranceVerified email at lri.fr
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
Jan VitekNortheastern UniversityVerified email at neu.edu
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
John BoylandProfessor of Computer Science, University of Wisconsin-MilwaukeeVerified email at uwm.edu
Haruo HosoyaATR InternationalVerified email at atr.jp
Kim BruceProfessor of Computer Science, Pomona CollegeVerified email at pomona.edu
Francesco Zappa NardelliFacebookVerified email at fb.com
Zhiwu XuCollege of Computer Science and Software Engineering (CSSE), Shenzhen UniversityVerified email at szu.edu.cn
Andrew PhillipsMicrosoft ResearchVerified email at microsoft.com
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Luigi LiquoriDirecteur de Recherche INRIAVerified email at inria.fr
Stijn VansummerenProfessor of Computer Science, Université Libre de BruxellesVerified email at ulb.ac.be
Vladimiro SassoneUniversity of SouthamptonVerified email at ecs.soton.ac.uk
Riccardo FocardiDAIS, Ca' Foscari University, VeniceVerified email at unive.it
Stefano ZacchiroliUniversité de Paris and Inria, FranceVerified email at irif.fr

Giuseppe Castagna

Directeur de Recherche CNRS, Université de Paris

Verified email at univ-paris-diderot.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	404	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	357	1995
Covariance and contravariance: conflict without a cause G Castagna ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (3), 431-447, 1995	311	1995
Seal: A framework for secure mobile computations J Vitek, G Castagna International Conference on Computer Languages, 47-77, 1998	262	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	209	2009
Object oriented programming: a unified foundation G Castagna Birkhauser, 1997	201*	1997
Boxed ambients M Bugliesi, G Castagna, S Crafa International Symposium on Theoretical Aspects of Computer Software, 38-63, 2001	181	2001
A calculus for overloaded functions with subtyping G Castagna, G Ghelli, G Longo Information and Computation 117 (1), 115-135, 1995	152	1995
A calculus for overloaded functions with subtyping G Castagna, G Ghelli, G Longo Information and Computation 117 (1), 115-135, 1995	152	1995
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	141	2008
A theory of contracts for web services G Castagna, N Gesbert, L Padovani ACM SIGPLAN Notices 43 (1), 261-272, 2008	139	2008
On global types and multi-party session G Castagna, M Dezani-Ciancaglini, L Padovani Logical Methods in Computer Science 8 (1), 2012	127	2012
A calculus for overloaded functions with subtyping G Castagna, G Ghelli, G Longo ACM SIGPLAN Lisp Pointers, 182-192, 1992	123	1992
A calculus for overloaded functions with subtyping G Castagna, G Ghelli, G Longo 1992 ACM conference on LISP and functional programming, 182-192, 1992	123	1992
A formal account of contracts for web services S Carpineti, G Castagna, C Laneve, L Padovani International Workshop on Web Services and Formal Methods, 148-162, 2006	120	2006
The seal calculus G Castagna, J Vitek, FZ Nardelli Information and Computation 201 (1), 1-54, 2005	120	2005
Behavioral types in programming languages Foundations and Trends in Programming Languages 3 (2-3), 95-230, 2016	116*	2016
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	114	2004
Parasitic methods: An implementation of multi-methods for Java J Boyland, G Castagna ACM SIGPLAN Notices 32 (10), 66-76, 1997	111	1997
Semantic subtyping A Frisch, G Castagna, V Benzaken Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 137-146, 2002	102	2002

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

Upload PDF

Follow this author

Cited by

Co-authors