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

Jan Oliver Ringert

bauhaus-universitat weimar

20H指数
118论文数
1.2K被引数
收录论文 4
发表时间
logo
On the Comparison of Learned Classifiers关于学习分类器的比较
errSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
err2026-01-01
err0
PREAI
errSoaibuzzaman; Doering, Jenny; Kasi, Srinivasulu; Ringert, Jan Oliver
err分享
err收藏
On Writing Alloy Models: Metrics and a New Dataset关于撰写合金模型的度量指标与新数据集
errRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
err2026-01-01
err0
PREAI
errSoaibuzzaman; Kalantari, Salar; Ringert, Jan Oliver
err分享
err收藏
On Specifying for Trustworthiness
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-12-21
err4
errOAAI
errAbeywickrama, Dhaminda B.; Bennaceur, Amel; Chance, Greg; Demiris, Yiannis; Kordoni, Anastasia; Levine, Mark; Moffat, Luke; Moreau, Luc; Mousavi, Mohammad Reza; Nuseibeh, Bashar; Ramamoorthy, Subramanian; Ringert, Jan Oliver; Wilson, James; Windsor, Shane; Eder, Kerstin
err分享
err收藏
Efficient Algorithms for Omega-Regular Energy Games
errFORMAL METHODS, FM 2021
IF0
err2021-11-10
err0
errOAAI
errAmram, Gal; Maoz, Shahar; Pistiner, Or; Ringert, Jan Oliver
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
B
Bashar Nuseibeh
H 指数: 53 · 论文数: 425
Y
Yiannis Demiris
H 指数: 47 · 论文数: 334
M
Mark Levine
H 指数: 46 · 论文数: 253
S
Shahar Maoz
H 指数: 26 · 论文数: 143
S
Subramanian Ramamoorthy
H 指数: 23 · 论文数: 281
查看更多