내 프로필 만들기
공개 액세스
모두 보기자료 48개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twentecs.rwth-aachen.de의 이메일 확인됨
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University Bochumrub.de의 이메일 확인됨
- Tim QuatmannRWTH Aachen Universitycs.rwth-aachen.de의 이메일 확인됨
- Matthias VolkAssistant Professor, Eindhoven University of Technologytue.nl의 이메일 확인됨
- Ufuk TopcuThe University of Texas at Austinutexas.edu의 이메일 확인됨
- Christian DehnertRWTH Aachen Universitycs.rwth-aachen.de의 이메일 확인됨
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen Universitycs.rwth-aachen.de의 이메일 확인됨
- Milan CeskaBrno University of Technologyfit.vutbr.cz의 이메일 확인됨
- Murat CubuktepeUniversity of Texas at Austinutexas.edu의 이메일 확인됨
- Arnd HartmannsUniversity of Twenteutwente.nl의 이메일 확인됨
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, Germanyinformatik.uni-freiburg.de의 이메일 확인됨
- Bernd BeckerProfessor of Computer Science, University of Freiburginformatik.uni-freiburg.de의 이메일 확인됨
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeleyeecs.berkeley.edu의 이메일 확인됨
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of Twenteutwente.nl의 이메일 확인됨
- Bettina KönighoferAssistant Professor, Graz University of Technology, Austriaiaik.tugraz.at의 이메일 확인됨
- Roman AndriushchenkoPh.D. student, Brno University of Technologyvutbr.cz의 이메일 확인됨
- Roderick BloemGraz University of Technologyiaik.tugraz.at의 이메일 확인됨
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, Italyunitn.it의 이메일 확인됨
- Gereon KremerCertora Ltdcs.stanford.edu의 이메일 확인됨
- Ulrich LoupRWTH Aachen Universitycs.rwth-aachen.de의 이메일 확인됨