创建我的个人资料
开放获取的出版物数量
查看全部77 篇文章
11 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twente在 cs.rwth-aachen.de 的电子邮件经过验证
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics Campus在 cs.uni-saarland.de 的电子邮件经过验证
- Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität Dresden在 tcs.inf.tu-dresden.de 的电子邮件经过验证
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)在 tue.nl 的电子邮件经过验证
- Joachim KleinTU Dresden (formerly)在 automata.tools 的电子邮件经过验证
- Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg University在 uvt.nl 的电子邮件经过验证
- Marta KwiatkowskaProfessor of Computing Systems, University of Oxford在 comlab.ox.ac.uk 的电子邮件经过验证
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISA在 inria.fr 的电子邮件经过验证
- Farhad ArbabProfessor of Computer Science, Leiden University在 liacs.nl 的电子邮件经过验证
- Simon JantschTechnische Universität Dresden在 tu-dresden.de 的电子邮件经过验证
- Steffen MärckerFaculty of Computer Science, TU Dresden在 tu-dresden.de 的电子邮件经过验证
- Marjan SirjaniMälardalen University在 mdh.se 的电子邮件经过验证
- Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics Campus在 cs.uni-saarland.de 的电子邮件经过验证
- Jan RuttenCWI在 cwi.nl 的电子邮件经过验证
- Sascha WunderlichTU Dresden在 tu-dresden.de 的电子邮件经过验证
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.在 cwi.nl 的电子邮件经过验证
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-Saclay在 lsv.fr 的电子邮件经过验证
- Thomas BrihayeUMONS在 umons.ac.be 的电子邮件经过验证
- Hermann HärtigProfessor Computer Science, Technische Universität Dresden在 tu-dresden.de 的电子邮件经过验证