"Mathias Braschler"@cs .