Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 9826 | 3044 |
h-індекс | 44 | 25 |
i10-індекс | 59 | 38 |
Доступні для всіх
Переглянути всі8 статей
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzПідтверджена електронна адреса в cs.ucsc.edu
- Vincent ChevalUniversity of Oxford, United KingdomПідтверджена електронна адреса в cs.ox.ac.uk
- Cédric FournetMicrosoft ResearchПідтверджена електронна адреса в microsoft.com
- Karthikeyan BhargavanINRIAПідтверджена електронна адреса в inria.fr
- David MonniauxResearcher in computer science, CNRS, VERIMAGПідтверджена електронна адреса в univ-grenoble-alpes.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityПідтверджена електронна адреса в cims.nyu.edu
- Xavier RivalDirecteur de Recherche, INRIAПідтверджена електронна адреса в inria.fr
- Antoine MinéSorbonne Université, LIP6, APRПідтверджена електронна адреса в lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisПідтверджена електронна адреса в inria.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaПідтверджена електронна адреса в ens.fr
- Hubert Comon-LundhComputer Science professor, ENS CachanПідтверджена електронна адреса в lsv.ens-cachan.fr
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityПідтверджена електронна адреса в informatik.uni-freiburg.de
- Cas CremersCISPA Helmholtz Center for Information SecurityПідтверджена електронна адреса в cispa.de
- Aaron D. JaggardU.S. Naval Research LaboratoryПідтверджена електронна адреса в dimacs.rutgers.edu
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaПідтверджена електронна адреса в math.upenn.edu
- Benjamin LippPost-doctoral researcher, MPI-SPПідтверджена електронна адреса в mpi-sp.org
- Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECПідтверджена електронна адреса в fc.up.pt
- Bryan ParnoCarnegie Mellon UniversityПідтверджена електронна адреса в cmu.edu
- Kevin LiaoMassachusetts Institute of Technology (MIT)Підтверджена електронна адреса в mit.edu
- Gilles BartheMPI-SP and IMDEA Software InstituteПідтверджена електронна адреса в mpi-sp.org
Підписатись
Bruno Blanchet
Senior researcher, INRIA, Paris
Підтверджена електронна адреса в inria.fr - Домашня сторінка