"Janem Binderem"@cs . "Jan Binder"@cs .