"Johan Halvardsson"@cs .