自分のプロフィールを作成
オープン アクセス
すべて表示18 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Luboš BrimMasaryk university, Faculty of Informatics確認したメール アドレス: fi.muni.cz
- Jiří BarnatMasaryk University, Faculty of Informatics確認したメール アドレス: fi.muni.cz
- Tomas VojnarFIT, Brno University of Technology確認したメール アドレス: fit.vutbr.cz
- Marta KwiatkowskaProfessor of Computing Systems, University of Oxford確認したメール アドレス: comlab.ox.ac.uk
- Nicola PaolettiDepartment of Informatics, King's College London確認したメール アドレス: kcl.ac.uk
- David Safranekassistant professor, Masaryk university, Faculty of informatics確認したメール アドレス: safranek.cz
- Sebastian JungesAssistant Professor, Radboud University, Nijmegen確認したメール アドレス: ru.nl
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twente確認したメール アドレス: cs.rwth-aachen.de
- Radu CalinescuProfessor of Computer Science, University of York確認したメール アドレス: york.ac.uk
- Vojtech MrazekAssistant professor & researcher, Brno University of Technology確認したメール アドレス: fit.vutbr.cz
- Lukas SekaninaProfessor of Computer Science and Engineering, Brno University of Technology確認したメール アドレス: fit.vutbr.cz
- Zdenek VasicekBrno University of Technology確認したメール アドレス: fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UK確認したメール アドレス: cs.ox.ac.uk
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum確認したメール アドレス: rub.de
- Simos GerasimouAssociate Professor (Senior Lecturer) in Computer Science, University of York確認したメール アドレス: york.ac.uk
- Ivana CernaMasaryk University, Brno, Czech Republic確認したメール アドレス: fi.muni.cz
- Jana TumovaKTH確認したメール アドレス: kth.se
- Petr RočkaiFaculty of Informatics, Masaryk University in Brno確認したメール アドレス: mornfall.net
- Lukas HolikBrno University of Tehcnology確認したメール アドレス: fit.vutbr.cz
- Ondřej LengálBrno University of Technology確認したメール アドレス: fit.vutbr.cz