Получаване на мой собствен потребителски профил
Позовавания
Всички | От 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 - Начална страница