| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
| 2010 | A grammar-based approach to invertible programs | Matsuda, Kazutaka; Mu, Shin-Cheng; Hu, Zhenjiang; Takeichi, Masato | | | | |
| 2010 | Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning | Mu, Shin-Cheng; Lyu, Yu-Han; Morihata, Akimasa | | | | |
| 2011 | Constructing list homomorphisms from proofs | Chi, Yun-Yan; Mu, Shin-Cheng | | | | |
| 2011 | Generalising and Dualising the Third List-Homomorphism Theorem | Mu, Shin-Cheng; Morihata, Akimasa | | | | |
| 2000 | Out-of-core functional programming with type-based primitives | Chuang, Tyng-Ruey; Mu, Shin-Cheng | | | | |
| 2011 | Programming from Galois Connections | Mu, Shin-Cheng; Oliveira, Jose Nuno | | | | |
| 2012 | Programming from Galois connections | Mu, Shin-Cheng; Oliveira, José Nuno | Journal of Logic and Algebraic Programming 81, 680–704 | | | |
