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

Lukáš Holík

brno university of technology

19H指数
132论文数
1.4K被引数
收录论文 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收藏
Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication
errIEEE TRANSACTIONS ON SMART GRID
IF9.8
err2023-05-01
err5
PREAI
errHavlena, Vojtech; Matousek, Petr; Rysavy, Ondrej; Holik, Lukas
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
Jan Strejček
H 指数: 16 · 论文数: 108
O
Ondřej Lengál
H 指数: 14 · 论文数: 106
O
Ondřej Ryšavý
H 指数: 12 · 论文数: 111
P
Petr Matoušek
H 指数: 10 · 论文数: 62
V
Vojtěch Havlena
H 指数: 9 · 论文数: 52
查看更多