Crear mi propio perfil
Citado por
| Total | Desde 2019 | |
|---|---|---|
| Citas | 1552 | 825 |
| Índice h | 24 | 19 |
| Índice i10 | 36 | 28 |
Acceso público
Ver todo18 artículos
3 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
Jiří BarnatMasaryk University, Faculty of InformaticsDirección de correo verificada de fi.muni.cz- Tomas VojnarFI, Masaryk University & FIT, Brno University of TechnologyDirección de correo verificada de fi.muni.cz
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordDirección de correo verificada de comlab.ox.ac.uk
- Nicola PaolettiDepartment of Informatics, King's College LondonDirección de correo verificada de kcl.ac.uk
- Sebastian JungesAssistant Professor, Radboud University, NijmegenDirección de correo verificada de ru.nl
- David Safranekassistant professor, Masaryk university, Faculty of informaticsDirección de correo verificada de safranek.cz
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteDirección de correo verificada de cs.rwth-aachen.de
- Radu CalinescuProfessor of Computer Science, University of YorkDirección de correo verificada de york.ac.uk
- Simos GerasimouAssociate Professor (Senior Lecturer) in Computer Science, University of YorkDirección de correo verificada de york.ac.uk
- Vojtech MrazekAssistant professor & researcher, Brno University of TechnologyDirección de correo verificada de fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKDirección de correo verificada de cs.ox.ac.uk
- Lukas SekaninaProfessor of Computer Science and Engineering, Brno University of TechnologyDirección de correo verificada de fit.vutbr.cz
- Zdenek VasicekBrno University of TechnologyDirección de correo verificada de fit.vutbr.cz
- Ivana CernaMasaryk University, Brno, Czech RepublicDirección de correo verificada de fi.muni.cz
- Jana TumovaKTHDirección de correo verificada de kth.se
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumDirección de correo verificada de rub.de
- Petr RočkaiFaculty of Informatics, Masaryk University in BrnoDirección de correo verificada de mornfall.net
- Lukas HolikBrno University of TehcnologyDirección de correo verificada de fit.vutbr.cz
- Ondřej LengálBrno University of TechnologyDirección de correo verificada de fit.vutbr.cz
- Frits DannenbergDirección de correo verificada de caltech.edu
