Statistics
Publications
1
Citations
41
H-Index
1
Active since
2013
Affiliations
Aalborg University(Current)
Henrik Søndberg Karlsen is an author at Aalborg University specializing in deductive verification, programming languages, and bytecode representation.
Publications per year
2013–2013
1
1
Formalisation and analysis of Dalvik bytecode
Erik Ramsgaard Wognsen, Henrik Søndberg Karlsen, Mads Chr. Olesen et al. · Science of Computer Programming · 2013 · 41 citations
1–1 of 1