"Martin Roh"@cs .