"Florian Rinnerthaler"@cs .