Založit si vlastní profil
Veřejný přístup
Zobrazit všechny37 článků
32 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Farhad ArbabProfessor of Computer Science, Leiden UniversityE-mailová adresa ověřena na: liacs.nl
- Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoE-mailová adresa ověřena na: di.uminho.pt
- Xiyue ZhangUniversity of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Bernhard AichernigGraz Univ. of Technology (TU Graz)E-mailová adresa ověřena na: ist.tugraz.at
- Yang LiuNanyang Technological UniversityE-mailová adresa ověřena na: ntu.edu.sg
- Sun JunProfessor of SCIS, SMUE-mailová adresa ověřena na: smu.edu.sg
- Lei MaAssociate Professor, The University of Tokyo, Japan & University of Alberta, CanadaE-mailová adresa ověřena na: acm.org
- Philippe Fournier-VigerDistinguished professor, Shenzhen University, ChinaE-mailová adresa ověřena na: szu.edu.cn
- Tom ChothiaUniversity of BirminghamE-mailová adresa ověřena na: cs.bham.ac.uk
- Weijiang HongNational University of Defense TechnologyE-mailová adresa ověřena na: nudt.edu.cn
- Xiaoning DuLecturer (a.k.a. Assistant Professor), Monash UniversityE-mailová adresa ověřena na: monash.edu
- Rob van der MeiCWI and Vrije Universiteit AmsterdamE-mailová adresa ověřena na: cwi.nl
- Jan RuttenCWIE-mailová adresa ověřena na: cwi.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mailová adresa ověřena na: cwi.nl
- Natallia KokashUniversity of AmsterdamE-mailová adresa ověřena na: uva.nl
- Christel BaierTU DresdenE-mailová adresa ověřena na: tu-dresden.de
- Geguang PuProfessor of Computer Science, East China Normal UniversityE-mailová adresa ověřena na: sei.ecnu.edu.cn
- Jingyi WangAssistant Professor, Zhejiang UniversityE-mailová adresa ověřena na: zju.edu.cn
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordE-mailová adresa ověřena na: comlab.ox.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldE-mailová adresa ověřena na: sheffield.ac.uk
Sledovat
Meng Sun
Professor, School of Mathematical Science, Peking University
E-mailová adresa ověřena na: math.pku.edu.cn - Domovská stránka