Get my own profile
Public access
View all11 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Jan StrejčekMasaryk UniversityVerified email at fi.muni.cz
Alexandre Duret-LutzLRE / EPITAVerified email at lrde.epita.fr
Mojmír KřetínskýMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
Joachim KleinTU Dresden (formerly)Verified email at automata.tools
Jan KřetínskýTechnical University of MunichVerified email at fi.muni.cz
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
Melkior OrnikAssistant Professor, University of Illinois Urbana-ChampaignVerified email at illinois.edu
Pranay ThangedaGraduate Student, University of Illinois Urbana-ChampaignVerified email at illinois.edu
Matthias HeizmannUniversity of Freiburg, GermanyVerified email at heizmann.name
Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Ming-Hsien TsaiNational Institute of Cyber SecurityVerified email at nics.nat.gov.tw
Petr NovotnýAssociate Professor, Faculty of Informatics, Masaryk UniversityVerified email at fi.muni.cz
Christel BaierTU DresdenVerified email at tu-dresden.de
Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
Murat CubuktepeUniversity of Texas at AustinVerified email at utexas.edu