创建我的个人资料
开放获取的出版物数量
查看全部13 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Conor McBrideReader, University of Strathclyde在 strath.ac.uk 的电子邮件经过验证
- Edwin BradyReader, School of Computer Science, University of St Andrews在 st-andrews.ac.uk 的电子邮件经过验证
- Herman GeuversRadboud University Nijmegen, the Netherlands在 cs.ru.nl 的电子邮件经过验证
- Jeremy GibbonsProfessor of Computing, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
- Perdita StevensProfessor of Mathematics of Software Engineering, LFCS, Informatics, University of Edinburgh在 inf.ed.ac.uk 的电子邮件经过验证
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of Edinburgh在 inf.ed.ac.uk 的电子邮件经过验证
- Healfdene GoguenGoogle在 google.com 的电子邮件经过验证
- Roy DyckhoffHon. Senior Lecturer, St Andrews University在 st-andrews.ac.uk 的电子邮件经过验证
- Thorsten AltenkirchProfessor of Computer Science, University of Nottingham在 cs.nott.ac.uk 的电子邮件经过验证
- Stéphane Graham-LengrandSRI International在 csl.sri.com 的电子邮件经过验证
- Allais GuillaumeChancellor's Fellow, University of Strathclyde在 strath.ac.uk 的电子邮件经过验证
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
- Robbert KrebbersAssociate Professor, Radboud University Nijmegen在 cs.ru.nl 的电子邮件经过验证
- Claudio Sacerdoti CoenUniversity of Bologna在 unibo.it 的电子邮件经过验证
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot University在 pps.univ-paris-diderot.fr 的电子邮件经过验证
- Brian CampbellLaboratory for Foundations of Computer Science, University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
- Dominic MulliganPrincipal Applied Scientist, Amazon Web Services在 amazon.co.uk 的电子邮件经过验证
- Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'Azur在 inria.fr 的电子邮件经过验证
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbH在 kerguelen.org 的电子邮件经过验证
- Ilias GarnierPostdoc, École Normale Supérieure在 di.ens.fr 的电子邮件经过验证