"Jan"@cs .