Computing Minimum Feedback Vertex Sets by Contraction Operations and its Applications on CAD. - Hen-Ming Lin; Jing-Yang Jou (ICCD, 1999)

On computing the minimum feedback vertex set of a directed graph bycontraction operations. - Hen-Ming Lin; Jing-Yang Jou (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000)

On tri-state buffer inference in HDL synthesis. - Hen-Ming Lin; Jing-Yang Jou (ISCAS (5), 2001)