"Knup"@cs . "Adrian Knup"@cs .