Publications of Hendrik Strobelt