logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
D

Dirk Beyer

University of Munich

53H-index
428Paper Count
8.9KCitation Count
Published Papers 7
Publication Date
logo
AutoSV-Annotator: Integrating Deductive and Automatic Software Verification
errFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
err2026-01-01
err0
errOAAI
errArmborst, Lukas; Beyer, Dirk; Huisman, Marieke; Lingsch-Rosenfeld, Marian
errShare
errSave
Bridging hardware and software analysis with Btor2C: a word-level-circuit-to-C translator
errInternational Journal on Software Tools for Technology Transfer
IF1.4
err2026-01-01
err0
errOAAI
errAtes, Salih; Beyer, Dirk; Chien, Po-Chun; Lee, Nian-Ze
errShare
errSave
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
errShare
errSave
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
errShare
errSave
Efficient relational calculation for software analysis
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2005-02-01
err57
errOAAI
errBeyer, D; Noack, A; Lewerentz, C
errShare
errSave
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
errShare
errSave
AN ECONOMICAL RESETTING MODEL IN CONTINUOUS-REVIEW
errINTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS
IF10
err1994-06-01
err1
PREAI
errBEYER, D; GIRLICH, HJ
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
M
Marieke Huisman
H-index: 28 · Papers: 257
T
Thomas R. Lemberger
H-index: 28 · Papers: 207
C
Claus Lewerentz
H-index: 24 · Papers: 72
M
Michael Tautschnig
H-index: 22 · Papers: 80
M
Matthias Heizmann
H-index: 20 · Papers: 60
View more