Get my own profile
Public access
View all42 articles
36 articles
available
not available
Based on funding mandates
Co-authors
- Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
- Xiyue ZhangUniversity of BristolVerified email at bristol.ac.uk
- Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoVerified email at di.uminho.pt
- Bernhard AichernigGraz Univ. of Technology (TU Graz)Verified email at ist.tugraz.at
- Yang LiuNanyang Technological UniversityVerified email at ntu.edu.sg
- Sun JunProfessor of SCIS, SMUVerified email at smu.edu.sg
- Zeming WeiUndergraduate, Peking UniversityVerified email at stu.pku.edu.cn
- Lei MaAssociate Professor, The University of Tokyo, Japan & University of Alberta, CanadaVerified email at acm.org
- Philippe Fournier-VigerDistinguished professor, Shenzhen University, ChinaVerified email at szu.edu.cn
- Yihao ZhangPeking UniversityVerified email at stu.pku.edu.cn
- Xiaoning DuLecturer (a.k.a. Assistant Professor), Monash UniversityVerified email at monash.edu
- Tom ChothiaUniversity of BirminghamVerified email at cs.bham.ac.uk
- Weijiang HongNational University of Defense TechnologyVerified email at nudt.edu.cn
- Rob van der MeiCWI and Vrije Universiteit AmsterdamVerified email at cwi.nl
- Jan RuttenCWIVerified email at cwi.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
- Natallia KokashUniversity of AmsterdamVerified email at uva.nl
- Christel BaierTU DresdenVerified email at tu-dresden.de
- Geguang PuProfessor of Computer Science, East China Normal UniversityVerified email at sei.ecnu.edu.cn
- Jingyi WangAssistant Professor, Zhejiang UniversityVerified email at zju.edu.cn
Follow
Meng Sun
Professor, School of Mathematical Science, Peking University
Verified email at math.pku.edu.cn - Homepage