Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 9821 | 3039 |
h-index | 43 | 25 |
i10-indeks | 59 | 38 |
Offentlig adgang
Se alle8 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerificeret mail på cs.ucsc.edu
- Vincent ChevalUniversity of Oxford, United KingdomVerificeret mail på cs.ox.ac.uk
- Cédric FournetMicrosoft ResearchVerificeret mail på microsoft.com
- Karthikeyan BhargavanINRIAVerificeret mail på inria.fr
- David MonniauxResearcher in computer science, CNRS, VERIMAGVerificeret mail på univ-grenoble-alpes.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityVerificeret mail på cims.nyu.edu
- Xavier RivalDirecteur de Recherche, INRIAVerificeret mail på inria.fr
- Antoine MinéSorbonne Université, LIP6, APRVerificeret mail på lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisVerificeret mail på inria.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaVerificeret mail på ens.fr
- Hubert Comon-LundhComputer Science professor, ENS CachanVerificeret mail på lsv.ens-cachan.fr
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerificeret mail på informatik.uni-freiburg.de
- Cas CremersCISPA Helmholtz Center for Information SecurityVerificeret mail på cispa.de
- Aaron D. JaggardU.S. Naval Research LaboratoryVerificeret mail på dimacs.rutgers.edu
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerificeret mail på math.upenn.edu
- Benjamin LippPost-doctoral researcher, MPI-SPVerificeret mail på mpi-sp.org
- Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerificeret mail på fc.up.pt
- Bryan ParnoCarnegie Mellon UniversityVerificeret mail på cmu.edu
- Kevin LiaoMassachusetts Institute of Technology (MIT)Verificeret mail på mit.edu
- Gilles BartheMPI-SP and IMDEA Software InstituteVerificeret mail på mpi-sp.org