| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
| 2008 | A programmable editor for developing structured documents based on bidirectional transformations | Hu, Z.; Mu, S-C.; Takeichi, M. | Higher-Order and Symbolic Computation 21 | | | |
| 2006 | A pushdown machine for recursive XML processing | Nakano, K.; Mu, S-C. | | | | |
| 2009 | Algebra of programming in Agda: dependent types for relational program derivation | Mu, S-C.; Ko, H-S.; Jansson, P. | Journal of Functional Programming 19, 545-579 | | | |
| 2008 | Algebra of programming using dependent types | Mu, S-C.; Ko, H-S.; Jansson, P. | | | | |
| 2004 | An algebraic approach to bidirectional updating | Mu, S-C.; Hu, Z.; Takeichi, M. | | | | |
| 2004 | An injective language for reversible computation | Mu, S-C.; Hu, Z.; Takeichi, M. | | | | |
| 2006 | Bidirectionalizing tree transformation languages: a case study | Mu, S-C.; Hu, Z.; Takeichi, M. | JSSST Computer Software (コンピュータソフトウェア) 23, 129-141 | | | |
| 2005 | Countdown: a case study in origami programming | Bird, R. S.; Mu, S-C. | Journal of Functional Programming 15, 679-702 | | | |
| 2002 | Inverting functions as folds | Mu, S-C.; Bird, R. S. | | | | |
| 2004 | Inverting the Burrows-Wheeler transform | Bird, R. S.; Mu, S-C. | Journal of Functional Programming 14, 603-612 | | | |
| 2001 | Inverting the Burrows-Wheeler Transform | Bird, R. S.; Mu, S-C. | | | | |
| 2008 | Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths | Mu, S-C. | | | | |
| 2000 | On building trees with minimum height, relationally | Mu, S-C.; Bird, R. S. | | | | |
| 2000 | Optimisation problems in logic programming: an algebraic approach | Seres, S.; Mu, S-C. | | | | |
| 2001 | Quantum functional programming | Mu, S-C.; Bird, R. S. | | | | |
| 2003 | Rebuilding a tree from its traversals: a case study of program inversion | Mu, S-C.; Bird, R. S. | | | | |
| 2003 | Theory and applications of inverting functions as folds | Mu, S-C.; Bird, R. S. | Science of Computer Programming 51, 87-116 | | | |
| 2008 | XML Stream Processing Using a Lazy Concurrent Language | Mu, S-C.; Tsai, T-C.; Nakano, K. | | | | |
