Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 3572 | 945 |
h-index | 32 | 14 |
i10-index | 58 | 18 |
Nyilvános hozzáférés
Összes megtekintése9 cikk
1 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityE-mail megerősítve itt: cs.cmu.edu
- jstrother mooreComputer Science Dept, University of Texas at AustinE-mail megerősítve itt: cs.utexas.edu
- Nathan WetzlerUniversity of Texas at AustinE-mail megerősítve itt: cs.utexas.edu
- William D. YoungLecturer and Research Scientist, University of Texas at AustinE-mail megerősítve itt: cs.utexas.edu
- Anna SlobodovaIntelE-mail megerősítve itt: intel.com
- Shilpi GoelAWSE-mail megerősítve itt: cs.utexas.edu
- Sandip RayProfessor, Department of Electrical and Computer Engineering, University of Florida at GainesvilleE-mail megerősítve itt: ece.ufl.edu
- Sol SwordsFormal Verification, Centaur Technology, Inc.E-mail megerősítve itt: centtech.com
- Jacob AbrahamProfessor, University of TexasE-mail megerősítve itt: cerc.utexas.edu
Követés
Warren A. Hunt, Jr
Professor of Computer Science, University of Texas
E-mail megerősítve itt: cs.utexas.edu - Kezdőlap