"Aleksander Rosner"@cs .