Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
2022 | Reducing NEXP-complete problems to DQBF | Chen, Fa Hsun; Huang, Shen Chang; Lu, Yu Cheng; TONY TAN | Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022 | 1 | 0 | |
2022 | The risk of subsequent malignancies in patients with renal cell carcinoma: A nationwide, population-based study | Lu, Yu Cheng; YU-CHIEH TSAI ; PO-MING CHOW ; Weng, Wen Ching; Huang, Wei Yi; SHIH-CHIEH CHUEH ; KAO-LANG LIU ; KUO-HOW HUANG | Urological Science | 0 | 0 |