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

Michael Norrish

Australian National University

23H-index
112Paper Count
4.1KCitation Count
Published Papers 2
Publication Date
logo
Characterising reproducibility debt in scientific software: A systematic literature review
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2025-04-01
err0
errOAAI
errHassan, Zara; Treude, Christoph; Norrish, Michael; Williams, Graham; Potanin, Alex
errShare
errSave
seL4: Formal Verification of an Operating-System Kernel
errCOMMUNICATIONS OF THE ACM
IF12.2
err2010-06-01
err161
PREAI
errKlein, Gerwin; Andronick, June; Elphinstone, Kevin; Heiser, Gernot; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
G
Gernot Heiser
H-index: 47 · Papers: 265
G
Graham Williams
H-index: 44 · Papers: 265
C
Christoph Treude
H-index: 36 · Papers: 436
G
Gerwin Klein
H-index: 29 · Papers: 161
K
Kevin Elphinstone
H-index: 21 · Papers: 55
View more