建立我自己的個人學術檔案
公開取用
查看全部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 的電子郵件地址已通過驗證 - 首頁