| 2003 | ASPDAC | Algorithms for compacting error traces. | Yirng-An Chen, Fang-Sung Chen |
| 2003 | DAC | Advanced techniques for RTL debugging. | Yu-Chin Hsu, Bassam Tabbara, Yirng-An Chen, Fur-Shing Tsai |
| 2001 | ASPDAC | Equivalence checking of integer multipliers. | Jiunn-Chern Chen, Yirng-An Chen |
| 1998 | ASPDAC | Space- and Time-Efficient BDD Construction via Working Set Control. | Bwolen Yang, Yirng-An Chen, Randal E. Bryant, David R. O'Hallaron |
| 1998 | CAV | Verification of Floating-Point Adders. | Yirng-An Chen, Randal E. Bryant |
| 1997 | ICCAD | PHDD: an efficient graph representation for floating point circuit verification. | Yirng-An Chen, Randal E. Bryant |
| 1996 | FMCAD | Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. | Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao |
| 1996 | ICCAD | ACV: an arithmetic circuit verifier. | Yirng-An Chen, Randal E. Bryant |
| 1995 | DAC | Verification of Arithmetic Circuits with Binary Moment Diagrams. | Randal E. Bryant, Yirng-An Chen |