Concepedia

Ondřej Lengál

OL

Statistics

Publications

9

Citations

178

H-Index

9

Active since

2016

Affiliations

Brno University of Technology(Current)

Academia Sinica

National Taiwan University

Chinese Academy of Sciences

Institute of Software

Ondřej Lengál is an author at Brno University of Technology specializing in computer science, computing, and automata theory.

Publications per year

2016–2025

9

Publications

9

An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits

Yu‐Fang Chen, Kai-Min Chung, Ondřej Lengál et al. · Proceedings of the ACM on Programming Languages · 2023 · 38 citations · Full text

Computing, Computer Engineering, Computer Science +17

Advanced automata-based algorithms for program termination checking

Yu‐Fang Chen, Matthias Heizmann, Ondřej Lengál et al. · 2018 · 27 citations

Computing, Computer Science, Algorithms +11

Regex matching with counting-set automata

Lenka Turoňová, Lukáš Holík, Ondřej Lengál et al. · Proceedings of the ACM on Programming Languages · 2020 · 22 citations · Full text

Computing, Computer Science, Algorithms +14

PAC learning-based verification and model synthesis

Yu‐Fang Chen, Chiao Hsieh, Ondřej Lengál et al. · 2016 · 21 citations

Computing, Computer Engineering, Computer Science +13

Approximate reduction of finite automata for high-speed network intrusion detection

Milan Češka, Vojtěch Havlena, Lukáš Holík et al. · International Journal on Software Tools for Technology Transfer · 2019 · 18 citations

Computing, Computer Engineering, Computer Science +16

1–5 of 9