创建我的个人资料
开放获取的出版物数量
查看全部35 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Lars BirkedalDept. of Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证
- Ralf JungAssistant Professor, ETH Zürich在 inf.ethz.ch 的电子邮件经过验证
- Robbert KrebbersAssociate Professor, Radboud University Nijmegen在 cs.ru.nl 的电子邮件经过验证
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)在 mpi-sws.org 的电子邮件经过验证
- Chung-Kil HurSeoul National University在 sf.snu.ac.kr 的电子邮件经过验证
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formelles在 normalesup.org 的电子邮件经过验证
- Hai DangBedRock Systems. Inc在 mpi-sws.org 的电子邮件经过验证
- Aaron TuronMPI-SWS在 mpi-sws.org 的电子邮件经过验证
- Jeehoon KangAssistant Professor of KAIST School of Computing在 kaist.ac.kr 的电子邮件经过验证
- Amal AhmedNortheastern University在 ccs.neu.edu 的电子邮件经过验证
- Michael SammlerMPI-SWS在 mpi-sws.org 的电子邮件经过验证
- Robert HarperProfessor of Computer Science, Carnegie Mellon University在 andrew.cmu.edu 的电子邮件经过验证
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at Concordium在 alesb.com 的电子邮件经过验证
- Neelakantan R. KrishnaswamiUniversity of Cambridge在 cl.cam.ac.uk 的电子邮件经过验证
- Ori LahavTel Aviv University在 tau.ac.il 的电子邮件经过验证
- Beta ZilianiFAMAF, UNC and Manas.Tech在 mpi-sws.org 的电子邮件经过验证
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)在 mpi-sws.org 的电子邮件经过验证
- Karl CraryCarnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
- Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)在 mpi-sws.org 的电子邮件经过验证
- Aleksandar NanevskiIMDEA Software Institute在 imdea.org 的电子邮件经过验证
关注
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
在 mpi-sws.org 的电子邮件经过验证 - 首页