"Nguyen Hop Doan"@cs .