logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
O

Ondřej Lengál

brno university of technology

14H指数
106论文数
585被引数
收录论文 3
发表时间
logo
On Complementation of Nondeterministic Finite Automata Without Full Determinization关于非确定性有限自动机互补运算无需完全确定化的研究
errFUNDAMENTALS OF COMPUTATION THEORY, FCT 2025
IF0
err2026-01-01
err0
PREAI
errHolik, Lukas; Lengal, Ondrej; Major, Juraj; Stepkova, Adela; Strejcek, Jan
err分享
err收藏
Parameterized Verification of Quantum Circuits量子电路的参数化验证
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errAbdulla, Parosh Aziz; Chen, Yu-Fang; Hecko, Michal; Holik, Lukas; Lengal, Ondrej; Lin, Jyun-Ao; Thinniyam, Ramanathan S.
err分享
err收藏
A symbolic algorithm for the case-split rule in solving word constraints with extensions br
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2023-07-01
err2
PREAI
errChen, Yu -Fang; Havlena, Vojtech; Lengal, Ondrej; Turrini, Andrea
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
Y
Yu‐Fang Chen
H 指数: 26 · 论文数: 180
L
Lukáš Holík
H 指数: 19 · 论文数: 132
J
Jan Strejček
H 指数: 16 · 论文数: 108
A
Andrea Turrini
H 指数: 13 · 论文数: 77
V
Vojtěch Havlena
H 指数: 9 · 论文数: 52
查看更多