"Jakub Veith"@cs .