"Leifem H. Larsenem"@cs .