创建我的个人资料
开放获取的出版物数量
查看全部15 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Daniel KroeningAmazon在 amazon.com 的电子邮件经过验证
- Christian SchallhartGoogle在 schallhart.net 的电子邮件经过验证
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU Wien在 forsyte.tuwien.ac.at 的电子邮件经过验证
- Jade AlglaveARM and University College London在 ucl.ac.uk 的电子邮件经过验证
- Andreas HolzerUniversity of Toronto在 cs.toronto.edu 的电子邮件经过验证
- Stefan KugeleTechnische Hochschule Ingolstadt在 thi.de 的电子邮件经过验证
- Serdar TasiranS3, Amazon Web Services在 acm.org 的电子邮件经过验证
- Byron CookProfessor of Computer Science, UCL, Amazon在 cs.ucl.ac.uk 的电子邮件经过验证
- Luc MarangetInria在 inria.fr 的电子邮件经过验证
- Andreas BauerUniversität Augsburg在 uni-a.de 的电子邮件经过验证
- Dirk BeyerProfessor of Computer Science, LMU Munich, Germany在 lmu.de 的电子邮件经过验证
- Alastair DonaldsonImperial College London在 imperial.ac.uk 的电子邮件经过验证
- Zhonglei WangComputer Science, Karlsruhe Institute of Technology在 kit.edu 的电子邮件经过验证
- Tom MelhamProfessor of Computer Science, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of Sussex在 diffblue.com 的电子邮件经过验证
- Thomas WahlNortheastern University, Boston, USA在 northeastern.edu 的电子邮件经过验证
- Matthias DanglLudwig-Maximilians-Universität München在 sosy.ifi.lmu.de 的电子邮件经过验证
- Thomas LembergerLMU Munich在 lmu.de 的电子邮件经过验证
- Felipe R. MonteiroAmazon在 amazon.com 的电子邮件经过验证
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWS在 amazon.com 的电子邮件经过验证