"Jan Karlsson"@cs .