自分のプロフィールを作成
オープン アクセス
すべて表示10 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Tomas VojnarFIT, Brno University of Technology確認したメール アドレス: fit.vutbr.cz
- Parosh AbdullaProfessor of Computer Science, Uppsala University確認したメール アドレス: it.uu.se
- Ondřej LengálBrno University of Technology確認したメール アドレス: fit.vutbr.cz
- Yu-Fang ChenResearch Fellow/Professor, Academia Sinica確認したメール アドレス: iis.sinica.edu.tw
- Mohamed Faouzi AtigUppsala University確認したメール アドレス: it.uu.se
- Philipp RuemmerProfessor in Computer Science, University of Regensburg確認したメール アドレス: ur.de
- Ahmed RezineLinköping University確認したメール アドレス: liu.se
- Bui Phi DiepUppsala University確認したメール アドレス: it.uu.se
- Ahmed BouajjaniProfessor Computer Science, Université Paris Cité確認したメール アドレス: irif.fr
- Bengt JonssonProfessor of Computer Systems, Uppsala University確認したメール アドレス: it.uu.se
- Tomas FiedorVeriFIT Team Researcher, FIT BUT確認したメール アドレス: fit.vutbr.cz
- Peter HabermehlAssistant Professor of Computer Science, IRIF, University Paris Cité確認したメール アドレス: irif.fr
- Margus VeanesMicrosoft Research確認したメール アドレス: microsoft.com
- Lisa KaatiStockholm University確認したメール アドレス: dsv.su.se
- Lorenzo ClementeUniversity of Warsaw確認したメール アドレス: mimuw.edu.pl
- Roland MeyerProfessor of Theoretical Computer Science確認したメール アドレス: tu-bs.de
- Chih-Duo Hong (洪智鐸)National Chengchi University, Taiwan確認したメール アドレス: nccu.edu.tw
- Anthony Widjaja LinProfessor@TU Kaiserslautern, Max-Planck Fellow at Max-Planck Institute for Software Systems確認したメール アドレス: cs.uni-kl.de
- Milan CeskaBrno University of Technology確認したメール アドレス: fit.vutbr.cz
- Tayssir TouiliSenior researcher, CNRS確認したメール アドレス: lipn.fr