"Marek Halter"@cs .