自分のプロフィールを作成
オープン アクセス
すべて表示127 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing Science確認したメール アドレス: glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of Oxford確認したメール アドレス: cs.ox.ac.uk
- Radu CalinescuProfessor of Computer Science, University of York確認したメール アドレス: york.ac.uk
- Jeremy SprostonAssistant professor, University of Turin確認したメール アドレス: di.unito.it
- Luca LaurentiTU Delft確認したメール アドレス: tudelft.nl
- Luca CardelliUniversity of Oxford確認したメール アドレス: cs.ox.ac.uk
- Andrea PataneTrinity College Dublin確認したメール アドレス: tcd.ie
- Vojtěch ForejtDifflblue確認したメール アドレス: diffblue.com
- Nicola PaolettiDepartment of Informatics, King's College London確認したメール アドレス: kcl.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of London確認したメール アドレス: bbk.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of Liverpool確認したメール アドレス: liverpool.ac.uk
- Hongyang QuResearch Fellow, University of Sheffield確認したメール アドレス: sheffield.ac.uk
- Roberto SegalaUniversità di Verona確認したメール アドレス: univr.it
- Christel BaierTU Dresden確認したメール アドレス: tu-dresden.de
- Min WuDepartment of Computer Science, Stanford University確認したメール アドレス: stanford.edu
- Matthew WickerImperial College London & The Alan Turing Institute確認したメール アドレス: imperial.ac.uk
- Alexandru MereacreNquiringminds Ltd確認したメール アドレス: nquiringminds.com
- Milan CeskaBrno University of Technology確認したメール アドレス: fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UK確認したメール アドレス: cs.ox.ac.uk
- Frits Dannenberg確認したメール アドレス: caltech.edu
フォロー
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
確認したメール アドレス: comlab.ox.ac.uk - ホームページ