Ondřej Lengál
Scholar

Ondřej Lengál

Google Scholar ID: m3bsxv4AAAAJ
Brno University of Technology
Formal VerificationTheoretical Computer Science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,013
 
H-index
20
 
i10-index
35
 
Publications
20
 
Co-authors
39
list available
Contact
No contact links provided.
Publications
7 items
String Solving with Stabilization and Transducers (Technical Report)
2026
Cited
0
Kofola 1.0: A Modular Approach to {\omega}-Regular Complementation and Inclusion Checking (Technical Report)
2026
Cited
0
A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
2026
Cited
0
Parameterized Verification of Quantum Circuits (Technical Report)
2025
Cited
0
On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report)
2025
Cited
0
Negated String Containment is Decidable (Technical Report)
2025
Cited
0
A Uniform Framework for Handling Position Constraints in String Solving (Technical Report)
2025
Cited
0
Resume (English only)
Co-authors
39 total
Lukas Holik
Lukas Holik
Brno University of Tehcnology
Tomas Vojnar
Tomas Vojnar
FI, Masaryk University & FIT, Brno University of Technology
Co-author 3
Co-author 3
Yu-Fang Chen
Yu-Fang Chen
Research Fellow/Professor, Academia Sinica
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Wei-Lun Tsai
Wei-Lun Tsai
National Taiwan University
Co-author 8
Co-author 8