내 프로필 만들기
공개 액세스
모두 보기자료 37개
자료 32개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Farhad ArbabProfessor of Computer Science, Leiden Universityliacs.nl의 이메일 확인됨
- Luis S. BarbosaProfessor of Computer Science, Universidade do Minhodi.uminho.pt의 이메일 확인됨
- Xiyue ZhangUniversity of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Bernhard AichernigGraz Univ. of Technology (TU Graz)ist.tugraz.at의 이메일 확인됨
- Yang LiuNanyang Technological Universityntu.edu.sg의 이메일 확인됨
- Sun JunProfessor of SCIS, SMUsmu.edu.sg의 이메일 확인됨
- Lei MaAssociate Professor, The University of Tokyo, Japan & University of Alberta, Canadaacm.org의 이메일 확인됨
- Philippe Fournier-VigerDistinguished professor, Shenzhen University, Chinaszu.edu.cn의 이메일 확인됨
- Tom ChothiaUniversity of Birminghamcs.bham.ac.uk의 이메일 확인됨
- Weijiang HongNational University of Defense Technologynudt.edu.cn의 이메일 확인됨
- Xiaoning DuLecturer (a.k.a. Assistant Professor), Monash Universitymonash.edu의 이메일 확인됨
- Rob van der MeiCWI and Vrije Universiteit Amsterdamcwi.nl의 이메일 확인됨
- Jan RuttenCWIcwi.nl의 이메일 확인됨
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.cwi.nl의 이메일 확인됨
- Natallia KokashUniversity of Amsterdamuva.nl의 이메일 확인됨
- Christel BaierTU Dresdentu-dresden.de의 이메일 확인됨
- Geguang PuProfessor of Computer Science, East China Normal Universitysei.ecnu.edu.cn의 이메일 확인됨
- Jingyi WangAssistant Professor, Zhejiang Universityzju.edu.cn의 이메일 확인됨
- Marta KwiatkowskaProfessor of Computing Systems, University of Oxfordcomlab.ox.ac.uk의 이메일 확인됨
- Hongyang QuResearch Fellow, University of Sheffieldsheffield.ac.uk의 이메일 확인됨
팔로우