Создать свой профиль
Процитировано
Все | Начиная с 2019 г. | |
---|---|---|
Статистика цитирования | 230 | 216 |
h-индекс | 7 | 7 |
i10-индекс | 7 | 7 |
Общий доступ
Просмотреть все4 статьи
0 статей
доступно
недоступно
На основе финансирования
Соавторы
- John RegehrProfessor, School of Computing, University of UtahПодтвержден адрес электронной почты в домене cs.utah.edu
- Juneyoung(June) LeeAutomated Reasoning Group, AWSПодтвержден адрес электронной почты в домене amazon.com
- Chung-Kil HurSeoul National UniversityПодтвержден адрес электронной почты в домене sf.snu.ac.kr
- Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de LisboaПодтвержден адрес электронной почты в домене tecnico.ulisboa.pt
- Todd MytkowiczMicrosoft ResearchПодтвержден адрес электронной почты в домене microsoft.com
- Jacob NelsonMicrosoft ResearchПодтвержден адрес электронной почты в домене microsoft.com
- Zixian CaiAustralian National UniversityПодтвержден адрес электронной почты в домене anu.edu.au
- Madanlal MusuvathiMicrosoft ResearchПодтвержден адрес электронной почты в домене microsoft.com
- Jubi TanejaMicrosoft ResearchПодтвержден адрес электронной почты в домене cs.utah.edu
- John CriswellUniversity of RochesterПодтвержден адрес электронной почты в домене cs.rochester.edu