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

Sascha Klüppelholz

Technische Universitat Dresden

19H指数
80论文数
885被引数
收录论文 4
发表时间
logo
Certificates and Witnesses for Multi-objective.-Regular Queries in Markov Decision Processes多目标正则查询在马尔可夫决策过程中的证书与证据
errSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
err2026-01-01
err0
PREAI
errBaier, Christel; Chau, Calvin; Drobitko, Volodymyr; Jantsch, Simon; Klueppelholz, Sascha
err分享
err收藏
Backward Responsibility in Transition Systems Beyond Safety过渡系统中超越安全性的逆向责任
errFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
err2026-01-01
err0
PREAI
errBaier, Christel; Klatt, Rio; Klueppelholz, Sascha; Lehmann, Johannes
err分享
err收藏
Interaction detection in configurable systems-A formal approach featuring roles
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2023-02-01
err3
PREAI
errChrszon, Philipp; Baier, Christel; Dubslaff, Clemens; Klueppelholz, Sascha
err分享
err收藏
Quantitative Characterization of Reconfigurable Transistor Logic Gates
errIEEE ACCESS
IF3.6
err2020-01-01
err5
errOAAI
errRaitza, Michael; Maercker, Steffen; Trommer, Jens; Heinzig, Andre; Klueppelholz, Sascha; Baier, Christel; Kumar, Akash
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
C
Christel Baier
H 指数: 43 · 论文数: 353
A
Akash Kumar
H 指数: 37 · 论文数: 577
J
Jens Trommer
H 指数: 24 · 论文数: 133
A
André Heinzig
H 指数: 22 · 论文数: 68
C
Clemens Dubslaff
H 指数: 12 · 论文数: 86
查看更多