建立我自己的個人學術檔案
公開取用
查看全部78 篇文章
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 的電子郵件地址已通過驗證