Graph Automorphism-Based Algorithm for Determining Symmetric Inputs. - Chen-Ling Chou; Chun-Yao Wang; Geeng-Wei Lee; Jing-Yang Jou (ICCD, 2004)

Verification on Port Connections. - Geeng-Wei Lee; Juinn-Dar Huang; Jing-Yang Jou; Chun-Yao Wang (ITC, 2004)

A real-time and bandwidth guaranteed arbitration algorithm for SoC bus communication. - Chien-Hua Chen; Geeng-Wei Lee; Juinn-Dar Huang; Jing-Yang Jou (ASP-DAC, 2006)

A Precise Bandwidth Control Arbitration Algorithm for Hard Real-Time SoC Buses. - Bu-Ching Lin; Geeng-Wei Lee; Juinn-Dar Huang; Jing-Yang Jou (ASP-DAC, 2007)

Verification of Pin-Accurate Port Connections. - Geeng-Wei Lee; Juinn-Dar Huang; Chun-Yao Wang; Jing-Yang Jou (IEEE Des. Test Comput., 2008)