自分のプロフィールを作成
オープン アクセス
すべて表示15 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Marta KwiatkowskaProfessor of Computing Systems, University of Oxford確認したメール アドレス: comlab.ox.ac.uk
- Tomas BrazdilMasaryk University確認したメール アドレス: fi.muni.cz
- David ParkerProfessor of Computer Science, University of Oxford確認したメール アドレス: cs.ox.ac.uk
- Antonin KuceraMasaryk University確認したメール アドレス: fi.muni.cz
- Krishnendu ChatterjeeProfessor, IST Austria確認したメール アドレス: ist.ac.at
- Jan KřetínskýMasaryk University Brno; Technical University of Munich確認したメール アドレス: fi.muni.cz
- Aistis ŠimaitisUniversity of Oxford確認したメール アドレス: cs.ox.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of London確認したメール アドレス: bbk.ac.uk
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing Science確認したメール アドレス: glasgow.ac.uk
- Mateusz UjmaDPhil Student, Oxford University確認したメール アドレス: cs.ox.ac.uk
- Ashutosh TrivediAssociate Professor, University of Colorado at Boulder確認したメール アドレス: colorado.edu
- Jan KrčálSaarland University確認したメール アドレス: fi.muni.cz
- Daniel KroeningAmazon確認したメール アドレス: amazon.com
- Subodh SharmaIIT Delhi確認したメール アドレス: cse.iitd.ac.in
- Klaus DrägerQueen Mary, University of London確認したメール アドレス: qmul.ac.uk
- James WorrellProfessor of Computer Science, Oxford University確認したメール アドレス: cs.ox.ac.uk
- Stefan KieferProfessor of Computer Science, University of Oxford確認したメール アドレス: cs.ox.ac.uk
- Dominik WojtczakDepartment of Computer Science, University of Liverpool確認したメール アドレス: liverpool.ac.uk
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-Saclay確認したメール アドレス: lsv.fr
- Michael UmmelsResearcher, German Aerospace Center確認したメール アドレス: logic.rwth-aachen.de