Hanki oma profiili
Viittaukset
Kaikki | 2019 lähtien | |
---|---|---|
Sitaatit | 3559 | 931 |
h-indeksi | 32 | 14 |
i10-indeksi | 58 | 18 |
Yleisessä käytössä
Näytä kaikki9 artikkelia
1 artikkeli
käytettävissä
ei käytettävissä
Perustuu rahoitusehtoihin
Muut kirjoittajat
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cs.cmu.edu
- jstrother mooreComputer Science Dept, University of Texas at AustinVahvistettu sähköpostiosoite verkkotunnuksessa cs.utexas.edu
- Nathan WetzlerUniversity of Texas at AustinVahvistettu sähköpostiosoite verkkotunnuksessa cs.utexas.edu
- William D. YoungLecturer and Research Scientist, University of Texas at AustinVahvistettu sähköpostiosoite verkkotunnuksessa cs.utexas.edu
- Anna SlobodovaIntelVahvistettu sähköpostiosoite verkkotunnuksessa intel.com
- Shilpi GoelAWSVahvistettu sähköpostiosoite verkkotunnuksessa cs.utexas.edu
- Sandip RayProfessor, Department of Electrical and Computer Engineering, University of Florida at GainesvilleVahvistettu sähköpostiosoite verkkotunnuksessa ece.ufl.edu
- Sol SwordsFormal Verification, Centaur Technology, Inc.Vahvistettu sähköpostiosoite verkkotunnuksessa centtech.com
- Jacob AbrahamProfessor, University of TexasVahvistettu sähköpostiosoite verkkotunnuksessa cerc.utexas.edu
Seuraa
Warren A. Hunt, Jr
Professor of Computer Science, University of Texas
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.utexas.edu - Kotisivu