Создать свой профиль
Процитировано
Все | Начиная с 2019 г. | |
---|---|---|
Статистика цитирования | 546 | 529 |
h-индекс | 10 | 10 |
i10-индекс | 10 | 10 |
Общий доступ
Просмотреть все9 статей
0 статей
доступно
недоступно
На основе финансирования
Соавторы
- Zachary TatlockUniversity of WashingtonПодтвержден адрес электронной почты в домене cs.washington.edu
- Max WillseyUC BerkeleyПодтвержден адрес электронной почты в домене eecs.berkeley.edu
- Dan GrossmanComputer Science, University of WashingtonПодтвержден адрес электронной почты в домене cs.washington.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingПодтвержден адрес электронной почты в домене cs.utah.edu
- James R. WilcoxUniversity of WashingtonПодтвержден адрес электронной почты в домене cs.washington.edu
- Adriana SchulzUniversity of WashingtonПодтвержден адрес электронной почты в домене cs.washington.edu
- Eva DarulovaUppsala UniversityПодтвержден адрес электронной почты в домене it.uu.se
- Haisen ZhaoProfessor of Shandong UniversityПодтвержден адрес электронной почты в домене sdu.edu.cn
- Jeffrey LiptonProfessor, University of WashingtonПодтвержден адрес электронной почты в домене uw.edu
- Chenming WuBaiduПодтвержден адрес электронной почты в домене mails.tsinghua.edu.cn
- Kathryn S McKinleyGoogleПодтвержден адрес электронной почты в домене cs.utexas.edu
- Adrian SampsonComputer Science, Cornell UniversityПодтвержден адрес электронной почты в домене cornell.edu
- Todd MytkowiczMicrosoft ResearchПодтвержден адрес электронной почты в домене microsoft.com
- Manuel OriolConstructor Institute SchaffhausenПодтвержден адрес электронной почты в домене constructor.org
- Aurelien MonotABB Corporate ResearchПодтвержден адрес электронной почты в домене ch.abb.com
Подписаться
Chandrakana Nandi
Senior Researcher, Certora Inc.
Подтвержден адрес электронной почты в домене certora.com - Главная страница