Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 3558 | 930 |
Índice h | 32 | 14 |
Índice i10 | 58 | 18 |
Acesso público
Ver todos9 artigos
1 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityE-mail confirmado em cs.cmu.edu
- jstrother mooreComputer Science Dept, University of Texas at AustinE-mail confirmado em cs.utexas.edu
- Nathan WetzlerUniversity of Texas at AustinE-mail confirmado em cs.utexas.edu
- William D. YoungLecturer and Research Scientist, University of Texas at AustinE-mail confirmado em cs.utexas.edu
- Anna SlobodovaIntelE-mail confirmado em intel.com
- Shilpi GoelAWSE-mail confirmado em cs.utexas.edu
- Sandip RayProfessor, Department of Electrical and Computer Engineering, University of Florida at GainesvilleE-mail confirmado em ece.ufl.edu
- Sol SwordsFormal Verification, Centaur Technology, Inc.E-mail confirmado em centtech.com
- Jacob AbrahamProfessor, University of TexasE-mail confirmado em cerc.utexas.edu
Seguir
Warren A. Hunt, Jr
Professor of Computer Science, University of Texas
E-mail confirmado em cs.utexas.edu - Página inicial