Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 538 | 424 |
Índice h | 11 | 11 |
Índice i10 | 12 | 12 |
Acesso público
Ver todos7 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Adam ChlipalaMIT CSAILE-mail confirmado em csail.mit.edu
- Benjamin DelawareAssistant Professor, Purdue UniversityE-mail confirmado em purdue.edu
- Jason GrossGraduate, Massachusetts Institute of TechnologyE-mail confirmado em mit.edu
- ArvindMITE-mail confirmado em mit.edu
- Peng WangMIT CSAILE-mail confirmado em csail.mit.edu
- Nikhil SwamyMicrosoft ResearchE-mail confirmado em microsoft.com
- Cătălin HrițcuTenured Faculty at MPI-SPE-mail confirmado em mpi-sp.org
- Tahina RamananandroMicrosoft ResearchE-mail confirmado em ramananandro.org
- Danel AhmanInstitute of Computer Science, University of TartuE-mail confirmado em ut.ee
- Jonathan ProtzenkoMicrosoft ResearchE-mail confirmado em ens-lyon.org
- Nick GiannarakisAmazon Web ServicesE-mail confirmado em amazon.com
- Monal NarasimhamurthyUniversity of Colorado BoulderE-mail confirmado em colorado.edu
- Guido MartínezCIFASIS-CONICETE-mail confirmado em cifasis-conicet.gov.ar
- Samuel MaddenMITE-mail confirmado em csail.mit.edu
- Dustin JamnerMassachusetts Institute of TechnologyE-mail confirmado em mit.edu
- Kai YeCarnegie Mellon UniversityE-mail confirmado em cs.cmu.edu
- Pierre CourtieuConservatoire des Arts et Métiers - Laboratory: CÉDRICE-mail confirmado em cnam.fr
- Stella LauMITE-mail confirmado em mit.edu
- Andres ErbsenMIT CSAILE-mail confirmado em mit.edu
- Oleg SokolskyUniversity of PennsylvaniaE-mail confirmado em cis.upenn.edu