Obter o meu próprio perfil
Citado por
Todos | Desde 2020 | |
---|---|---|
Citações | 3158 | 1935 |
Índice h | 32 | 25 |
Índice i10 | 78 | 53 |
Acesso público
Ver tudo67 artigos
8 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
Maximilian WeiningerTechnical University of MunichEmail confirmado em tum.de
Tobias MeggendorferAssistant Professor, Lancaster University LeipzigEmail confirmado em meggendorfer.de
Tomas BrazdilMasaryk UniversityEmail confirmado em fi.muni.cz
Salomon SickertEmail confirmado em tum.de
Krishnendu ChatterjeeProfessor, IST AustriaEmail confirmado em ist.ac.at
Javier EsparzaProfessor of Computer Science, Technical University of MunichEmail confirmado em in.tum.de
Pranav AshokCARIAD SEEmail confirmado em cariad.technology
Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk UniversityEmail confirmado em fi.muni.cz
David ParkerProfessor of Computer Science, University of OxfordEmail confirmado em cs.ox.ac.uk
Kim G. LarsenDirector, Professor Aalborg UniversityEmail confirmado em cs.aau.dk
Jan KrčálSaarland UniversityEmail confirmado em fi.muni.cz
Vojtěch ForejtDifflblueEmail confirmado em diffblue.com
Antonin KuceraMasaryk UniversityEmail confirmado em fi.muni.cz
Jiri SrbaProfessor of Computer Science, Aalborg UniversityEmail confirmado em cs.aau.dk
Martin ChmelíkSoftware Engineer, GoogleEmail confirmado em google.com
Joachim KleinTU Dresden (formerly)Email confirmado em automata.tools
Stefanie MohrTechnical University of MunichEmail confirmado em in.tum.de
Michaela KlauckRobert Bosch GmbH - Bosch Research, Saarland University, Saarland Informatics CampusEmail confirmado em de.bosch.com
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumEmail confirmado em rub.de
Vojtech RehakMasaryk university, Faculty of InformaticsEmail confirmado em fi.muni.cz
Seguir
Jan Křetínský
Masaryk University Brno; Technical University of Munich
Email confirmado em fi.muni.cz - Página inicial