创建我的个人资料
开放获取的出版物数量
查看全部17 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus在 mpi-sws.org 的电子邮件经过验证
- Robbert KrebbersAssociate Professor, Radboud University Nijmegen在 cs.ru.nl 的电子邮件经过验证
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formelles在 normalesup.org 的电子邮件经过验证
- Lars BirkedalDept. of Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证
- Joseph TassarottiAssistant Professor, New York University在 nyu.edu 的电子邮件经过验证
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at Concordium在 alesb.com 的电子邮件经过验证
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)在 mpi-sws.org 的电子邮件经过验证
- Hai DangBedRock Systems. Inc在 mpi-sws.org 的电子邮件经过验证
- Filip SieczkowskiHeriot-Watt University在 hw.ac.uk 的电子邮件经过验证
- Aaron TuronMPI-SWS在 mpi-sws.org 的电子邮件经过验证
- Kasper SvendsenDepartment of Computer Science, Aarhus University在 itu.dk 的电子邮件经过验证
- Jeehoon KangAssistant Professor of KAIST School of Computing在 kaist.ac.kr 的电子邮件经过验证
- Amin TimanyAarhus University在 cs.au.dk 的电子邮件经过验证
- Nickolai Zeldovich在 csail.mit.edu 的电子邮件经过验证
- Frans KaashoekMassuchesetts Institute of Technology (MIT)在 mit.edu 的电子邮件经过验证
- Simon SpiesMPI-SWS在 mpi-sws.org 的电子邮件经过验证
- Arthur CharguéraudInria在 inria.fr 的电子邮件经过验证
- John RegehrProfessor, School of Computing, University of Utah在 cs.utah.edu 的电子邮件经过验证
- Zhengyang LiuUniversity of Utah在 cs.utah.edu 的电子邮件经过验证
- Chung-Kil HurSeoul National University在 sf.snu.ac.kr 的电子邮件经过验证