Get my own profile
Public access
View all19 articles
3 articles
available
not available
Based on funding mandates
Co-authors
Jiří BarnatMasaryk University, Faculty of InformaticsVerified email at fi.muni.cz
Tomas VojnarFI, Masaryk University & FIT, Brno University of TechnologyVerified email at fi.muni.cz
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Nicola PaolettiDepartment of Informatics, King's College LondonVerified email at kcl.ac.uk
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Roman AndriushchenkoPh.D. student, Brno University of TechnologyVerified email at vutbr.cz
David Safranekassistant professor, Masaryk university, Faculty of informaticsVerified email at safranek.cz
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Radu CalinescuProfessor of Computer Science, University of YorkVerified email at york.ac.uk
Simos GerasimouAssociate Professor (Senior Lecturer) in Computer Science, University of YorkVerified email at york.ac.uk
Vojtech MrazekAssistant professor & researcher, Brno University of TechnologyVerified email at fit.vutbr.cz
Lukas SekaninaProfessor of Computer Science and Engineering, Brno University of TechnologyVerified email at fit.vutbr.cz
Zdenek VasicekBrno University of TechnologyVerified email at fit.vutbr.cz
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
Jan KřetínskýMasaryk University Brno; Technical University of MunichVerified email at fi.muni.cz
Ivana CernaMasaryk University, Brno, Czech RepublicVerified email at fi.muni.cz
Jana TumovaKTHVerified email at kth.se
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
Petr RočkaiFaculty of Informatics, Masaryk University in BrnoVerified email at mornfall.net
Lukas HolikBrno University of TehcnologyVerified email at fit.vutbr.cz