# of records = 7
homepages/43/234 journals/todaes/ChangS07 conf/dac/ChangS05 conf/dac/ChangZNV05 journals/tcad/ChangS05 conf/patmos/ChangQS04 conf/iccad/ChangS03
XML
