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

Dirk Beyer

University of Munich

53H指数
428论文数
8.9K被引数
收录论文 7
发表时间
logo
AutoSV-Annotator: Integrating Deductive and Automatic Software VerificationAutoSV-Annotator：集成演绎与自动软件验证
errFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
err2026-01-01
err0
errOAAI
errArmborst, Lukas; Beyer, Dirk; Huisman, Marieke; Lingsch-Rosenfeld, Marian
err分享
err收藏
Bridging hardware and software analysis with Btor2C: a word-level-circuit-to-C translator通过Btor2C连接硬件和软件分析：一个字级电路到C语言的翻译器
errInternational Journal on Software Tools for Technology Transfer
IF1.4
err2026-01-01
err0
PREAI
errAtes, Salih; Beyer, Dirk; Chien, Po-Chun; Lee, Nian-Ze
err分享
err收藏
Reproducibility and replication of research results研究结果的可再现性和可复制性
errINTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
IF1.4
err2025-09-01
err0
errOAAI
errBeyer, Dirk; Hartmanns, Arnd
err分享
err收藏
Verification Witnesses
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2022-09-08
err21
errOAAI
errBeyer, Dirk; Dangl, Matthias; Dietsch, Daniel; Heizmann, Matthias; Lemberger, Thomas; Tautschnig, Michael
err分享
err收藏
Efficient relational calculation for software analysis
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2005-02-01
err57
errOAAI
errBeyer, D; Noack, A; Lewerentz, C
err分享
err收藏
Does the time shape of inventory data hold clues on inventory behaviour
errINTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS
IF10
err1996-08-01
err1
PREAI
errReinhardt, P; Beyer, D
err分享
err收藏
AN ECONOMICAL RESETTING MODEL IN CONTINUOUS-REVIEW
errINTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS
IF10
err1994-06-01
err1
PREAI
errBEYER, D; GIRLICH, HJ
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Marieke Huisman
H 指数: 28 · 论文数: 257
T
Thomas R. Lemberger
H 指数: 28 · 论文数: 207
C
Claus Lewerentz
H 指数: 24 · 论文数: 72
M
Michael Tautschnig
H 指数: 22 · 论文数: 80
M
Matthias Heizmann
H 指数: 20 · 论文数: 60
查看更多