Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 1365 | 1033 |
h-index | 13 | 13 |
i10-index | 13 | 13 |
Nyilvános hozzáférés
Összes megtekintése12 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Zachary TatlockUniversity of WashingtonE-mail megerősítve itt: cs.washington.edu
- James R. WilcoxUniversity of WashingtonE-mail megerősítve itt: cs.washington.edu
- Chandrakana NandiSenior Researcher, Certora Inc.E-mail megerősítve itt: certora.com
- Max WillseyUC BerkeleyE-mail megerősítve itt: eecs.berkeley.edu
- Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonE-mail megerősítve itt: cs.washington.edu
- Ganesh GopalakrishnanProfessor of Computer Science, University of UtahE-mail megerősítve itt: cs.utah.edu
- Shoaib KamilAdobeE-mail megerősítve itt: adobe.com
- Emina TorlakAmazon Web Services, University of WashingtonE-mail megerősítve itt: alum.mit.edu
- Eva DarulovaUppsala UniversityE-mail megerősítve itt: it.uu.se
Követés
Pavel Panchekha
University of Utah, Kahlert School of Computing
E-mail megerősítve itt: cs.utah.edu - Kezdőlap