Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 3557 | 930 |
Índice h | 32 | 14 |
Índice i10 | 58 | 18 |
Acceso público
Ver todo9 artículos
1 artículo
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
- jstrother mooreComputer Science Dept, University of Texas at AustinDirección de correo verificada de cs.utexas.edu
- Nathan WetzlerUniversity of Texas at AustinDirección de correo verificada de cs.utexas.edu
- William D. YoungLecturer and Research Scientist, University of Texas at AustinDirección de correo verificada de cs.utexas.edu
- Anna SlobodovaIntelDirección de correo verificada de intel.com
- Shilpi GoelAWSDirección de correo verificada de cs.utexas.edu
- Sandip RayProfessor, Department of Electrical and Computer Engineering, University of Florida at GainesvilleDirección de correo verificada de ece.ufl.edu
- Sol SwordsFormal Verification, Centaur Technology, Inc.Dirección de correo verificada de centtech.com
- Jacob AbrahamProfessor, University of TexasDirección de correo verificada de cerc.utexas.edu
Seguir
Warren A. Hunt, Jr
Professor of Computer Science, University of Texas
Dirección de correo verificada de cs.utexas.edu - Página principal