Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 445 | 338 |
Índice h | 9 | 7 |
Índice i10 | 8 | 6 |
Acesso público
Ver tudo5 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Aseem RastogiResearcher, Microsoft ResearchEmail confirmado em microsoft.com
- Karthikeyan BhargavanINRIAEmail confirmado em inria.fr
- Jean Karim ZinzindohouéPhD Student at INRIA RocquencourtEmail confirmado em inria.fr
- Cédric FournetMicrosoft ResearchEmail confirmado em microsoft.com
- Jonathan ProtzenkoMicrosoft ResearchEmail confirmado em ens-lyon.org
- Nikhil SwamyMicrosoft ResearchEmail confirmado em microsoft.com
- Adam ChlipalaMIT CSAILEmail confirmado em csail.mit.edu
- Antoine Delignat-LavaudMicrosoft ResearchEmail confirmado em microsoft.com
- Cătălin HrițcuTenured Faculty at MPI-SPEmail confirmado em mpi-sp.org
- Tahina RamananandroMicrosoft ResearchEmail confirmado em ramananandro.org
- Santiago Zanella-BéguelinMicrosoft ResearchEmail confirmado em microsoft.com
- Bryan ParnoCarnegie Mellon UniversityEmail confirmado em cmu.edu
- Jason GrossGraduate, Massachusetts Institute of TechnologyEmail confirmado em mit.edu
- Benjamin DelawareAssistant Professor, Purdue UniversityEmail confirmado em purdue.edu
- Samin IshtiaqRiverlaneEmail confirmado em riverlane.com
- Ashay RaneGraduate Research Assistant, The University of Texas at AustinEmail confirmado em utexas.edu
- Markulf KohlweissUniveristy of EdinburghEmail confirmado em ed.ac.uk
- Laure ThompsonPrinceton UniversityEmail confirmado em princeton.edu
- santiago cuellarPhD, Princeton UniversityEmail confirmado em princeton.edu
- Kai YeCarnegie Mellon UniversityEmail confirmado em cs.cmu.edu