创建我的个人资料
开放获取的出版物数量
查看全部13 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Peter SteinkeTU Dresden, Informatik在 tu-dresden.de 的电子邮件经过验证
- Armin BiereProfessor of Computer Science, University of Freiburg在 informatik.uni-freiburg.de 的电子邮件经过验证
- Rafael PeñalozaUniversity of Milano-Bicocca在 unimib.it 的电子邮件经过验证
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
- Davide LantiAssistant Professor of Computer Science, Free University of Bozen-Bolzano在 unibz.it 的电子邮件经过验证
- Julian StecklinaEngineer at Cyberus Technology在 os.inf.tu-dresden.de 的电子邮件经过验证
- Sarah GagglTU-Dresden, Germany, Faculty of Computer Science, Logic Programming and Argumentation Group在 tu-dresden.de 的电子邮件经过验证
- Joao Marques-SilvaResearch Professor, ICREA, University of Lleida在 icrea.cat 的电子邮件经过验证
- Daniel Le BerreCRIL-CNRS Université d'Artois在 cril.fr 的电子邮件经过验证
- Ari SaptawijayaFaculty of Computer Science, Universitas Indonesia在 cs.ui.ac.id 的电子邮件经过验证
- Sebastian RudolphTechnische Universität Dresden在 tu-dresden.de 的电子邮件经过验证
- Ahmed IrfanSRI International在 cs.stanford.edu 的电子邮件经过验证
- M. Fareed ArifUniversity of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
- Alexey IgnatievFaculty of Information Technology, Monash University在 monash.edu 的电子邮件经过验证
- Christian MuiseQueen's University在 queensu.ca 的电子邮件经过验证
- Vladimir KlebanovSAP SE (previously at Karlsruhe Institute of Technology)在 sap.com 的电子邮件经过验证
- Michael TautschnigQueen Mary University of London在 qmul.ac.uk 的电子邮件经过验证
- Antti E. J. HyvärinenSenior Research Scientist, Certora在 certora.com 的电子邮件经过验证
- Enrique Matos AlfonsoNational Technical University of Athens在 image.ece.ntua.gr 的电子邮件经过验证
- Van-Hau NguyenHung Yen University of Technology and Education在 utehy.edu.vn 的电子邮件经过验证