Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 9790 | 3009 |
Índice h | 43 | 25 |
Índice i10 | 59 | 38 |
Acceso público
Ver todo8 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzDirección de correo verificada de cs.ucsc.edu
- Vincent ChevalUniversity of Oxford, United KingdomDirección de correo verificada de cs.ox.ac.uk
- Cédric FournetMicrosoft ResearchDirección de correo verificada de microsoft.com
- Karthikeyan BhargavanINRIADirección de correo verificada de inria.fr
- David MonniauxResearcher in computer science, CNRS, VERIMAGDirección de correo verificada de univ-grenoble-alpes.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityDirección de correo verificada de cims.nyu.edu
- Xavier RivalDirecteur de Recherche, INRIADirección de correo verificada de inria.fr
- Antoine MinéSorbonne Université, LIP6, APRDirección de correo verificada de lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisDirección de correo verificada de inria.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaDirección de correo verificada de ens.fr
- Hubert Comon-LundhComputer Science professor, ENS CachanDirección de correo verificada de lsv.ens-cachan.fr
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityDirección de correo verificada de informatik.uni-freiburg.de
- Cas CremersCISPA Helmholtz Center for Information SecurityDirección de correo verificada de cispa.de
- Aaron D. JaggardU.S. Naval Research LaboratoryDirección de correo verificada de dimacs.rutgers.edu
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de math.upenn.edu
- Benjamin LippPost-doctoral researcher, MPI-SPDirección de correo verificada de mpi-sp.org
- Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECDirección de correo verificada de fc.up.pt
- Bryan ParnoCarnegie Mellon UniversityDirección de correo verificada de cmu.edu
- Kevin LiaoMassachusetts Institute of Technology (MIT)Dirección de correo verificada de mit.edu
- Gilles BartheMPI-SP and IMDEA Software InstituteDirección de correo verificada de mpi-sp.org
Seguir
Bruno Blanchet
Senior researcher, INRIA, Paris
Dirección de correo verificada de inria.fr - Página principal