自分のプロフィールを作成
オープン アクセス
すべて表示108 件の論文
2 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, Berkeley確認したメール アドレス: eecs.berkeley.edu
- Randal BryantCarnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI International確認したメール アドレス: sri.com
- Wenchao LiAssistant Professor, Boston University確認したメール アドレス: bu.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher Microsoft確認したメール アドレス: csl.sri.com
- George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvania確認したメール アドレス: seas.upenn.edu
- Shuvendu LahiriSenior Principal Researcher, Microsoft Research確認したメール アドレス: microsoft.com
- Shaz QadeerSoftware Engineer, Meta確認したメール アドレス: meta.com
- Natarajan ShankarSRI International Computer Science Laboratory確認したメール アドレス: csl.sri.com
- Ofer StrichmanTechnion, Haifa, Israel確認したメール アドレス: ie.technion.ac.il
- Daniel HolcombAssociate Professor, University of Massachusetts確認したメール アドレス: engin.umass.edu
- David WagnerProfessor of Computer Science, UC Berkeley確認したメール アドレス: cs.berkeley.edu
- Orna KupfermanProfessor of Computer Science, The Hebrew University確認したメール アドレス: cs.huji.ac.il
- Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. Anna確認したメール アドレス: sssup.it
- Stephen FreundComputer Science, Williams College確認したメール アドレス: cs.williams.edu
- Petros ManiatisStaff Research Scientist, Google確認したメール アドレス: google.com
- Nicholas HopperProfessor of Computer Science & Engineering, University of Minnesota確認したメール アドレス: umn.edu
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-Champaign確認したメール アドレス: illinois.edu
フォロー
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
確認したメール アドレス: eecs.berkeley.edu - ホームページ