创建我的个人资料
开放获取的出版物数量
查看全部10 篇文章
2 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Philipp SchusterUniversity of Tübingen在 uni-tuebingen.de 的电子邮件经过验证
- Klaus OstermannProfessor of Computer Science, University of Tübingen, Germany在 uni-tuebingen.de 的电子邮件经过验证
- Martin OderskyEPFL在 epfl.ch 的电子邮件经过验证
- Aleksander Boruch-GruszeckiEPFL在 epfl.ch 的电子邮件经过验证
- Ondrej LhotakComputer Science, University of Waterloo在 uwaterloo.ca 的电子邮件经过验证
- Tillmann RendelSAP在 sap.com 的电子邮件经过验证
- Ningning XieUniversity of Toronto / Google DeepMind在 google.com 的电子邮件经过验证
- Daniel HillerströmSenior researcher, Huawei Zurich Research Center在 ed.ac.uk 的电子邮件经过验证
- Nicolas StuckiPhD in Computer Science at EPFL在 epfl.ch 的电子邮件经过验证
- Maxime KjaerEPFL在 alumni.epfl.ch 的电子邮件经过验证
- Olivier BlanvillainEPFL在 epfl.ch 的电子邮件经过验证
- Matthew LutzeAarhus University在 cs.au.dk 的电子邮件经过验证
- Magnus MadsenAarhus University在 cs.au.dk 的电子邮件经过验证
- Lionel ParreauxThe Hong Kong University of Science and Technology (HKUST)在 ust.hk 的电子邮件经过验证
- Youyou CongTokyo Institute of Technology在 c.titech.ac.jp 的电子邮件经过验证
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.在 tudelft.nl 的电子邮件经过验证
- Jonathan Lindegaard StarupPhD Student, Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证