Scholar
Jan Strejček
Google Scholar ID: 2Bdz-iAAAAAJ
Masaryk University
Formal Methods
Software Verification
Program Analysis
Omega-Automata
SMT-solving
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
847
H-index
18
i10-index
32
Publications
20
Co-authors
37
list available
Contact
Email
strejcek@fi.muni.cz
GitHub
Open ↗
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
Co-authors
13 total
Martin Jonáš
Faculty of Informatics, Masaryk University
Marek Chalupa
Institute of Science and Technology Austria
Vojtech Rehak
Masaryk university, Faculty of Informatics
Marek Trtík
Assistant professor, Faculty of Informatics, Masaryk University, Brno
Alexandre Duret-Lutz
LRE / EPITA
Antonin Kucera
Masaryk University
Dirk Beyer
Professor of Computer Science, LMU Munich, Germany
Ahmed Bouajjani
Professor Computer Science, Université Paris Cité
