Get my own profile
Public access
View all31 articles
24 articles
available
not available
Based on funding mandates
Co-authors
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl- Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoVerified email at di.uminho.pt
- Xiyue ZhangUniversity of OxfordVerified email at cs.ox.ac.uk
- Bernhard AichernigGraz Univ. of Technology (TU Graz)Verified email at ist.tugraz.at
- Yang LiuNanyang Technological UniversityVerified email at ntu.edu.sg
- 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
- Tom ChothiaUniversity of BirminghamVerified email at cs.bham.ac.uk
- Sun JunProfessor of SCIS, SMUVerified email at smu.edu.sg
- Weijiang HongNational University of Defense TechnologyVerified email at nudt.edu.cn
- Rob van der MeiCWI and Vrije Universiteit AmsterdamVerified email at cwi.nl
- Xiaoning DuLecturer (a.k.a. Assistant Professor), Monash UniversityVerified email at monash.edu
- Xiaohong ChenResearcher, Runtime VerificationVerified email at illinois.edu
- 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
- Nuno Feixa RodriguesAssociate Professor, Instituto Politécnico do Cávado e do AveVerified email at ipca.pt
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Follow
Meng Sun
Professor, School of Mathematical Science, Peking University
Verified email at math.pku.edu.cn - Homepage