创建我的个人资料
开放获取的出版物数量
查看全部127 篇文章
1 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing Science在 glasgow.ac.uk 的电子邮件经过验证
- David ParkerProfessor of Computer Science, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
- Radu CalinescuProfessor of Computer Science, University of York在 york.ac.uk 的电子邮件经过验证
- Jeremy SprostonAssistant professor, University of Turin在 di.unito.it 的电子邮件经过验证
- Luca LaurentiTU Delft在 tudelft.nl 的电子邮件经过验证
- Luca CardelliUniversity of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
- Andrea PataneTrinity College Dublin在 tcd.ie 的电子邮件经过验证
- Vojtěch ForejtDifflblue在 diffblue.com 的电子邮件经过验证
- Nicola PaolettiDepartment of Informatics, King's College London在 kcl.ac.uk 的电子邮件经过验证
- Taolue ChenDepartment of Computer Science, Birkbeck, University of London在 bbk.ac.uk 的电子邮件经过验证
- Xiaowei HuangProfessor of Computer Science, University of Liverpool在 liverpool.ac.uk 的电子邮件经过验证
- Hongyang QuResearch Fellow, University of Sheffield在 sheffield.ac.uk 的电子邮件经过验证
- Roberto SegalaUniversità di Verona在 univr.it 的电子邮件经过验证
- Christel BaierTU Dresden在 tu-dresden.de 的电子邮件经过验证
- Min WuDepartment of Computer Science, Stanford University在 stanford.edu 的电子邮件经过验证
- Matthew WickerImperial College London & The Alan Turing Institute在 imperial.ac.uk 的电子邮件经过验证
- Alexandru MereacreNquiringminds Ltd在 nquiringminds.com 的电子邮件经过验证
- Milan CeskaBrno University of Technology在 fit.vutbr.cz 的电子邮件经过验证
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UK在 cs.ox.ac.uk 的电子邮件经过验证
- Frits Dannenberg在 caltech.edu 的电子邮件经过验证
关注
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
在 comlab.ox.ac.uk 的电子邮件经过验证 - 首页