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

Dominic Steinhöfel

Saarland University

8H-index
25Paper Count
192Citation Count
Published Papers 2
Publication Date
logo
Certified Cost Bounds for Abstract Programs
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2025-02-23
err0
errOAAI
errAlbert, E; Hähnle, R; Merayo, A; Steinhöfel, D
errShare
errSave
Language-Based Software Testing
errCOMMUNICATIONS OF THE ACM
IF12.2
err2024-03-25
err2
errOAAI
errSteinhofel, Dominic; Zeller, Andreas
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
A
Andreas Zeller
H-index: 66 · Papers: 415
R
Reiner Hähnle
H-index: 34 · Papers: 281
E
Elvira Albert
H-index: 28 · Papers: 206
A
Alicia Merayo Corcoba
H-index: 1 · Papers: 3
All loaded