Crea el meu perfil
Accés públic
Mostra-ho tot18 articles
1 article
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Luboš BrimMasaryk university, Faculty of InformaticsCorreu electrònic verificat a fi.muni.cz
- Jiří BarnatMasaryk University, Faculty of InformaticsCorreu electrònic verificat a fi.muni.cz
- Tomas VojnarFIT, Brno University of TechnologyCorreu electrònic verificat a fit.vutbr.cz
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordCorreu electrònic verificat a comlab.ox.ac.uk
- Nicola PaolettiDepartment of Informatics, King's College LondonCorreu electrònic verificat a kcl.ac.uk
- David Safranekassistant professor, Masaryk university, Faculty of informaticsCorreu electrònic verificat a safranek.cz
- Sebastian JungesAssistant Professor, Radboud University, NijmegenCorreu electrònic verificat a ru.nl
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteCorreu electrònic verificat a cs.rwth-aachen.de
- Radu CalinescuProfessor of Computer Science, University of YorkCorreu electrònic verificat a york.ac.uk
- Vojtech MrazekAssistant professor & researcher, Brno University of TechnologyCorreu electrònic verificat a fit.vutbr.cz
- Lukas SekaninaProfessor of Computer Science and Engineering, Brno University of TechnologyCorreu electrònic verificat a fit.vutbr.cz
- Zdenek VasicekBrno University of TechnologyCorreu electrònic verificat a fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKCorreu electrònic verificat a cs.ox.ac.uk
- Simos GerasimouAssociate Professor (Senior Lecturer) in Computer Science, University of YorkCorreu electrònic verificat a york.ac.uk
- Ivana CernaMasaryk University, Brno, Czech RepublicCorreu electrònic verificat a fi.muni.cz
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumCorreu electrònic verificat a rub.de
- Jana TumovaKTHCorreu electrònic verificat a kth.se
- Petr RočkaiFaculty of Informatics, Masaryk University in BrnoCorreu electrònic verificat a mornfall.net
- Lukas HolikBrno University of TehcnologyCorreu electrònic verificat a fit.vutbr.cz
- Ondřej LengálBrno University of TechnologyCorreu electrònic verificat a fit.vutbr.cz