Создать свой профиль
Процитировано
Все | Начиная с 2019 г. | |
---|---|---|
Статистика цитирования | 3563 | 935 |
h-индекс | 32 | 14 |
i10-индекс | 58 | 18 |
Общий доступ
Просмотреть все9 статей
1 статья
доступно
недоступно
На основе финансирования
Соавторы
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityПодтвержден адрес электронной почты в домене cs.cmu.edu
- jstrother mooreComputer Science Dept, University of Texas at AustinПодтвержден адрес электронной почты в домене cs.utexas.edu
- Nathan WetzlerUniversity of Texas at AustinПодтвержден адрес электронной почты в домене cs.utexas.edu
- William D. YoungLecturer and Research Scientist, University of Texas at AustinПодтвержден адрес электронной почты в домене cs.utexas.edu
- Anna SlobodovaIntelПодтвержден адрес электронной почты в домене intel.com
- Shilpi GoelAWSПодтвержден адрес электронной почты в домене cs.utexas.edu
- Sandip RayProfessor, Department of Electrical and Computer Engineering, University of Florida at GainesvilleПодтвержден адрес электронной почты в домене ece.ufl.edu
- Sol SwordsFormal Verification, Centaur Technology, Inc.Подтвержден адрес электронной почты в домене centtech.com
- Jacob AbrahamProfessor, University of TexasПодтвержден адрес электронной почты в домене cerc.utexas.edu
Подписаться
Warren A. Hunt, Jr
Professor of Computer Science, University of Texas
Подтвержден адрес электронной почты в домене cs.utexas.edu - Главная страница