创建我的个人资料
开放获取的出版物数量
查看全部2 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Nikolaj BjornerMicrosoft Research在 cs.stanford.edu 的电子邮件经过验证
- Bruno DutertreAmazon Web Services在 amazon.com 的电子邮件经过验证
- Harald Ruessfortiss在 fortiss.org 的电子邮件经过验证
- Natarajan ShankarSRI International Computer Science Laboratory在 csl.sri.com 的电子邮件经过验证
- John RushbySRI International在 csl.sri.com 的电子邮件经过验证
- Clark BarrettStanford University在 cs.stanford.edu 的电子邮件经过验证
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon University在 cmu.edu 的电子邮件经过验证
- Daniel SelsamOpenAI在 openai.com 的电子邮件经过验证
- Dejan JovanovićAmazon Web Services在 amazon.com 的电子邮件经过验证
- Sam OwreSRI International在 sri.com 的电子邮件经过验证
- Aaron StumpProfessor of Computer Science, The University of Iowa在 uiowa.edu 的电子邮件经过验证
- Sebastian UllrichKarlsruhe Institute of Technology在 kit.edu 的电子邮件经过验证
- Soonho KongAmazon Web Services在 amazon.com 的电子邮件经过验证
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of Cambridge在 cl.cam.ac.uk 的电子邮件经过验证
- Ira BaxterCTO Semantic Designs在 semdesigns.com 的电子邮件经过验证
- Christoph M. WintersteigerImandra在 imandra.ai 的电子邮件经过验证
- Percy LiangAssociate Professor of Computer Science, Stanford University在 cs.stanford.edu 的电子邮件经过验证
- Ashish TiwariComputer Scientist, SRI International; Researcher Microsoft在 csl.sri.com 的电子邮件经过验证
- Floris van DoornUniversity of Paris-Saclay在 universite-paris-saclay.fr 的电子邮件经过验证
- Jakob von RaumerKarlsruhe Institute of Technology在 von-raumer.de 的电子邮件经过验证