"RWTH Aachen University"@cs .