The SCEAS System
Navigation Menu

Search the dblp DataBase


Shin-Cheng Mu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu
    Algebraic Methods for Optimization Problems. [Citation Graph (0, 0)][DBLP]
    Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000, pp:281-308 [Conf]
  2. Shin-Cheng Mu
    On Building Trees with Minimum Height, Relationally. [Citation Graph (0, 0)][DBLP]
    APLAS, 2000, pp:153-162 [Conf]
  3. Shin-Cheng Mu, Richard S. Bird
    Functional Quantum Programming. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:75-88 [Conf]
  4. Shin-Cheng Mu, Richard S. Bird
    Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion. [Citation Graph (0, 0)][DBLP]
    APLAS, 2003, pp:265-282 [Conf]
  5. Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
    An Algebraic Approach to Bi-directional Updating. [Citation Graph (0, 0)][DBLP]
    APLAS, 2004, pp:2-20 [Conf]
  6. Keisuke Nakano, Shin-Cheng Mu
    A Pushdown Machine for Recursive XML Processing. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:340-356 [Conf]
  7. Shin-Cheng Mu, Richard S. Bird
    Inverting Functions as Folds. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:209-232 [Conf]
  8. Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
    An Injective Language for Reversible Computation. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:289-313 [Conf]
  9. Tyng-Ruey Chuang, Shin-Cheng Mu
    Out-of-Core Functional Programming with Type-Based Primitives. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:32-46 [Conf]
  10. Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
    A programmable editor for developing structured documents based on bidirectional transformations. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:178-189 [Conf]
  11. Richard S. Bird, Shin-Cheng Mu
    Inverting the Burrows-Wheeler transform. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:6, pp:603-612 [Journal]
  12. Richard S. Bird, Shin-Cheng Mu
    Countdown: A case study in Origami programming. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2005, v:15, n:5, pp:679-702 [Journal]
  13. Shin-Cheng Mu, Richard S. Bird
    Theory and applications of inverting functions as folds. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:51, n:1-2, pp:87-116 [Journal]

  14. A Grammar-Based Approach to Invertible Programs. [Citation Graph (, )][DBLP]

  15. Algebra of Programming Using Dependent Types. [Citation Graph (, )][DBLP]

  16. Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths. [Citation Graph (, )][DBLP]

  17. XML Stream Processing Using a Lazy Concurrent Language. [Citation Graph (, )][DBLP]

Search in 0.035secs, Finished in 0.036secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002