建立我自己的個人學術檔案
公開取用
查看全部36 篇文章
2 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Sumit GulwaniPartner Research Manager, Microsoft在 microsoft.com 的電子郵件地址已通過驗證
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI International在 sri.com 的電子郵件地址已通過驗證
- Natarajan ShankarSRI International Computer Science Laboratory在 csl.sri.com 的電子郵件地址已通過驗證
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeley在 eecs.berkeley.edu 的電子郵件地址已通過驗證
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado Boulder在 colorado.edu 的電子郵件地址已通過驗證
- patrick lincolnSRI在 sri.com 的電子郵件地址已通過驗證
- Adrià GascónGoogle Research在 google.com 的電子郵件地址已通過驗證
- Harald Ruessfortiss在 fortiss.org 的電子郵件地址已通過驗證
- Radu GrosuProfessor of Computer Science在 tuwien.ac.at 的電子郵件地址已通過驗證
- Scott A. SmolkaProfessor of Computer Science, Stony Brook University在 cs.sunysb.edu 的電子郵件地址已通過驗證
- John RushbySRI International在 csl.sri.com 的電子郵件地址已通過驗證
- Leo BachmairProfessor of Computer Science, Stony Brook University在 cs.stonybrook.edu 的電子郵件地址已通過驗證
- Bruno DutertreAmazon Web Services在 amazon.com 的電子郵件地址已通過驗證
- Sam OwreSRI International在 sri.com 的電子郵件地址已通過驗證
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton University在 princeton.edu 的電子郵件地址已通過驗證
- Junxing YangStony Brook Univerisity在 cs.stonybrook.edu 的電子郵件地址已通過驗證
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UK在 cs.ox.ac.uk 的電子郵件地址已通過驗證
- Pramod SubramanyanIndian Institute of Technology Kanpur在 cse.iitk.ac.in 的電子郵件地址已通過驗證
- Leonardo de MouraAmazon Web Services在 amazon.com 的電子郵件地址已通過驗證
- Gaurav KhannaUniversity of Rhode Island & UMass Dartmouth在 umassd.edu 的電子郵件地址已通過驗證
追蹤
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
在 csl.sri.com 的電子郵件地址已通過驗證 - 首頁