Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
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 |