Jan Strejček
Scholar

Jan Strejček

Google Scholar ID: 2Bdz-iAAAAAJ
Masaryk University
Formal MethodsSoftware VerificationProgram AnalysisOmega-AutomataSMT-solving
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
847
 
H-index
18
 
i10-index
32
 
Publications
20
 
Co-authors
37
list available
Contact
Emailstrejcek@fi.muni.czGitHubOpen ↗
Publications
2 items
On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report)
2025
Cited
0
Gray-Box Fuzzing in Local Space
2025
Cited
0
Resume (English only)
Co-authors
37 total
Co-author 1
Co-author 1
Martin Jonáš
Martin Jonáš
Faculty of Informatics, Masaryk University
Marek Chalupa
Marek Chalupa
Institute of Science and Technology Austria
Vojtech Rehak
Vojtech Rehak
Masaryk university, Faculty of Informatics
Marek Trtík
Marek Trtík
Assistant professor, Faculty of Informatics, Masaryk University, Brno
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8