"Jan Samuel Richter"@cs .