自分のプロフィールを作成
オープン アクセス
すべて表示7 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Julian GutierrezMonash University Senior Lecturer確認したメール アドレス: monash.edu
- Michael WooldridgeUniversity of Oxford確認したメール アドレス: cs.ox.ac.uk
- Giuseppe PerelliAssistant Professor at Sapienza University of Rome確認したメール アドレス: di.uniroma1.it
- Anthony Widjaja LinProfessor@TU Kaiserslautern, Max-Planck Fellow at Max-Planck Institute for Software Systems確認したメール アドレス: cs.uni-kl.de
- Thomas SteeplesDPhil student, University of Oxford確認したメール アドレス: cs.ox.ac.uk
- Lewis HammondUniversity of Oxford確認したメール アドレス: cs.ox.ac.uk
- Paul HarrensteinPost-doctoral researcher, University of Oxford確認したメール アドレス: in.tum.de
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UK確認したメール アドレス: cs.ox.ac.uk
- Marta KwiatkowskaProfessor of Computing Systems, University of Oxford確認したメール アドレス: comlab.ox.ac.uk
- Chih-Duo Hong (洪智鐸)National Chengchi University, Taiwan確認したメール アドレス: nccu.edu.tw
- Daniel NeiderTU Dortmund University and Center for Trustworthy Data Science and Security確認したメール アドレス: tu-dortmund.de
- Parosh AbdullaProfessor of Computer Science, Uppsala University確認したメール アドレス: it.uu.se
- Daniel STANEPITA LRE確認したメール アドレス: epita.fr