"Axel Heiberg"@cs .