Založit si vlastní profil
Veřejný přístup
Zobrazit všechny18 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Luboš BrimMasaryk university, Faculty of InformaticsE-mailová adresa ověřena na: fi.muni.cz
- Jiří BarnatMasaryk University, Faculty of InformaticsE-mailová adresa ověřena na: fi.muni.cz
- Tomas VojnarFIT, Brno University of TechnologyE-mailová adresa ověřena na: fit.vutbr.cz
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordE-mailová adresa ověřena na: comlab.ox.ac.uk
- Nicola PaolettiDepartment of Informatics, King's College LondonE-mailová adresa ověřena na: kcl.ac.uk
- David Safranekassistant professor, Masaryk university, Faculty of informaticsE-mailová adresa ověřena na: safranek.cz
- Sebastian JungesAssistant Professor, Radboud University, NijmegenE-mailová adresa ověřena na: ru.nl
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteE-mailová adresa ověřena na: cs.rwth-aachen.de
- Radu CalinescuProfessor of Computer Science, University of YorkE-mailová adresa ověřena na: york.ac.uk
- Vojtech MrazekAssistant professor & researcher, Brno University of TechnologyE-mailová adresa ověřena na: fit.vutbr.cz
- Lukas SekaninaProfessor of Computer Science and Engineering, Brno University of TechnologyE-mailová adresa ověřena na: fit.vutbr.cz
- Zdenek VasicekBrno University of TechnologyE-mailová adresa ověřena na: fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKE-mailová adresa ověřena na: cs.ox.ac.uk
- Simos GerasimouAssociate Professor (Senior Lecturer) in Computer Science, University of YorkE-mailová adresa ověřena na: york.ac.uk
- Ivana CernaMasaryk University, Brno, Czech RepublicE-mailová adresa ověřena na: fi.muni.cz
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumE-mailová adresa ověřena na: rub.de
- Jana TumovaKTHE-mailová adresa ověřena na: kth.se
- Petr RočkaiFaculty of Informatics, Masaryk University in BrnoE-mailová adresa ověřena na: mornfall.net
- Lukas HolikBrno University of TehcnologyE-mailová adresa ověřena na: fit.vutbr.cz
- Ondřej LengálBrno University of TechnologyE-mailová adresa ověřena na: fit.vutbr.cz