내 프로필 만들기
공개 액세스
모두 보기자료 77개
자료 11개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twentecs.rwth-aachen.de의 이메일 확인됨
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics Campuscs.uni-saarland.de의 이메일 확인됨
- Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität Dresdentcs.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 Universityuvt.nl의 이메일 확인됨
- Marta KwiatkowskaProfessor of Computing Systems, University of Oxfordcomlab.ox.ac.uk의 이메일 확인됨
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAinria.fr의 이메일 확인됨
- Farhad ArbabProfessor of Computer Science, Leiden Universityliacs.nl의 이메일 확인됨
- Simon JantschTechnische Universität Dresdentu-dresden.de의 이메일 확인됨
- Steffen MärckerFaculty of Computer Science, TU Dresdentu-dresden.de의 이메일 확인됨
- Marjan SirjaniMälardalen Universitymdh.se의 이메일 확인됨
- Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics Campuscs.uni-saarland.de의 이메일 확인됨
- Jan RuttenCWIcwi.nl의 이메일 확인됨
- Sascha WunderlichTU Dresdentu-dresden.de의 이메일 확인됨
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon Universitycs.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-Saclaylsv.fr의 이메일 확인됨
- Thomas BrihayeUMONSumons.ac.be의 이메일 확인됨
- Hermann HärtigProfessor Computer Science, Technische Universität Dresdentu-dresden.de의 이메일 확인됨