Get my own profile
Public access
View all17 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Luboš BrimMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
Jiří BarnatMasaryk University, Faculty of InformaticsVerified email at fi.muni.cz
Tomas VojnarFIT, Brno University of TechnologyVerified email at fit.vutbr.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
David Safranekassistant professor, Masaryk university, Faculty of informaticsVerified email at safranek.cz
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
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
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
Ivana CernaMasaryk University, Brno, Czech RepublicVerified email at fi.muni.cz
Simos GerasimouAssociate Professor (Senior Lecturer) in Computer Science, University of YorkVerified email at york.ac.uk
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
Ondřej LengálBrno University of TechnologyVerified email at fit.vutbr.cz