创建我的个人资料
开放获取的出版物数量
查看全部38 篇文章
1 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Lawrence PaulsonUniversity of Cambridge在 cam.ac.uk 的电子邮件经过验证
- Gerwin KleinProofcraft and UNSW在 unsw.edu.au 的电子邮件经过验证
- Franz BaaderProfessor of Theoretical Computer Science, TU Dresden在 tu-dresden.de 的电子邮件经过验证
- Johannes Hölzl在 in.tum.de 的电子邮件经过验证
- Jasmin BlanchetteLudwig-Maximilians-Universität München在 ifi.lmu.de 的电子邮件经过验证
- Thomas HalesUniversity of Pittsburgh在 pitt.edu 的电子邮件经过验证
- Ursula MartinUniversity of Edinburgh; University of Oxford在 maths.ox.ac.uk 的电子邮件经过验证
- Steven ObuaUniversity of Edinburgh在 inf.ed.ac.uk 的电子邮件经过验证
- John R HarrisonAmazon Web Services在 amazon.com 的电子邮件经过验证
- Andrei PopescuUniversity of Sheffield在 sheffield.ac.uk 的电子邮件经过验证
- Dmitriy TraytelUniversity of Copenhagen在 di.ku.dk 的电子邮件经过验证
- Peter LammichThe University of Manchester在 in.tum.de 的电子邮件经过验证
- Manuel EberlUniversity of Innsbruck在 uibk.ac.at 的电子邮件经过验证
- Gregor SneltingKIT在 kit.edu 的电子邮件经过验证
- Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied Sciences在 ost.ch 的电子邮件经过验证
- Christian UrbanKing's College London在 kcl.ac.uk 的电子邮件经过验证
- Maximilian P. L. HaslbeckTU München在 in.tum.de 的电子邮件经过验证
- Max W. HaslbeckPhD Student, University of Innsbruck在 uibk.ac.at 的电子邮件经过验证
- Nam Trung TranInstitute of Mathematics, Vietnam Academy of Science and Technology在 math.ac.vn 的电子邮件经过验证
- Cezary KaliszykUniversity of Innsbruck在 uibk.ac.at 的电子邮件经过验证
关注
Tobias Nipkow
Professor of Computer Science, Technische Universität München
在 in.tum.de 的电子邮件经过验证 - 首页