Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 9822 | 3040 |
indice h | 43 | 25 |
indice i10 | 59 | 38 |
Accès public
Tout afficher8 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzAdresse e-mail validée de cs.ucsc.edu
- Vincent ChevalUniversity of Oxford, United KingdomAdresse e-mail validée de cs.ox.ac.uk
- Cédric FournetMicrosoft ResearchAdresse e-mail validée de microsoft.com
- Karthikeyan BhargavanINRIAAdresse e-mail validée de inria.fr
- David MonniauxResearcher in computer science, CNRS, VERIMAGAdresse e-mail validée de univ-grenoble-alpes.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityAdresse e-mail validée de cims.nyu.edu
- Xavier RivalDirecteur de Recherche, INRIAAdresse e-mail validée de inria.fr
- Antoine MinéSorbonne Université, LIP6, APRAdresse e-mail validée de lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisAdresse e-mail validée de inria.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaAdresse e-mail validée de ens.fr
- Hubert Comon-LundhComputer Science professor, ENS CachanAdresse e-mail validée de lsv.ens-cachan.fr
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityAdresse e-mail validée de informatik.uni-freiburg.de
- Cas CremersCISPA Helmholtz Center for Information SecurityAdresse e-mail validée de cispa.de
- Aaron D. JaggardU.S. Naval Research LaboratoryAdresse e-mail validée de dimacs.rutgers.edu
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaAdresse e-mail validée de math.upenn.edu
- Benjamin LippPost-doctoral researcher, MPI-SPAdresse e-mail validée de mpi-sp.org
- Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECAdresse e-mail validée de fc.up.pt
- Bryan ParnoCarnegie Mellon UniversityAdresse e-mail validée de cmu.edu
- Kevin LiaoMassachusetts Institute of Technology (MIT)Adresse e-mail validée de mit.edu
- Gilles BartheMPI-SP and IMDEA Software InstituteAdresse e-mail validée de mpi-sp.org
Suivre