自分のプロフィールを作成
オープン アクセス
すべて表示22 件の論文
4 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Sam OwreSRI International確認したメール アドレス: sri.com
- John RushbySRI International確認したメール アドレス: csl.sri.com
- Harald Ruessfortiss確認したメール アドレス: fortiss.org
- Ashish TiwariComputer Scientist, SRI International; Researcher Microsoft確認したメール アドレス: csl.sri.com
- patrick lincolnSRI確認したメール アドレス: sri.com
- Leonardo de MouraAmazon Web Services確認したメール アドレス: amazon.com
- Wenchao LiAssistant Professor, Boston University確認したメール アドレス: bu.edu
- Dr. Hassen SaidiSr Computer Scientist, SRI International確認したメール アドレス: csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeley確認したメール アドレス: eecs.berkeley.edu
- Stéphane Graham-LengrandSRI International確認したメール アドレス: csl.sri.com
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of Pennsylvania確認したメール アドレス: math.upenn.edu
- Saddek BensalemUniversité Grenoble Alpes, VERIMAG確認したメール アドレス: univ-grenoble-alpes.fr
- Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USA確認したメール アドレス: gatech.edu
- Klaus HavelundSenior Research Scientist, Jet Propulsion Laboratory確認したメール アドレス: jpl.nasa.gov
- Eli SingermanIntel Corp.確認したメール アドレス: intel.com
- Gary T. LeavensProfessor, University of Central Florida確認したメール アドレス: cs.ucf.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI International確認したメール アドレス: sri.com
- Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di Verona確認したメール アドレス: univr.it
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton University確認したメール アドレス: princeton.edu
- Pramod SubramanyanIndian Institute of Technology Kanpur確認したメール アドレス: cse.iitk.ac.in