Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 1356 | 1024 |
h-indeks | 13 | 13 |
i10-indeks | 13 | 13 |
Dostęp publiczny
Wyświetl wszystko12 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Zachary TatlockUniversity of WashingtonZweryfikowany adres z cs.washington.edu
- James R. WilcoxUniversity of WashingtonZweryfikowany adres z cs.washington.edu
- Chandrakana NandiSenior Researcher, Certora Inc.Zweryfikowany adres z certora.com
- Max WillseyUC BerkeleyZweryfikowany adres z eecs.berkeley.edu
- Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonZweryfikowany adres z cs.washington.edu
- Ganesh GopalakrishnanProfessor of Computer Science, University of UtahZweryfikowany adres z cs.utah.edu
- Shoaib KamilAdobeZweryfikowany adres z adobe.com
- Emina TorlakAmazon Web Services, University of WashingtonZweryfikowany adres z alum.mit.edu
- Eva DarulovaUppsala UniversityZweryfikowany adres z it.uu.se
Obserwuj
Pavel Panchekha
University of Utah, Kahlert School of Computing
Zweryfikowany adres z cs.utah.edu - Strona główna