Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 3564 | 937 |
h-indeks | 32 | 14 |
i10-indeks | 58 | 18 |
Dostęp publiczny
Wyświetl wszystko9 artykułów
1 artykuł
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityZweryfikowany adres z cs.cmu.edu
- jstrother mooreComputer Science Dept, University of Texas at AustinZweryfikowany adres z cs.utexas.edu
- Nathan WetzlerUniversity of Texas at AustinZweryfikowany adres z cs.utexas.edu
- William D. YoungLecturer and Research Scientist, University of Texas at AustinZweryfikowany adres z cs.utexas.edu
- Anna SlobodovaIntelZweryfikowany adres z intel.com
- Shilpi GoelAWSZweryfikowany adres z cs.utexas.edu
- Sandip RayProfessor, Department of Electrical and Computer Engineering, University of Florida at GainesvilleZweryfikowany adres z ece.ufl.edu
- Sol SwordsFormal Verification, Centaur Technology, Inc.Zweryfikowany adres z centtech.com
- Jacob AbrahamProfessor, University of TexasZweryfikowany adres z cerc.utexas.edu
Obserwuj
Warren A. Hunt, Jr
Professor of Computer Science, University of Texas
Zweryfikowany adres z cs.utexas.edu - Strona główna