| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2004 | A crowning moment for Wiener indices | Bo-Yin Yang; Yeong‐Nan Yeh | Studies in Applied Mathematics 112(4), 333-340 | |||
| 2017 | Certified Verification of Algebraic Properties on Low-Level Mathematical Constructs in Cryptographic Programs | Ming-Hsien Tsai; Bow-Yaw Wang; Bo-Yin Yang | ||||
| 1997 | From ternary strings to wiener indices of benezoid chains | Wen-Chung Huang; Bo-Yin Yang; Yeong-Nan Yeh | Discrete Applied Mathematics 73(2), 113 -131 | |||
| 2006 | Generalized Wiener Indices in Hexagonal Chains | Sen-Peng Eu; Bo-Yin Yang; Yeh, Yeong-Nan | International Journal of Quantum Chemistry 106(2), 426-435 | |||
| 2007 | Generalized Wiener Indices of Zigzagging Pentachains | Ivan Gutman; Weigen Yan; Yeong-Nan Yeh; Bo-Yin Yang | Journal of Mathematical Chemistry 42(2), 103-117 | |||
| 2018 | Verifying Arithmetic Assembly Programs in Cryptographic Primitives | Andy Polyakov; Ming-Hsien Tsai; Bow-Yaw Wang; Bo-Yin Yang | ||||
| 2014 | Verifying Curve25519 Software | Yu-Fang Chen; Chang-Hong Hsu; Hsin-Hung Lin; Peter Schwabe; Ming-Hsien Tsai; Bow-Yaw Wang; Bo-Yin Yang; Shang-Yi Yang |
