创建我的个人资料
开放获取的出版物数量
查看全部10 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Armin BiereProfessor of Computer Science, University of Freiburg在 informatik.uni-freiburg.de 的电子邮件经过验证
- Gergely KovásznaiEszterhazy Karoly University在 aries.ektf.hu 的电子邮件经过验证
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU Wien在 forsyte.tuwien.ac.at 的电子邮件经过验证
- Christoph M. WintersteigerImandra在 imandra.ai 的电子邮件经过验证
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
- Tomas BalyoFiluta AI在 filuta.ai 的电子邮件经过验证
- Uwe SchöningProfessor of Computer Science, Ulm University, retired在 uni-ulm.de 的电子邮件经过验证
- Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British Columbia在 cs.rwth-aachen.de 的电子邮件经过验证
- Dave A. D. TompkinsLecturer, Computer Science, University of Waterloo在 uwaterloo.ca 的电子邮件经过验证
- Dr. Adrian BalintUlm University