Get my own profile
Public access
View all64 articles
7 articles
available
not available
Based on funding mandates
Co-authors
Maximilian WeiningerTechnical University of MunichVerified email at tum.de
Tobias MeggendorferAssistant Professor, Lancaster University LeipzigVerified email at meggendorfer.de
Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
Salomon SickertVerified email at tum.de
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Javier EsparzaProfessor of Computer Science, Technical University of MunichVerified email at in.tum.de
Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk UniversityVerified email at fi.muni.cz
Pranav AshokArgo AIVerified email at argo.ai
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Jan KrčálSaarland UniversityVerified email at fi.muni.cz
Vojtěch ForejtDifflblueVerified email at diffblue.com
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Antonin KuceraMasaryk UniversityVerified email at fi.muni.cz
Martin ChmelíkSoftware Engineer, GoogleVerified email at google.com
Joachim KleinTU Dresden (formerly)Verified email at automata.tools
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
Vojtech RehakMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Michaela KlauckRobert Bosch GmbH - Bosch Research, Saarland University, Saarland Informatics CampusVerified email at de.bosch.com
Follow![Jan Křetínský](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=w4KVyKAAAAAJ&citpid=2)
Jan Křetínský
Masaryk University Brno; Technical University of Munich
Verified email at fi.muni.cz - Homepage