Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 543 | 526 |
indice h | 10 | 10 |
indice i10 | 10 | 10 |
Accès public
Tout afficher9 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Zachary TatlockUniversity of WashingtonAdresse e-mail validée de cs.washington.edu
- Max WillseyUC BerkeleyAdresse e-mail validée de eecs.berkeley.edu
- Dan GrossmanComputer Science, University of WashingtonAdresse e-mail validée de cs.washington.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingAdresse e-mail validée de cs.utah.edu
- James R. WilcoxUniversity of WashingtonAdresse e-mail validée de cs.washington.edu
- Adriana SchulzUniversity of WashingtonAdresse e-mail validée de cs.washington.edu
- Eva DarulovaUppsala UniversityAdresse e-mail validée de it.uu.se
- Haisen ZhaoProfessor of Shandong UniversityAdresse e-mail validée de sdu.edu.cn
- Jeffrey LiptonProfessor, University of WashingtonAdresse e-mail validée de uw.edu
- Chenming WuBaiduAdresse e-mail validée de mails.tsinghua.edu.cn
- Kathryn S McKinleyGoogleAdresse e-mail validée de cs.utexas.edu
- Adrian SampsonComputer Science, Cornell UniversityAdresse e-mail validée de cornell.edu
- Todd MytkowiczMicrosoft ResearchAdresse e-mail validée de microsoft.com
- Manuel OriolConstructor Institute SchaffhausenAdresse e-mail validée de constructor.org
- Aurelien MonotABB Corporate ResearchAdresse e-mail validée de ch.abb.com
Suivre
Chandrakana Nandi
Senior Researcher, Certora Inc.
Adresse e-mail validée de certora.com - Page d'accueil