Giuseppe Castagna

Cited by

	All	Since 2017
Citations	5436	961
h-index	39	17
i10-index	65	26

320

160

240

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202227 46 62 112 98 90 144 120 142 236 216 275 315 267 277 278 275 203 209 199 222 153 191 214 162 137 208 186 159 109

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Véronique BenzakenProfessor of Computing Science Université Paris SaclayVerified email at universite-paris-saclay.fr
Luca PadovaniDipartimento di Informatica, Università degli Studi di TorinoVerified email at unito.it
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari VeneziaVerified email at unive.it
Giorgio GhelliVerified email at di.unipi.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
Kim BruceProfessor of Computer Science, Pomona CollegeVerified email at pomona.edu
John BoylandProfessor of Computer Science, University of Wisconsin-MilwaukeeVerified email at uwm.edu
Francesco Zappa NardelliFacebookVerified email at fb.com
Davide AnconaGenovaVerified email at unige.it
Haruo HosoyaATR InternationalVerified email at atr.jp
Zhiwu XuCollege of Computer Science and Software Engineering (CSSE), Shenzhen UniversityVerified email at szu.edu.cn
Daniele VaraccaMaitre de conférences en informatique, Université Paris DiderotVerified email at pps.univ-paris-diderot.fr
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
Cédric MiachonVerified email at lesfurets.com
Jerome SimeonClause Inc.Verified email at clause.io

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	422	2003
Covariance and contravariance: conflict without a cause G Castagna ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (3), 431-447, 1995	314	1995
Seal: A framework for secure mobile computations J Vitek, G Castagna International Conference on Computer Languages, 47-77, 1998	267	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	214	2009
The Hopkins Objects Group, Gary T. Leavens, and Benjamin Pierce. On binary methods K Bruce, L Cardelli, G Castagna Theory and Practice of Object Systems 1 (3), 221-242, 1995	211	1995
Object oriented programming: a unified foundation G Castagna Birkhauser, 1997	206*	1997
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	192	1995
Boxed ambients M Bugliesi, G Castagna, S Crafa International Symposium on Theoretical Aspects of Computer Software, 38-63, 2001	181	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	158	2008
A calculus for overloaded functions with subtyping G Castagna, G Ghelli, G Longo Information and Computation 117 (1), 115-135, 1995	154	1995
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	151	2016
A theory of contracts for web services G Castagna, N Gesbert, L Padovani ACM SIGPLAN Notices 43 (1), 261-272, 2008	141	2008
On global types and multi-party session G Castagna, M Dezani-Ciancaglini, L Padovani Logical Methods in Computer Science 8 (1), 2012	135	2012
The seal calculus G Castagna, J Vitek, FZ Nardelli Information and Computation 201 (1), 1-54, 2005	129	2005
A calculus for overloaded functions with subtyping G Castagna, G Ghelli, G Longo 1992 ACM conference on LISP and functional programming, 182-192, 1992	127	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	123	2006
Parasitic methods: An implementation of multi-methods for Java J Boyland, G Castagna ACM SIGPLAN Notices 32 (10), 66-76, 1997	119	1997
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	117	2004
Semantic subtyping A Frisch, G Castagna, V Benzaken Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 137-146, 2002	112	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	101	2009

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