Scholar
Ondřej Lengál
Google Scholar ID: m3bsxv4AAAAJ
Brno University of Technology
Formal Verification
Theoretical Computer Science
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
682
H-index
16
i10-index
27
Publications
20
Co-authors
39
list available
Contact
Email
lengal@fit.vut.cz
Twitter
Open ↗
LinkedIn
Open ↗
Publications
4 items
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)
Academic Achievements
Information on research results, awards, patents, etc. is not provided.
Research Experience
Position: Associate Professor
Department: Department of Intelligent Systems
Education
Degree, school, advisor, and time period information is not provided.
Background
Research interests, professional fields, and other background information are not provided.
Miscellany
Personal interests, hobbies, and other information are not provided.
Co-authors
39 total
Lukas Holik
Brno University of Tehcnology
Tomas Vojnar
FI, Masaryk University & FIT, Brno University of Technology
Co-author 3
Yu-Fang Chen
Research Fellow/Professor, Academia Sinica
Co-author 5
Co-author 6
Co-author 7
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up