Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 1482 | 755 |
Índice h | 23 | 18 |
Índice i10 | 36 | 28 |
Acceso público
Ver todo17 artículos
2 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
Luboš BrimMasaryk university, Faculty of InformaticsDirección de correo verificada de fi.muni.cz
Jiří BarnatMasaryk University, Faculty of InformaticsDirección de correo verificada de fi.muni.cz
Tomas VojnarFIT, Brno University of TechnologyDirección de correo verificada de fit.vutbr.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
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
Ivana CernaMasaryk University, Brno, Czech RepublicDirección de correo verificada de fi.muni.cz
Simos GerasimouAssociate Professor (Senior Lecturer) in Computer Science, University of YorkDirección de correo verificada de york.ac.uk
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