Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 1361 | 1029 |
h-index | 13 | 13 |
i10-index | 13 | 13 |
Acces public
Afișați-le pe toate12 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Zachary TatlockUniversity of WashingtonAdresă de e-mail confirmată pe cs.washington.edu
- James R. WilcoxUniversity of WashingtonAdresă de e-mail confirmată pe cs.washington.edu
- Chandrakana NandiSenior Researcher, Certora Inc.Adresă de e-mail confirmată pe certora.com
- Max WillseyUC BerkeleyAdresă de e-mail confirmată pe eecs.berkeley.edu
- Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonAdresă de e-mail confirmată pe cs.washington.edu
- Ganesh GopalakrishnanProfessor of Computer Science, University of UtahAdresă de e-mail confirmată pe cs.utah.edu
- Shoaib KamilAdobeAdresă de e-mail confirmată pe adobe.com
- Emina TorlakAmazon Web Services, University of WashingtonAdresă de e-mail confirmată pe alum.mit.edu
- Eva DarulovaUppsala UniversityAdresă de e-mail confirmată pe it.uu.se
Urmăriți
Pavel Panchekha
University of Utah, Kahlert School of Computing
Adresă de e-mail confirmată pe cs.utah.edu - Pagina de pornire