创建我的个人资料
开放获取的出版物数量
查看全部16 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning Group在 bc.edu 的电子邮件经过验证
- Nickolai Zeldovich在 csail.mit.edu 的电子邮件经过验证
- Frans KaashoekMassuchesetts Institute of Technology (MIT)在 mit.edu 的电子邮件经过验证
- Ralf JungAssistant Professor, ETH Zürich在 inf.ethz.ch 的电子邮件经过验证
- Tej ChajedUniversity of Wisconsin-Madison在 wisc.edu 的电子邮件经过验证
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus在 mpi-sws.org 的电子邮件经过验证
- Robert HarperProfessor of Computer Science, Carnegie Mellon University在 andrew.cmu.edu 的电子邮件经过验证
- Robbert KrebbersAssociate Professor, Radboud University Nijmegen在 cs.ru.nl 的电子邮件经过验证
- Lars BirkedalDept. of Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证
- Guy L. Steele Jr.Oracle Labs在 oracle.com 的电子邮件经过验证
- Gang TanProfessor of computer science and engineering, Penn State University在 cse.psu.edu 的电子邮件经过验证
- Greg MorrisettDean and Professor, Cornell University在 cornell.edu 的电子邮件经过验证
- Simon SpiesMPI-SWS在 mpi-sws.org 的电子邮件经过验证
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formelles在 normalesup.org 的电子邮件经过验证
- Amin TimanyAarhus University在 cs.au.dk 的电子邮件经过验证
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)在 mpi-sws.org 的电子邮件经过验证
- Michael WickUniversity of Massachusetts在 cs.umass.edu 的电子邮件经过验证
- Daniel HuangAssistant Professor在 sfsu.edu 的电子邮件经过验证