Giuseppe Castagna

Cited by

	All	Since 2019
Citations	5849	1122
h-index	40	18
i10-index	67	29

340

170

255

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202425 44 62 103 88 91 152 118 140 226 215 289 332 255 294 277 266 208 198 183 223 150 182 208 150 137 191 196 149 181 207 198

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
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
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 PhillipsMicrosoft ResearchVerified email at microsoft.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	353	1995
Covariance and contravariance: conflict without a cause G Castagna ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (3), 431-447, 1995	317	1995
Seal: A framework for secure mobile computations J Vitek, G Castagna International Conference on Computer Languages, 47-77, 1998	272	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	226	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	198	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	163	2012
A calculus for overloaded functions with subtyping G Castagna, G Ghelli, G Longo Information and Computation 117 (1), 115-135, 1995	159	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	140	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	122	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	108	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