自分のプロフィールを作成
オープン アクセス
すべて表示37 件の論文
32 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Farhad ArbabProfessor of Computer Science, Leiden University確認したメール アドレス: liacs.nl
- Luis S. BarbosaProfessor of Computer Science, Universidade do Minho確認したメール アドレス: di.uminho.pt
- Xiyue ZhangUniversity of Oxford確認したメール アドレス: cs.ox.ac.uk
- Bernhard AichernigGraz Univ. of Technology (TU Graz)確認したメール アドレス: ist.tugraz.at
- Yang LiuNanyang Technological University確認したメール アドレス: ntu.edu.sg
- Sun JunProfessor of SCIS, SMU確認したメール アドレス: smu.edu.sg
- Lei MaAssociate Professor, The University of Tokyo, Japan & University of Alberta, Canada確認したメール アドレス: acm.org
- Philippe Fournier-VigerDistinguished professor, Shenzhen University, China確認したメール アドレス: szu.edu.cn
- Tom ChothiaUniversity of Birmingham確認したメール アドレス: cs.bham.ac.uk
- Weijiang HongNational University of Defense Technology確認したメール アドレス: nudt.edu.cn
- Xiaoning DuLecturer (a.k.a. Assistant Professor), Monash University確認したメール アドレス: monash.edu
- Rob van der MeiCWI and Vrije Universiteit Amsterdam確認したメール アドレス: cwi.nl
- Jan RuttenCWI確認したメール アドレス: cwi.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.確認したメール アドレス: cwi.nl
- Natallia KokashUniversity of Amsterdam確認したメール アドレス: uva.nl
- Christel BaierTU Dresden確認したメール アドレス: tu-dresden.de
- Geguang PuProfessor of Computer Science, East China Normal University確認したメール アドレス: sei.ecnu.edu.cn
- Jingyi WangAssistant Professor, Zhejiang University確認したメール アドレス: zju.edu.cn
- Marta KwiatkowskaProfessor of Computing Systems, University of Oxford確認したメール アドレス: comlab.ox.ac.uk
- Hongyang QuResearch Fellow, University of Sheffield確認したメール アドレス: sheffield.ac.uk
フォロー
Meng Sun
Professor, School of Mathematical Science, Peking University
確認したメール アドレス: math.pku.edu.cn - ホームページ