"Martin Gerlitzki"@cs .