创建我的个人资料
开放获取的出版物数量
查看全部130 篇文章
3 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics Campus在 cs.uni-saarland.de 的电子邮件经过验证
Christel BaierTU Dresden在 tu-dresden.de 的电子邮件经过验证
Sebastian JungesAssistant Professor, Radboud University, Nijmegen在 ru.nl 的电子邮件经过验证
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum在 rub.de 的电子邮件经过验证
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College London在 cs.uni-saarland.de 的电子邮件经过验证
Boudewijn R. HaverkortTilburg School of Humanities & Digital Sciences, Tilburg University在 uvt.nl 的电子邮件经过验证
Matthias VolkAssistant Professor, Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen University在 cs.rwth-aachen.de 的电子邮件经过验证
Christoph MathejaProfessor of Theory of Correct Systems, University of Oldenburg在 uol.de 的电子邮件经过验证
Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICET在 famaf.unc.edu.ar 的电子邮件经过验证
Tim QuatmannRWTH Aachen University在 cs.rwth-aachen.de 的电子邮件经过验证
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, Germany在 informatik.uni-freiburg.de 的电子邮件经过验证
Martin LeuckerProfessor of Computer Science, University of Lübeck在 isp.uni-luebeck.de 的电子邮件经过验证
Bernd BeckerProfessor of Computer Science, University of Freiburg在 informatik.uni-freiburg.de 的电子邮件经过验证
Diego LatellaSenior Researcher - CNR-ISTI (Pisa)在 cnr.it 的电子邮件经过验证
Christian DehnertRWTH Aachen University在 cs.rwth-aachen.de 的电子邮件经过验证
Thomas NollRWTH Aachen University在 cs.rwth-aachen.de 的电子邮件经过验证
Ed BrinksmaHoogleraar informatica, Universiteit Twente在 utwente.nl 的电子邮件经过验证
Viet Yen NguyenCTO at Hypefactors在 hypefactors.com 的电子邮件经过验证
Kevin BatzPostDoc, University College London在 rwth-aachen.de 的电子邮件经过验证
关注
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
在 cs.rwth-aachen.de 的电子邮件经过验证 - 首页