"Constantin Guys"@cs .