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

Heike Wehrheim

Carl von Ossietzky Universitat Oldenburg

27H指数
257论文数
2.5K被引数
收录论文 4
发表时间
logo
Model Checking Buffered Durable Linearizability in CSPCSP中缓冲持久线性化的模型检测
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errEdmonds, Chelsea; Derrick, John; Dongol, Brijesh; Schellhorn, Gerhard; Wehrheim, Heike
err分享
err收藏
Canonical Automata for Persistent Linearizability-A Corrigendum规范自动机用于持久线性化-勘误
errFORMAL ASPECTS OF COMPUTING
IF1.4
err2025-12-01
err0
PREAI
errWehrheim, Heike
err分享
err收藏
Software/Hardware Co-Verification for Custom Instruction Set Processors
errIEEE ACCESS
IF3.6
err2021-01-01
err1
errOAAI
errJakobs, Marie-Christine; Pauck, Felix; Platzner, Marco; Wehrheim, Heike; Wiersema, Tobias
err分享
err收藏
A Case for a New IT Ecosystem: On-The-Fly Computing
errBUSINESS & INFORMATION SYSTEMS ENGINEERING
IF10.4
err2019-12-09
err6
PREAI
errKarl, Holger; Kundisch, Dennis; Heide, Friedhelm Meyer auf der; Wehrheim, Heike
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
H
Holger Karl
H 指数: 37 · 论文数: 394
J
John Derrick
H 指数: 30 · 论文数: 312
M
Marco Platzner
H 指数: 29 · 论文数: 275
G
Gerhard Schellhorn
H 指数: 27 · 论文数: 147
D
Dennis Kundisch
H 指数: 20 · 论文数: 220
查看更多