创建我的个人资料
开放获取的出版物数量
查看全部62 篇文章
6 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Maximilian WeiningerTechnical University of Munich在 tum.de 的电子邮件经过验证
- Tobias MeggendorferAssistant Professor, Lancaster University Leipzig在 meggendorfer.de 的电子邮件经过验证
- Tomas BrazdilMasaryk University在 fi.muni.cz 的电子邮件经过验证
- Salomon Sickert在 tum.de 的电子邮件经过验证
- Krishnendu ChatterjeeProfessor, IST Austria在 ist.ac.at 的电子邮件经过验证
- Javier EsparzaProfessor of Computer Science, Technical University of Munich在 in.tum.de 的电子邮件经过验证
- Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk University在 fi.muni.cz 的电子邮件经过验证
- Pranav AshokArgo AI在 argo.ai 的电子邮件经过验证
- David ParkerProfessor of Computer Science, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
- Jan KrčálSaarland University在 fi.muni.cz 的电子邮件经过验证
- Vojtěch ForejtDifflblue在 diffblue.com 的电子邮件经过验证
- Kim G. LarsenDirector, Professor Aalborg University在 cs.aau.dk 的电子邮件经过验证
- Jiri SrbaProfessor of Computer Science, Aalborg University在 cs.aau.dk 的电子邮件经过验证
- Antonin KuceraMasaryk University在 fi.muni.cz 的电子邮件经过验证
- Martin ChmelíkSoftware Engineer, Google在 google.com 的电子邮件经过验证
- Joachim KleinTU Dresden (formerly)在 automata.tools 的电子邮件经过验证
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum在 rub.de 的电子邮件经过验证
- Vojtech RehakMasaryk university, Faculty of Informatics在 fi.muni.cz 的电子邮件经过验证
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics Campus在 cs.uni-saarland.de 的电子邮件经过验证
- Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.在 ulb.ac.be 的电子邮件经过验证