Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 538 | 424 |
h-indeks | 11 | 11 |
i10-indeks | 12 | 12 |
Dostęp publiczny
Wyświetl wszystko7 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Adam ChlipalaMIT CSAILZweryfikowany adres z csail.mit.edu
- Benjamin DelawareAssistant Professor, Purdue UniversityZweryfikowany adres z purdue.edu
- Jason GrossGraduate, Massachusetts Institute of TechnologyZweryfikowany adres z mit.edu
- ArvindMITZweryfikowany adres z mit.edu
- Peng WangMIT CSAILZweryfikowany adres z csail.mit.edu
- Nikhil SwamyMicrosoft ResearchZweryfikowany adres z microsoft.com
- Cătălin HrițcuTenured Faculty at MPI-SPZweryfikowany adres z mpi-sp.org
- Tahina RamananandroMicrosoft ResearchZweryfikowany adres z ramananandro.org
- Danel AhmanInstitute of Computer Science, University of TartuZweryfikowany adres z ut.ee
- Jonathan ProtzenkoMicrosoft ResearchZweryfikowany adres z ens-lyon.org
- Nick GiannarakisAmazon Web ServicesZweryfikowany adres z amazon.com
- Monal NarasimhamurthyUniversity of Colorado BoulderZweryfikowany adres z colorado.edu
- Guido MartínezCIFASIS-CONICETZweryfikowany adres z cifasis-conicet.gov.ar
- Samuel MaddenMITZweryfikowany adres z csail.mit.edu
- Dustin JamnerMassachusetts Institute of TechnologyZweryfikowany adres z mit.edu
- Kai YeCarnegie Mellon UniversityZweryfikowany adres z cs.cmu.edu
- Pierre CourtieuConservatoire des Arts et Métiers - Laboratory: CÉDRICZweryfikowany adres z cnam.fr
- Stella LauMITZweryfikowany adres z mit.edu
- Andres ErbsenMIT CSAILZweryfikowany adres z mit.edu
- Oleg SokolskyUniversity of PennsylvaniaZweryfikowany adres z cis.upenn.edu