"Andrea Pazienza"@cs .