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

Mads Dam

royal institute of technology

25H-index
123Paper Count
2.0KCitation Count
Published Papers 3
Publication Date
logo
errVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
err2026-01-01
err0
PREAI
errLindner, Andreas; Palmskog, Karl; Constable, Scott; Dam, Mads; Guanciale, Roberto; Nemati, Hamed
errShare
errSave
errJournal of Logical and Algebraic Methods in Programming
IF1.2
err2025-11-01
err0
errOAAI
errLundberg, Didrik; Guanciale, Roberto; Lindner, Andreas; Dam, Mads
errShare
errSave
errACM COMPUTING SURVEYS
IF28
err1996-06-01
err0
errOAAI
errDam, M
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
A
Andreas K. Lindner
H-index: 22 · Papers: 139
A
Andreas Lindner
H-index: 15 · Papers: 64
R
Roberto Guanciale
H-index: 13 · Papers: 79
H
Hamed Nemati
H-index: 11 · Papers: 45
D
Didrik Lundberg
H-index: 2 · Papers: 8
View more