自分のプロフィールを作成
オープン アクセス
すべて表示7 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Lukas HolikBrno University of Tehcnology確認したメール アドレス: fit.vutbr.cz
- Tomas VojnarFIT, Brno University of Technology確認したメール アドレス: fit.vutbr.cz
- Vojtěch HavlenaBrno University of Technology確認したメール アドレス: fit.vutbr.cz
- Yu-Fang ChenResearch Fellow/Professor, Academia Sinica確認したメール アドレス: iis.sinica.edu.tw
- Andrea TurriniInstitute of Software, Chinese Academy of Sciences確認したメール アドレス: ios.ac.cn
- Margus VeanesMicrosoft Research確認したメール アドレス: microsoft.com
- Juraj SíčBrno University of Technology確認したメール アドレス: fit.vut.cz
- Tomas FiedorVeriFIT Team Researcher, FIT BUT確認したメール アドレス: fit.vutbr.cz
- Jan Kořenek確認したメール アドレス: fit.vutbr.cz
- Olli SaarikiviMicrosoft Research確認したメール アドレス: microsoft.com
- Ming-Hsien TsaiNational Taiwan University of Science and Technology確認したメール アドレス: mail.ntust.edu.tw
- Mihaela SighireanuAssociate Professor in Computer Science, IRIF, Université de Paris確認したメール アドレス: irif.fr
- Milan CeskaBrno University of Technology確認したメール アドレス: fit.vutbr.cz
- Anthony Widjaja LinProfessor@TU Kaiserslautern, Max-Planck Fellow at Max-Planck Institute for Software Systems確認したメール アドレス: cs.uni-kl.de
- Rupak MajumdarMPI for Software Systems確認したメール アドレス: mpi-sws.org
- Philipp RuemmerProfessor in Computer Science, University of Regensburg確認したメール アドレス: ur.de
- Matthias HeizmannUniversity of Freiburg, Germany確認したメール アドレス: heizmann.name
- Lijun Zhang確認したメール アドレス: ios.ac.cn
- Yong LiInstitue of Software, Chinese Academy of Sciences確認したメール アドレス: ios.ac.cn
- Kai-Min ChungInstitute of Information Science, Academia Sinica確認したメール アドレス: iis.sinica.edu.tw