"Trude Beiser"@cs .