自分のプロフィールを作成
オープン アクセス
すべて表示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 - ホームページ