科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
J
Jan Otop
institute of science & technology - austria
7
H指数
55
论文数
220
被引数
0
相关解读
订阅
收录论文
2
发表时间
发表时间
IF
被引数
Learning infinite-word automata with loop-index queries
artificial intelligence review
IF
4.6
2022-06-01
5
PRE
AI
Michaliszyn, Jakub; Otop, Jan
分享
收藏
Model measuring for discrete and hybrid systems
NONLINEAR ANALYSIS-HYBRID SYSTEMS
IF
4.1
2017-02-01
4
PRE
AI
Henzinger, Thomas A.; Otop, Jan
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
T
Thomas A. Henzinger
H 指数: 97 · 论文数: 724
J
Jakub Michaliszyn
H 指数: 11 · 论文数: 47
已加载全部