创建我的个人资料
开放获取的出版物数量
查看全部10 篇文章
1 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Stephan ArltFederal Office for Information Security在 bsi.bund.de 的电子邮件经过验证
- Thomas WiesNew York University在 cs.nyu.edu 的电子邮件经过验证
- Philipp RuemmerProfessor in Computer Science, University of Regensburg在 ur.de 的电子邮件经过验证
- Cristiano BertoliniResearcher, Federal University of Santa Maria在 cin.ufpe.br 的电子邮件经过验证
- Andreas PodelskiProfessor of Computer Science, Freiburg University在 informatik.uni-freiburg.de 的电子邮件经过验证
- Temesghen KahsaiPrincipal Applied Scientist @ Amazon在 amazon.com 的电子邮件经过验证
- Huascar SanchezComputer Scientist @ SRI International在 sri.com 的电子邮件经过验证
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWS在 amazon.com 的电子邮件经过验证
- Atif MemonProfessor of Computer Science, University of Maryland在 cs.umd.edu 的电子邮件经过验证
- Linghui LuoAmazon Web Services在 amazon.com 的电子邮件经过验证
- Willem VisserComputer Science Division, Stellenbosch University在 cs.sun.ac.za 的电子邮件经过验证
- Dr. Hassen SaidiSr Computer Scientist, SRI International在 csl.sri.com 的电子邮件经过验证
- Neha RungtaAmazon Web Services在 amazon.com 的电子邮件经过验证
- Michael W WhalenAmazon, Inc. and the University of Minnesota在 cs.umn.edu 的电子邮件经过验证
- Andrew GacekAmazon Web Service在 amazon.com 的电子邮件经过验证
- Byron CookProfessor of Computer Science, UCL, Amazon在 cs.ucl.ac.uk 的电子邮件经过验证
- Cole SchlesingerResearch Engineer, Galois Inc.在 schlesinger.tech 的电子邮件经过验证
- Aritra SenguptaAutomated Reasoning Group, AWS.在 cse.ohio-state.edu 的电子邮件经过验证
- Lee PikeAWS Automated Reasoning在 amazon.com 的电子邮件经过验证
- Dejan JovanovićAmazon Web Services在 amazon.com 的电子邮件经过验证