Gauti savo profilį
Cituota
Visi | Nuo 2019 | |
---|---|---|
Šaltiniai | 3565 | 937 |
h-rodyklė | 32 | 14 |
i10-rodyklė | 58 | 18 |
Viešas pasiekiamumas
Peržiūrėti viską9 straipsniai
1 straipsnis
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityPatvirtintas el. paštas cs.cmu.edu
- jstrother mooreComputer Science Dept, University of Texas at AustinPatvirtintas el. paštas cs.utexas.edu
- Nathan WetzlerUniversity of Texas at AustinPatvirtintas el. paštas cs.utexas.edu
- William D. YoungLecturer and Research Scientist, University of Texas at AustinPatvirtintas el. paštas cs.utexas.edu
- Anna SlobodovaIntelPatvirtintas el. paštas intel.com
- Shilpi GoelAWSPatvirtintas el. paštas cs.utexas.edu
- Sandip RayProfessor, Department of Electrical and Computer Engineering, University of Florida at GainesvillePatvirtintas el. paštas ece.ufl.edu
- Sol SwordsFormal Verification, Centaur Technology, Inc.Patvirtintas el. paštas centtech.com
- Jacob AbrahamProfessor, University of TexasPatvirtintas el. paštas cerc.utexas.edu
Stebėti
Warren A. Hunt, Jr
Professor of Computer Science, University of Texas
Patvirtintas el. paštas cs.utexas.edu - Pagrindinis puslapis