Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 3572 | 945 |
h-index | 32 | 14 |
i10-index | 58 | 18 |
Acces public
Afișați-le pe toate9 articole
1 articol
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityAdresă de e-mail confirmată pe cs.cmu.edu
- jstrother mooreComputer Science Dept, University of Texas at AustinAdresă de e-mail confirmată pe cs.utexas.edu
- Nathan WetzlerUniversity of Texas at AustinAdresă de e-mail confirmată pe cs.utexas.edu
- William D. YoungLecturer and Research Scientist, University of Texas at AustinAdresă de e-mail confirmată pe cs.utexas.edu
- Anna SlobodovaIntelAdresă de e-mail confirmată pe intel.com
- Shilpi GoelAWSAdresă de e-mail confirmată pe cs.utexas.edu
- Sandip RayProfessor, Department of Electrical and Computer Engineering, University of Florida at GainesvilleAdresă de e-mail confirmată pe ece.ufl.edu
- Sol SwordsFormal Verification, Centaur Technology, Inc.Adresă de e-mail confirmată pe centtech.com
- Jacob AbrahamProfessor, University of TexasAdresă de e-mail confirmată pe cerc.utexas.edu
Urmăriți
Warren A. Hunt, Jr
Professor of Computer Science, University of Texas
Adresă de e-mail confirmată pe cs.utexas.edu - Pagina de pornire