The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
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.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002