Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 9809 | 3027 |
Índice h | 43 | 25 |
Índice i10 | 59 | 38 |
Acesso público
Ver todos8 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzE-mail confirmado em cs.ucsc.edu
- Vincent ChevalUniversity of Oxford, United KingdomE-mail confirmado em cs.ox.ac.uk
- Cédric FournetMicrosoft ResearchE-mail confirmado em microsoft.com
- Karthikeyan BhargavanINRIAE-mail confirmado em inria.fr
- David MonniauxResearcher in computer science, CNRS, VERIMAGE-mail confirmado em univ-grenoble-alpes.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityE-mail confirmado em cims.nyu.edu
- Xavier RivalDirecteur de Recherche, INRIAE-mail confirmado em inria.fr
- Antoine MinéSorbonne Université, LIP6, APRE-mail confirmado em lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisE-mail confirmado em inria.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaE-mail confirmado em ens.fr
- Hubert Comon-LundhComputer Science professor, ENS CachanE-mail confirmado em lsv.ens-cachan.fr
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityE-mail confirmado em informatik.uni-freiburg.de
- Cas CremersCISPA Helmholtz Center for Information SecurityE-mail confirmado em cispa.de
- Aaron D. JaggardU.S. Naval Research LaboratoryE-mail confirmado em dimacs.rutgers.edu
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaE-mail confirmado em math.upenn.edu
- Benjamin LippPost-doctoral researcher, MPI-SPE-mail confirmado em mpi-sp.org
- Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECE-mail confirmado em fc.up.pt
- Bryan ParnoCarnegie Mellon UniversityE-mail confirmado em cmu.edu
- Kevin LiaoMassachusetts Institute of Technology (MIT)E-mail confirmado em mit.edu
- Gilles BartheMPI-SP and IMDEA Software InstituteE-mail confirmado em mpi-sp.org