自分のプロフィールを作成
オープン アクセス
すべて表示19 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Kazutaka MatsudaTohoku University確認したメール アドレス: ecei.tohoku.ac.jp
- Jeremy GibbonsProfessor of Computing, University of Oxford確認したメール アドレス: cs.ox.ac.uk
- Zhenjiang HuProfessor, School of Computer Science, Peking University確認したメール アドレス: pku.edu.cn
- Bruno C. d. S. OliveiraAssociate Professor, The University of Hong Kong確認したメール アドレス: cs.hku.hk
- Jie M. ZhangLecturer (Assistant Professor), King's College London確認したメール アドレス: kcl.ac.uk
- Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied Sciences確認したメール アドレス: h-ka.de
- Dan HaoPeking University確認したメール アドレス: pku.edu.cn
- Lu ZhangPeking University確認したメール アドレス: sei.pku.edu.cn
- Nicolas WuReader in Computer Science, Imperial College London確認したメール アドレス: imperial.ac.uk
- Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCL確認したメール アドレス: ucl.ac.uk
- John HughesProfessor of Computer Science and Engineering, Chalmers University確認したメール アドレス: chalmers.se
- Feng LiPeking University確認したメール アドレス: pku.edu.cn
- Janis VoigtländerAssociate Professor, Formal Methods in Computer Science, University of Duisburg-Essen確認したメール アドレス: uni-due.de
- Patrik JanssonProfessor of Computer Science, Chalmers University of Technology確認したメール アドレス: chalmers.se
- Jonas Almström DuregårdChalmers University of Technology確認したメール アドレス: chalmers.se
- Cristina DavidUniversity of Bristol確認したメール アドレス: bristol.ac.uk
- Roly PereraUniversity of Cambridge, University of Bristol確認したメール アドレス: cl.cam.ac.uk
- Shuyin OuyangKing's College London確認したメール アドレス: kcl.ac.uk
- Hao TangPeking University確認したメール アドレス: sei.pku.edu.cn
- Yingfei XiongAssociate Professor, Peking University確認したメール アドレス: sei.pku.edu.cn