Crear mi propio perfil
Citado por
Total | Desde 2020 | |
---|---|---|
Citas | 1576 | 700 |
Índice h | 25 | 16 |
Índice i10 | 37 | 23 |
Acceso público
Ver todo19 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
Roman AndriushchenkoPh.D. student, Brno University of TechnologyDirección de correo verificada de vutbr.cz
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
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
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKDirección de correo verificada de cs.ox.ac.uk
Jan KřetínskýMasaryk University Brno; Technical University of MunichDirección de correo verificada de fi.muni.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