Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 540 | 426 |
indeks-h | 11 | 11 |
indeks-i10 | 12 | 12 |
Akses publik
Lihat semua7 artikel
0 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Adam ChlipalaMIT CSAILEmail yang diverifikasi di csail.mit.edu
- Benjamin DelawareAssistant Professor, Purdue UniversityEmail yang diverifikasi di purdue.edu
- Jason GrossGraduate, Massachusetts Institute of TechnologyEmail yang diverifikasi di mit.edu
- ArvindMITEmail yang diverifikasi di mit.edu
- Peng WangMIT CSAILEmail yang diverifikasi di csail.mit.edu
- Nikhil SwamyMicrosoft ResearchEmail yang diverifikasi di microsoft.com
- Cătălin HrițcuTenured Faculty at MPI-SPEmail yang diverifikasi di mpi-sp.org
- Tahina RamananandroMicrosoft ResearchEmail yang diverifikasi di ramananandro.org
- Danel AhmanInstitute of Computer Science, University of TartuEmail yang diverifikasi di ut.ee
- Jonathan ProtzenkoMicrosoft ResearchEmail yang diverifikasi di ens-lyon.org
- Nick GiannarakisAmazon Web ServicesEmail yang diverifikasi di amazon.com
- Monal NarasimhamurthyUniversity of Colorado BoulderEmail yang diverifikasi di colorado.edu
- Guido MartínezCIFASIS-CONICETEmail yang diverifikasi di cifasis-conicet.gov.ar
- Samuel MaddenMITEmail yang diverifikasi di csail.mit.edu
- Dustin JamnerMassachusetts Institute of TechnologyEmail yang diverifikasi di mit.edu
- Kai YeCarnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu
- Pierre CourtieuConservatoire des Arts et Métiers - Laboratory: CÉDRICEmail yang diverifikasi di cnam.fr
- Stella LauMITEmail yang diverifikasi di mit.edu
- Andres ErbsenMIT CSAILEmail yang diverifikasi di mit.edu
- Oleg SokolskyUniversity of PennsylvaniaEmail yang diverifikasi di cis.upenn.edu