Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 549 | 532 |
h-index | 10 | 10 |
i10-index | 10 | 10 |
Acces public
Afișați-le pe toate9 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
- Max WillseyUC BerkeleyAdresă de e-mail confirmată pe eecs.berkeley.edu
- Dan GrossmanComputer Science, University of WashingtonAdresă de e-mail confirmată pe cs.washington.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingAdresă de e-mail confirmată pe cs.utah.edu
- James R. WilcoxUniversity of WashingtonAdresă de e-mail confirmată pe cs.washington.edu
- Adriana SchulzUniversity of WashingtonAdresă de e-mail confirmată pe cs.washington.edu
- Eva DarulovaUppsala UniversityAdresă de e-mail confirmată pe it.uu.se
- Haisen ZhaoProfessor of Shandong UniversityAdresă de e-mail confirmată pe sdu.edu.cn
- Jeffrey LiptonProfessor, University of WashingtonAdresă de e-mail confirmată pe uw.edu
- Chenming WuBaiduAdresă de e-mail confirmată pe mails.tsinghua.edu.cn
- Kathryn S McKinleyGoogleAdresă de e-mail confirmată pe cs.utexas.edu
- Adrian SampsonComputer Science, Cornell UniversityAdresă de e-mail confirmată pe cornell.edu
- Todd MytkowiczMicrosoft ResearchAdresă de e-mail confirmată pe microsoft.com
- Manuel OriolConstructor Institute SchaffhausenAdresă de e-mail confirmată pe constructor.org
- Aurelien MonotABB Corporate ResearchAdresă de e-mail confirmată pe ch.abb.com
Urmăriți
Chandrakana Nandi
Senior Researcher, Certora Inc.
Adresă de e-mail confirmată pe certora.com - Pagina de pornire