创建我的个人资料
开放获取的出版物数量
查看全部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 的电子邮件经过验证
- Adrià GascónGoogle Research在 google.com 的电子邮件经过验证
- patrick lincolnSRI在 sri.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 的电子邮件经过验证 - 首页