创建我的个人资料
开放获取的出版物数量
查看全部5 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum在 rub.de 的电子邮件经过验证
- Thiago D. SimãoAssistant Professor at Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
- Murat CubuktepeUniversity of Texas at Austin在 utexas.edu 的电子邮件经过验证
- Ufuk TopcuThe University of Texas at Austin在 utexas.edu 的电子邮件经过验证
- David ParkerProfessor of Computer Science, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
- Sebastian JungesAssistant Professor, Radboud University, Nijmegen在 ru.nl 的电子邮件经过验证
- Ahmadreza MarandiAssistant Professor, Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
- Thom BadingsPhD Candidate, Radboud University在 ru.nl 的电子邮件经过验证
- Patrick WienhöftCeTI | Chair of algebraic and logic foundations of Computer Science, TU Dresden在 tu-dresden.de 的电子邮件经过验证
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)在 tue.nl 的电子邮件经过验证
- Christel BaierTU Dresden在 tu-dresden.de 的电子邮件经过验证
- Arnd HartmannsUniversity of Twente在 utwente.nl 的电子邮件经过验证