"Matteo Ritz"@cs .