创建我的个人资料
开放获取的出版物数量
查看全部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 的电子邮件经过验证