Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 543 | 526 |
Índice h | 10 | 10 |
Índice i10 | 10 | 10 |
Acceso público
Ver todo9 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Zachary TatlockUniversity of WashingtonDirección de correo verificada de cs.washington.edu
- Max WillseyUC BerkeleyDirección de correo verificada de eecs.berkeley.edu
- Dan GrossmanComputer Science, University of WashingtonDirección de correo verificada de cs.washington.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingDirección de correo verificada de cs.utah.edu
- James R. WilcoxUniversity of WashingtonDirección de correo verificada de cs.washington.edu
- Adriana SchulzUniversity of WashingtonDirección de correo verificada de cs.washington.edu
- Eva DarulovaUppsala UniversityDirección de correo verificada de it.uu.se
- Haisen ZhaoProfessor of Shandong UniversityDirección de correo verificada de sdu.edu.cn
- Jeffrey LiptonProfessor, University of WashingtonDirección de correo verificada de uw.edu
- Chenming WuBaiduDirección de correo verificada de mails.tsinghua.edu.cn
- Kathryn S McKinleyGoogleDirección de correo verificada de cs.utexas.edu
- Adrian SampsonComputer Science, Cornell UniversityDirección de correo verificada de cornell.edu
- Todd MytkowiczMicrosoft ResearchDirección de correo verificada de microsoft.com
- Manuel OriolConstructor Institute SchaffhausenDirección de correo verificada de constructor.org
- Aurelien MonotABB Corporate ResearchDirección de correo verificada de ch.abb.com
Seguir
Chandrakana Nandi
Senior Researcher, Certora Inc.
Dirección de correo verificada de certora.com - Página principal