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 AshokCARIAD SEVerified email at cariad.technology
- 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
- Antonin KuceraMasaryk UniversityVerified email at fi.muni.cz
- Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
- Martin ChmelíkSoftware Engineer, GoogleVerified email at google.com
- Joachim KleinTU Dresden (formerly)Verified email at automata.tools
- 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
- Stefanie MohrTechnical University of MunichVerified email at in.tum.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
Follow
Jan Křetínský
Masaryk University Brno; Technical University of Munich
Verified email at fi.muni.cz - Homepage