Crea il mio profilo
Accesso pubblico
Visualizza tutto37 articoli
32 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Farhad ArbabProfessor of Computer Science, Leiden UniversityEmail verificata su liacs.nl
- Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoEmail verificata su di.uminho.pt
- Xiyue ZhangUniversity of OxfordEmail verificata su cs.ox.ac.uk
- Bernhard AichernigGraz Univ. of Technology (TU Graz)Email verificata su ist.tugraz.at
- Yang LiuNanyang Technological UniversityEmail verificata su ntu.edu.sg
- Sun JunProfessor of SCIS, SMUEmail verificata su smu.edu.sg
- Lei MaAssociate Professor, The University of Tokyo, Japan & University of Alberta, CanadaEmail verificata su acm.org
- Philippe Fournier-VigerDistinguished professor, Shenzhen University, ChinaEmail verificata su szu.edu.cn
- Tom ChothiaUniversity of BirminghamEmail verificata su cs.bham.ac.uk
- Weijiang HongNational University of Defense TechnologyEmail verificata su nudt.edu.cn
- Xiaoning DuLecturer (a.k.a. Assistant Professor), Monash UniversityEmail verificata su monash.edu
- Rob van der MeiCWI and Vrije Universiteit AmsterdamEmail verificata su cwi.nl
- Jan RuttenCWIEmail verificata su cwi.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email verificata su cwi.nl
- Natallia KokashUniversity of AmsterdamEmail verificata su uva.nl
- Christel BaierTU DresdenEmail verificata su tu-dresden.de
- Geguang PuProfessor of Computer Science, East China Normal UniversityEmail verificata su sei.ecnu.edu.cn
- Jingyi WangAssistant Professor, Zhejiang UniversityEmail verificata su zju.edu.cn
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordEmail verificata su comlab.ox.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldEmail verificata su sheffield.ac.uk
Segui
Meng Sun
Professor, School of Mathematical Science, Peking University
Email verificata su math.pku.edu.cn - Home page