Get my own profile
Public access
View all57 articles
7 articles
available
not available
Based on funding mandates
Co-authors
Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Salomon SickertPost Doc, Hebrew University of JerusalemVerified email at tum.de
Maximilian WeiningerTechnical University of MunichVerified email at tum.de
Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk UniversityVerified email at fi.muni.cz
Javier EsparzaProfessor of Computer Science, Technical University of MunichVerified email at in.tum.de
Tobias MeggendorferPost Doc, IST AustriaVerified email at meggendorfer.de
Jan KrčálSaarland UniversityVerified email at fi.muni.cz
Pranav AshokArgo AIVerified email at argo.ai
David ParkerProfessor of Computer Science, University of BirminghamVerified email at cs.bham.ac.uk
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
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
Joachim KleinTU Dresden (formerly)Verified email at automata.tools
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Ivana CernaMasaryk University, Brno, Czech RepublicVerified email at fi.muni.cz