Crea el meu perfil
Accés públic
Mostra-ho tot37 articles
32 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Farhad ArbabProfessor of Computer Science, Leiden UniversityCorreu electrònic verificat a liacs.nl
- Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoCorreu electrònic verificat a di.uminho.pt
- Xiyue ZhangUniversity of OxfordCorreu electrònic verificat a cs.ox.ac.uk
- Bernhard AichernigGraz Univ. of Technology (TU Graz)Correu electrònic verificat a ist.tugraz.at
- Yang LiuNanyang Technological UniversityCorreu electrònic verificat a ntu.edu.sg
- Sun JunProfessor of SCIS, SMUCorreu electrònic verificat a smu.edu.sg
- Lei MaAssociate Professor, The University of Tokyo, Japan & University of Alberta, CanadaCorreu electrònic verificat a acm.org
- Philippe Fournier-VigerDistinguished professor, Shenzhen University, ChinaCorreu electrònic verificat a szu.edu.cn
- Tom ChothiaUniversity of BirminghamCorreu electrònic verificat a cs.bham.ac.uk
- Weijiang HongNational University of Defense TechnologyCorreu electrònic verificat a nudt.edu.cn
- Xiaoning DuLecturer (a.k.a. Assistant Professor), Monash UniversityCorreu electrònic verificat a monash.edu
- Rob van der MeiCWI and Vrije Universiteit AmsterdamCorreu electrònic verificat a cwi.nl
- Jan RuttenCWICorreu electrònic verificat a cwi.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Correu electrònic verificat a cwi.nl
- Natallia KokashUniversity of AmsterdamCorreu electrònic verificat a uva.nl
- Christel BaierTU DresdenCorreu electrònic verificat a tu-dresden.de
- Geguang PuProfessor of Computer Science, East China Normal UniversityCorreu electrònic verificat a sei.ecnu.edu.cn
- Jingyi WangAssistant Professor, Zhejiang UniversityCorreu electrònic verificat a zju.edu.cn
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordCorreu electrònic verificat a comlab.ox.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldCorreu electrònic verificat a sheffield.ac.uk
Segueix
Meng Sun
Professor, School of Mathematical Science, Peking University
Correu electrònic verificat a math.pku.edu.cn - Pàgina d'inici