Get my own profile
Co-authors
Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk UniversityVerified email at fi.muni.cz
Salomon SickertTechnische Universität MünchenVerified email at in.tum.de
Jan KrčálSaarland UniversityVerified email at fi.muni.cz
Javier EsparzaProfessor of Computer Science, Technical University of MunichVerified email at in.tum.de
Tobias MeggendorferPhD Student, Technical University of MunichVerified email at meggendorfer.de
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Vojtěch ForejtDifflblueVerified email at diffblue.com
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Maximilian WeiningerTechnical University of MunichVerified email at tum.de
Pranav AshokTechnical University of MunichVerified email at in.tum.de
David ParkerProfessor of Computer Science, University of BirminghamVerified email at cs.bham.ac.uk
Antonin KuceraMasaryk UniversityVerified email at fi.muni.cz
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
Ivana CernaMasaryk University, Brno, Czech RepublicVerified email at fi.muni.cz
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Mikael Harkjćr MřllerPh.D. Fellow, Computer Science, Aalborg UniversityVerified email at mikael.hm
Joachim KleinTU Dresden (formerly)Verified email at automata.tools
Jan Křetínský
Technical University of Munich (tenure-track assistant professor)
Verified email at fi.muni.cz - Homepage