Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 445 | 338 |
h-indeks | 9 | 7 |
i10-indeks | 8 | 6 |
Dostęp publiczny
Wyświetl wszystko5 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Aseem RastogiResearcher, Microsoft ResearchZweryfikowany adres z microsoft.com
- Karthikeyan BhargavanINRIAZweryfikowany adres z inria.fr
- Jean Karim ZinzindohouéPhD Student at INRIA RocquencourtZweryfikowany adres z inria.fr
- Cédric FournetMicrosoft ResearchZweryfikowany adres z microsoft.com
- Jonathan ProtzenkoMicrosoft ResearchZweryfikowany adres z ens-lyon.org
- Nikhil SwamyMicrosoft ResearchZweryfikowany adres z microsoft.com
- Adam ChlipalaMIT CSAILZweryfikowany adres z csail.mit.edu
- Antoine Delignat-LavaudMicrosoft 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
- Santiago Zanella-BéguelinMicrosoft ResearchZweryfikowany adres z microsoft.com
- Bryan ParnoCarnegie Mellon UniversityZweryfikowany adres z cmu.edu
- Jason GrossGraduate, Massachusetts Institute of TechnologyZweryfikowany adres z mit.edu
- Benjamin DelawareAssistant Professor, Purdue UniversityZweryfikowany adres z purdue.edu
- Samin IshtiaqRiverlaneZweryfikowany adres z riverlane.com
- Ashay RaneGraduate Research Assistant, The University of Texas at AustinZweryfikowany adres z utexas.edu
- Markulf KohlweissUniveristy of EdinburghZweryfikowany adres z ed.ac.uk
- Laure ThompsonPrinceton UniversityZweryfikowany adres z princeton.edu
- santiago cuellarPhD, Princeton UniversityZweryfikowany adres z princeton.edu
- Kai YeCarnegie Mellon UniversityZweryfikowany adres z cs.cmu.edu