创建我的个人资料
开放获取的出版物数量
查看全部7 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Daniel KroeningAmazon在 amazon.com 的电子邮件经过验证
- Armin BiereProfessor of Computer Science, University of Freiburg在 informatik.uni-freiburg.de 的电子邮件经过验证
- Alessandro CimattiFondazione Bruno Kessler在 fbk.eu 的电子邮件经过验证
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus在 mpi-sws.org 的电子邮件经过验证
- Vadim Ryvchin在 tx.technion.ac.il 的电子邮件经过验证
- Arie GurfinkelUniversity of Waterloo在 uwaterloo.ca 的电子邮件经过验证
- Hana ChocklerKing's College London在 kcl.ac.uk 的电子邮件经过验证
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeley在 eecs.berkeley.edu 的电子邮件经过验证
- Randal BryantCarnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
- Alex GroceAssociate Professor of Computer Science, Northern Arizona University在 nau.edu 的电子邮件经过验证
- Alexander NadelReseach Scientist, Intel & Technion在 intel.com 的电子邮件经过验证
- Roderick BloemGraz University of Technology在 iaik.tugraz.at 的电子邮件经过验证