自分のプロフィールを作成
オープン アクセス
すべて表示37 件の論文
2 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeley確認したメール アドレス: eecs.berkeley.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher Microsoft確認したメール アドレス: csl.sri.com
- Sumit Kumar JhaUniversity of Texas at San Antonio確認したメール アドレス: sumitkumarjha.com
- Sumit GulwaniPartner Research Manager, Microsoft確認したメール アドレス: microsoft.com
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado Boulder確認したメール アドレス: colorado.edu
- Somesh JhaLubar Chair of Computer Science, University of Wisconsin確認したメール アドレス: cs.wisc.edu
- Wenchao LiAssistant Professor, Boston University確認したメール アドレス: bu.edu
- Vasumathi Raman確認したメール アドレス: cds.caltech.edu
- Christopher LangmeadAmgen and School of Computer Science, Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Trent JaegerProfessor of Computer Science and Engineering, UC Riverside確認したメール アドレス: ucr.edu
フォロー
Susmit Jha
Director, Neurosymbolic Computing and Intelligence, SRI International
確認したメール アドレス: sri.com - ホームページ