Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 4033 | 2694 |
indeks-h | 30 | 26 |
indeks-i10 | 60 | 46 |
Akses publik
Lihat semua37 artikel
2 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyEmail yang diverifikasi di eecs.berkeley.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftEmail yang diverifikasi di csl.sri.com
- Sumit Kumar JhaUniversity of Texas at San AntonioEmail yang diverifikasi di sumitkumarjha.com
- Sumit GulwaniPartner Research Manager, MicrosoftEmail yang diverifikasi di microsoft.com
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderEmail yang diverifikasi di colorado.edu
- Somesh JhaLubar Chair of Computer Science, University of WisconsinEmail yang diverifikasi di cs.wisc.edu
- Wenchao LiAssistant Professor, Boston UniversityEmail yang diverifikasi di bu.edu
- Vasumathi RamanEmail yang diverifikasi di cds.caltech.edu
- Christopher LangmeadAmgen and School of Computer Science, Carnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu
- Trent JaegerProfessor of Computer Science and Engineering, UC RiversideEmail yang diverifikasi di ucr.edu
Ikuti
Susmit Jha
Director, Neurosymbolic Computing and Intelligence, SRI International
Email yang diverifikasi di sri.com - Beranda