Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 3555 | 928 |
indice h | 32 | 14 |
indice i10 | 58 | 18 |
Accès public
Tout afficher9 articles
1 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
- jstrother mooreComputer Science Dept, University of Texas at AustinAdresse e-mail validée de cs.utexas.edu
- Nathan WetzlerUniversity of Texas at AustinAdresse e-mail validée de cs.utexas.edu
- William D. YoungLecturer and Research Scientist, University of Texas at AustinAdresse e-mail validée de cs.utexas.edu
- Anna SlobodovaIntelAdresse e-mail validée de intel.com
- Shilpi GoelAWSAdresse e-mail validée de cs.utexas.edu
- Sandip RayProfessor, Department of Electrical and Computer Engineering, University of Florida at GainesvilleAdresse e-mail validée de ece.ufl.edu
- Sol SwordsFormal Verification, Centaur Technology, Inc.Adresse e-mail validée de centtech.com
- Jacob AbrahamProfessor, University of TexasAdresse e-mail validée de cerc.utexas.edu
Suivre
Warren A. Hunt, Jr
Professor of Computer Science, University of Texas
Adresse e-mail validée de cs.utexas.edu - Page d'accueil