Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 1446 | 561 |
indeks-h | 19 | 10 |
indeks-i10 | 42 | 11 |
Akses publik
Lihat semua37 artikel
32 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Farhad ArbabProfessor of Computer Science, Leiden UniversityEmail yang diverifikasi di liacs.nl
- Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoEmail yang diverifikasi di di.uminho.pt
- Xiyue ZhangUniversity of OxfordEmail yang diverifikasi di cs.ox.ac.uk
- Bernhard AichernigGraz Univ. of Technology (TU Graz)Email yang diverifikasi di ist.tugraz.at
- Yang LiuNanyang Technological UniversityEmail yang diverifikasi di ntu.edu.sg
- Sun JunProfessor of SCIS, SMUEmail yang diverifikasi di smu.edu.sg
- Lei MaAssociate Professor, The University of Tokyo, Japan & University of Alberta, CanadaEmail yang diverifikasi di acm.org
- Philippe Fournier-VigerDistinguished professor, Shenzhen University, ChinaEmail yang diverifikasi di szu.edu.cn
- Tom ChothiaUniversity of BirminghamEmail yang diverifikasi di cs.bham.ac.uk
- Weijiang HongNational University of Defense TechnologyEmail yang diverifikasi di nudt.edu.cn
- Xiaoning DuLecturer (a.k.a. Assistant Professor), Monash UniversityEmail yang diverifikasi di monash.edu
- Rob van der MeiCWI and Vrije Universiteit AmsterdamEmail yang diverifikasi di cwi.nl
- Jan RuttenCWIEmail yang diverifikasi di cwi.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email yang diverifikasi di cwi.nl
- Natallia KokashUniversity of AmsterdamEmail yang diverifikasi di uva.nl
- Christel BaierTU DresdenEmail yang diverifikasi di tu-dresden.de
- Geguang PuProfessor of Computer Science, East China Normal UniversityEmail yang diverifikasi di sei.ecnu.edu.cn
- Jingyi WangAssistant Professor, Zhejiang UniversityEmail yang diverifikasi di zju.edu.cn
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordEmail yang diverifikasi di comlab.ox.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldEmail yang diverifikasi di sheffield.ac.uk
Ikuti
Meng Sun
Professor, School of Mathematical Science, Peking University
Email yang diverifikasi di math.pku.edu.cn - Beranda