| CDuce: an XML-centric general-purpose language V Benzaken, G Castagna, A Frisch ACM SIGPLAN Notices 38 (9), 51-63, 2003 | 443 | 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 | 384 | 1995 |
| Covariance and contravariance: conflict without a cause G Castagna ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (3), 431-447, 1995 | 326 | 1995 |
| Seal: A framework for secure mobile computations J Vitek, G Castagna International Conference on Computer Languages, 47-77, 1998 | 279 | 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 | 252 | 2009 |
| 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 | 223 | 2016 |
| Object oriented programming: a unified foundation G Castagna Birkhauser, 1997 | 221* | 1997 |
| Boxed ambients M Bugliesi, G Castagna, S Crafa International Symposium on Theoretical Aspects of Computer Software, 38-63, 2001 | 197 | 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 | 196 | 2008 |
| On global types and multi-party session G Castagna, M Dezani-Ciancaglini, L Padovani Logical Methods in Computer Science 8 (1), 2012 | 180 | 2012 |
| A calculus for overloaded functions with subtyping G Castagna, G Ghelli, G Longo Information and Computation 117 (1), 115-135, 1995 | 161 | 1995 |
| 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 | 135* | 2005 |
| A theory of contracts for web services G Castagna, N Gesbert, L Padovani ACM SIGPLAN Notices 43 (1), 261-272, 2008 | 133 | 2008 |
| 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 | 124 | 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 | 122 | 2004 |
| Parasitic methods: An implementation of multi-methods for Java J Boyland, G Castagna ACM SIGPLAN Notices 32 (10), 66-76, 1997 | 119 | 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 | 112 | 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 | 101 | 2006 |
Véronique BenzakenProfessor of Computing Science L|-M:F Lab Université Paris Saclay - ENS Paris-Saclay- CNRSVerified email at universite-paris-saclay.fr
