"Jan Banner"@cs .