创建我的个人资料
开放获取的出版物数量
查看全部7 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Julian GutierrezMonash University Senior Lecturer在 monash.edu 的电子邮件经过验证
- Michael WooldridgeUniversity of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
- Giuseppe PerelliAssistant Professor at Sapienza University of Rome在 di.uniroma1.it 的电子邮件经过验证
- Anthony Widjaja LinProfessor@TU Kaiserslautern, Max-Planck Fellow at Max-Planck Institute for Software Systems在 cs.uni-kl.de 的电子邮件经过验证
- Thomas SteeplesDPhil student, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
- Lewis HammondUniversity of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
- Paul HarrensteinPost-doctoral researcher, University of Oxford在 in.tum.de 的电子邮件经过验证
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UK在 cs.ox.ac.uk 的电子邮件经过验证
- Marta KwiatkowskaProfessor of Computing Systems, University of Oxford在 comlab.ox.ac.uk 的电子邮件经过验证
- Chih-Duo Hong (洪智鐸)National Chengchi University, Taiwan在 nccu.edu.tw 的电子邮件经过验证
- Daniel NeiderTU Dortmund University and Center for Trustworthy Data Science and Security在 tu-dortmund.de 的电子邮件经过验证
- Parosh AbdullaProfessor of Computer Science, Uppsala University在 it.uu.se 的电子邮件经过验证
- Daniel STANEPITA LRE在 epita.fr 的电子邮件经过验证