Chung-Yang Huang

Joint Sequence Learning and Cross-Modality Convolution for 3D Biomedical Segmentation

Kuan-Lun Tseng, Yen-Liang Lin, Winston H. Hsu et al. · 2017 · 186 citations

Computing, Biomedical Engineering, Radiology +17

AQUILA: an equivalence checking system for large sequential designs

Shi-Yu Huang, Kwang‐Ting Cheng, Kuang-Chien Chen et al. · IEEE Transactions on Computers · 2000 · 47 citations

Computing, Computer Engineering, Computer Science +17

Scalable exploration of functional dependency by interpolation and incremental SAT solving

Chih-Chun Lee, Jie-Hong R. Jiang, Chung-Yang Huang et al. · 2007 · 46 citations

Engineering, Computer Engineering, Computer Science +14

Symbolic model checking on SystemC designs

Chun‐Nan Chou, Yen-Sheng Ho, Chiao Hsieh et al. · 2012 · 41 citations

Computing, Computer Science, Systems Engineering +16

Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques

Chung-Yang Huang, Kwang‐Ting Cheng · 2000 · 38 citations · Full text

Computing, Computer Engineering, Computer Science +15