"Christian Lantignotti"@cs .