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

Luboš Brim

masaryk university

27H指数
224论文数
2.6K被引数
收录论文 5
发表时间
logo
Control-Guided Refinement of Partially Specified Boolean Networks: Applications to RTK Signalling部分指定布尔网络的控制引导式细化：在RTK信号通路中的应用
errBioinformatics
IF5.4
err2026-05-24
err0
errOAAI
errEva Šmijáková; Luboš Brim; Samuel Pastva; David Šafránek; null
err分享
err收藏
Sketchbook: logical model inference from Boolean network sketches草图簿：从布尔网络草图进行逻辑模型推理
errBioinformatics Advances
IF2.8
err2026-01-01
err0
PREAI
errHuvar, Ondrej; Benes, Nikola; Brim, Lubos; Pastva, Samuel; Safranek, David
err分享
err收藏
Designing fast LTL model checking algorithms for many-core GPUs
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2012-09-01
err34
PREAI
errBarnat, Jiri; Bauch, Petr; Brim, Lubos; Ceska, Milan
err分享
err收藏
On Parameter Synthesis by Parallel Model Checking
errIEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS
IF3.4
err2012-05-01
err34
PREAI
errBarnat, Jiri; Brim, Lubos; Krejci, Adam; Streck, Adam; Safranek, David; Vejnar, Martin; Vejpustek, Tomas
err分享
err收藏
High-performance analysis of biological systems dynamics with the DiVinE model checker
errBRIEFINGS IN BIOINFORMATICS
IF7.7
err2010-04-28
err19
errOAAI
errBarnat, Jiri; Brim, Lubos; Safranek, Dravid
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
Jǐŕı Barnat
H 指数: 25 · 论文数: 135
M
Milan Češka
H 指数: 17 · 论文数: 111
D
David Šafránek
H 指数: 15 · 论文数: 139
S
Samuel Pastva
H 指数: 11 · 论文数: 74
P
Petr Bauch
H 指数: 8 · 论文数: 16
查看更多