Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 2884 | 1911 |
Índice h | 31 | 23 |
Índice i10 | 70 | 52 |
Acesso público
Ver todos63 artigos
7 artigos
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Maximilian WeiningerTechnical University of MunichE-mail confirmado em tum.de
- Tobias MeggendorferAssistant Professor, Lancaster University LeipzigE-mail confirmado em meggendorfer.de
- Tomas BrazdilMasaryk UniversityE-mail confirmado em fi.muni.cz
- Salomon SickertE-mail confirmado em tum.de
- Krishnendu ChatterjeeProfessor, IST AustriaE-mail confirmado em ist.ac.at
- Javier EsparzaProfessor of Computer Science, Technical University of MunichE-mail confirmado em in.tum.de
- Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk UniversityE-mail confirmado em fi.muni.cz
- Pranav AshokCARIAD SEE-mail confirmado em cariad.technology
- David ParkerProfessor of Computer Science, University of OxfordE-mail confirmado em cs.ox.ac.uk
- Jan KrčálSaarland UniversityE-mail confirmado em fi.muni.cz
- Vojtěch ForejtDifflblueE-mail confirmado em diffblue.com
- Kim G. LarsenDirector, Professor Aalborg UniversityE-mail confirmado em cs.aau.dk
- Jiri SrbaProfessor of Computer Science, Aalborg UniversityE-mail confirmado em cs.aau.dk
- Antonin KuceraMasaryk UniversityE-mail confirmado em fi.muni.cz
- Martin ChmelíkSoftware Engineer, GoogleE-mail confirmado em google.com
- Joachim KleinTU Dresden (formerly)E-mail confirmado em automata.tools
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumE-mail confirmado em rub.de
- Vojtech RehakMasaryk university, Faculty of InformaticsE-mail confirmado em fi.muni.cz
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusE-mail confirmado em cs.uni-saarland.de
- Stefanie MohrTechnical University of MunichE-mail confirmado em in.tum.de
Seguir
Jan Křetínský
Masaryk University Brno; Technical University of Munich
E-mail confirmado em fi.muni.cz - Página inicial