Get my own profile
Public access
View all18 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
- 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
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
- 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
- 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
- Ondřej LengálBrno University of TechnologyVerified email at fit.vutbr.cz
- Frits DannenbergVerified email at caltech.edu