创建我的个人资料
开放获取的出版物数量
查看全部48 篇文章
1 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twente在 cs.rwth-aachen.de 的电子邮件经过验证
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum在 rub.de 的电子邮件经过验证
- Tim QuatmannRWTH Aachen University在 cs.rwth-aachen.de 的电子邮件经过验证
- Matthias VolkAssistant Professor, Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
- Ufuk TopcuThe University of Texas at Austin在 utexas.edu 的电子邮件经过验证
- Christian DehnertRWTH Aachen University在 cs.rwth-aachen.de 的电子邮件经过验证
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen University在 cs.rwth-aachen.de 的电子邮件经过验证
- Milan CeskaBrno University of Technology在 fit.vutbr.cz 的电子邮件经过验证
- Murat CubuktepeUniversity of Texas at Austin在 utexas.edu 的电子邮件经过验证
- Arnd HartmannsUniversity of Twente在 utwente.nl 的电子邮件经过验证
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, Germany在 informatik.uni-freiburg.de 的电子邮件经过验证
- Bernd BeckerProfessor of Computer Science, University of Freiburg在 informatik.uni-freiburg.de 的电子邮件经过验证
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeley在 eecs.berkeley.edu 的电子邮件经过验证
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of Twente在 utwente.nl 的电子邮件经过验证
- Bettina KönighoferAssistant Professor, Graz University of Technology, Austria在 iaik.tugraz.at 的电子邮件经过验证
- Roman AndriushchenkoPh.D. student, Brno University of Technology在 vutbr.cz 的电子邮件经过验证
- Roderick BloemGraz University of Technology在 iaik.tugraz.at 的电子邮件经过验证
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, Italy在 unitn.it 的电子邮件经过验证
- Gereon KremerCertora Ltd在 cs.stanford.edu 的电子邮件经过验证
- Ulrich LoupRWTH Aachen University在 cs.rwth-aachen.de 的电子邮件经过验证