Get my own profile
Public access
View all66 articles
8 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
- Pranav AshokCARIAD SEVerified email at cariad.technology
- Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk UniversityVerified email at fi.muni.cz
- 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
- Stefanie MohrTechnical University of MunichVerified email at in.tum.de
- Vojtech RehakMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
- Michaela KlauckRobert Bosch GmbH - Bosch Research, Saarland University, Saarland Informatics CampusVerified email at de.bosch.com
- 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