创建我的个人资料
开放获取的出版物数量
查看全部6 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Maria ChristakisProfessor @ TU Wien Informatics在 tuwien.ac.at 的电子邮件经过验证
- Valentin WüstholzConsenSys在 consensys.net 的电子邮件经过验证
- Stefan FalknerBosch Corporate Research在 de.bosch.com 的电子邮件经过验证
- Frank HutterProfessor of Computer Science, University of Freiburg, Germany在 cs.uni-freiburg.de 的电子邮件经过验证
- Aaron KleinAWS Research Berlin在 amazon.com 的电子邮件经过验证
- Matthias HeizmannUniversity of Freiburg, Germany在 heizmann.name 的电子邮件经过验证
- Christian SchillingAssistant Professor at Aalborg University在 cs.aau.dk 的电子邮件经过验证
- Jorge A NavasCertora在 certora.com 的电子邮件经过验证
- Antonio FilieriAmazon Web Services, Imperial College London在 imperial.ac.uk 的电子邮件经过验证
- Linghui LuoAmazon Web Services在 amazon.com 的电子邮件经过验证
- Aritra SenguptaAutomated Reasoning Group, AWS.在 cse.ohio-state.edu 的电子邮件经过验证
- Lee PikeAWS Automated Reasoning在 amazon.com 的电子邮件经过验证
- Willem VisserComputer Science Division, Stellenbosch University在 cs.sun.ac.za 的电子邮件经过验证
- Martin SchaefAmazon Web Services在 amazon.com 的电子邮件经过验证
- Nicolás RosnerAmazon Web Services