公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2016 | Formal derivation of greedy algorithms from relational specifications: a tutorial | Yu-Hsi Chiang; Shin-Cheng Mu | Journal of Logic and Algebraic Programming 85(5, part2), 879–905 | |||
2016 | Queueing and glueing for optimal partitioning | Shin-Cheng Mu; Yu-Hsi Chiang; Yu-Han Lyu |