"Andrei Stackenschneider"@cs .