公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2012 | Termination Analysis with Algorithmic Learning | Wonchan Lee; Bow-Yaw Wang; Kwangkeun Yi | ||||
2004 | Toward Unbounded Model Checking for Region Automata | Fang Yu; Bow-Yaw Wang | ||||
2013 | VCS: A Verifier for Component-Based Systems | Fei He; Liangze Yin; Bow-Yaw Wang; Lianyi Zhang; Guanyu Mu; Wenrui Meng | ||||
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 |