Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 445 | 338 |
indice h | 9 | 7 |
indice i10 | 8 | 6 |
Accès public
Tout afficher5 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Aseem RastogiResearcher, Microsoft ResearchAdresse e-mail validée de microsoft.com
- Karthikeyan BhargavanINRIAAdresse e-mail validée de inria.fr
- Jean Karim ZinzindohouéPhD Student at INRIA RocquencourtAdresse e-mail validée de inria.fr
- Cédric FournetMicrosoft ResearchAdresse e-mail validée de microsoft.com
- Jonathan ProtzenkoMicrosoft ResearchAdresse e-mail validée de ens-lyon.org
- Nikhil SwamyMicrosoft ResearchAdresse e-mail validée de microsoft.com
- Adam ChlipalaMIT CSAILAdresse e-mail validée de csail.mit.edu
- Antoine Delignat-LavaudMicrosoft ResearchAdresse e-mail validée de microsoft.com
- Cătălin HrițcuTenured Faculty at MPI-SPAdresse e-mail validée de mpi-sp.org
- Tahina RamananandroMicrosoft ResearchAdresse e-mail validée de ramananandro.org
- Santiago Zanella-BéguelinMicrosoft ResearchAdresse e-mail validée de microsoft.com
- Bryan ParnoCarnegie Mellon UniversityAdresse e-mail validée de cmu.edu
- Jason GrossGraduate, Massachusetts Institute of TechnologyAdresse e-mail validée de mit.edu
- Benjamin DelawareAssistant Professor, Purdue UniversityAdresse e-mail validée de purdue.edu
- Samin IshtiaqRiverlaneAdresse e-mail validée de riverlane.com
- Ashay RaneGraduate Research Assistant, The University of Texas at AustinAdresse e-mail validée de utexas.edu
- Markulf KohlweissUniveristy of EdinburghAdresse e-mail validée de ed.ac.uk
- Laure ThompsonPrinceton UniversityAdresse e-mail validée de princeton.edu
- santiago cuellarPhD, Princeton UniversityAdresse e-mail validée de princeton.edu
- Kai YeCarnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu