Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 537 | 423 |
Índice h | 11 | 11 |
Índice i10 | 12 | 12 |
Acesso público
Ver tudo7 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Adam ChlipalaMIT CSAILEmail confirmado em csail.mit.edu
- Benjamin DelawareAssistant Professor, Purdue UniversityEmail confirmado em purdue.edu
- Jason GrossGraduate, Massachusetts Institute of TechnologyEmail confirmado em mit.edu
- ArvindMITEmail confirmado em mit.edu
- Peng WangMIT CSAILEmail confirmado em csail.mit.edu
- Nikhil SwamyMicrosoft 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
- Danel AhmanInstitute of Computer Science, University of TartuEmail confirmado em ut.ee
- Jonathan ProtzenkoMicrosoft ResearchEmail confirmado em ens-lyon.org
- Nick GiannarakisAmazon Web ServicesEmail confirmado em amazon.com
- Monal NarasimhamurthyUniversity of Colorado BoulderEmail confirmado em colorado.edu
- Guido MartínezCIFASIS-CONICETEmail confirmado em cifasis-conicet.gov.ar
- Samuel MaddenMITEmail confirmado em csail.mit.edu
- Dustin JamnerMassachusetts Institute of TechnologyEmail confirmado em mit.edu
- Kai YeCarnegie Mellon UniversityEmail confirmado em cs.cmu.edu
- Pierre CourtieuConservatoire des Arts et Métiers - Laboratory: CÉDRICEmail confirmado em cnam.fr
- Stella LauMITEmail confirmado em mit.edu
- Andres ErbsenMIT CSAILEmail confirmado em mit.edu
- Oleg SokolskyUniversity of PennsylvaniaEmail confirmado em cis.upenn.edu