The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Zhenjiang Hu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    A calculational fusion system HYLO. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:76-106 [Conf]
  2. Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi
    Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:58-73 [Conf]
  3. Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
    Fusion Transformation on Functional Programs of Regular Expression Types. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:160-174 [Conf]
  4. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Implementation of Parallel Tree Skeletons on Distributed Systems. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:258-271 [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. Takuma Murakami, Zhenjiang Hu, Masato Takeichi
    An Optimal Staging Algorithm. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:272-284 [Conf]
  7. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    An Accumulative Parallel Skeleton for All. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:89-101 [Conf]
  8. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:246-257 [Conf]
  9. Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu
    A Type-Based Approach to Parallelization (preliminary report). [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:175-192 [Conf]
  10. Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu
    PType System: A Featherweight Parallelizability Detector. [Citation Graph (0, 0)][DBLP]
    APLAS, 2004, pp:197-212 [Conf]
  11. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
    Yicho - A System for Programming Program Calculations. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:366-382 [Conf]
  12. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
    Mining Optimized Ranges. [Citation Graph (0, 0)][DBLP]
    APLAS, 2000, pp:119-127 [Conf]
  13. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
    A Compositional Framework for Querying Optimized Ranges. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:363-376 [Conf]
  14. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
    A Compositional Framework for Mining Longest Ranges. [Citation Graph (0, 0)][DBLP]
    Discovery Science, 2002, pp:406-413 [Conf]
  15. Dongxi Liu, Zhenjiang Hu, Masato Takeichi
    An environment for maintaining computation dependency in XML documents. [Citation Graph (0, 0)][DBLP]
    ACM Symposium on Document Engineering, 2005, pp:42-51 [Conf]
  16. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    An Accumulative Parallel Skeleton for All. [Citation Graph (0, 0)][DBLP]
    ESOP, 2002, pp:83-97 [Conf]
  17. Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2006, pp:605-614 [Conf]
  18. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem. [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. I, 1996, pp:553-562 [Conf]
  19. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Parallelization with Tree Skeletons. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2003, pp:789-798 [Conf]
  20. Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi
    A Fusion-Embedded Skeleton Library. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2004, pp:644-653 [Conf]
  21. Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi
    Towards Manipulation of Mutually Recursive Functions. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1998, pp:61-79 [Conf]
  22. Wei-Ngan Chin, Zhenjiang Hu
    Towards a Modular Program Derivation via Fusion and Tupling. [Citation Graph (0, 0)][DBLP]
    GPCE, 2002, pp:140-155 [Conf]
  23. Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu
    Parallelization via Context Preservation. [Citation Graph (0, 0)][DBLP]
    ICCL, 1998, pp:153-0 [Conf]
  24. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Deriving Structural Hylomorphisms From Recursive Definitions. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:73-82 [Conf]
  25. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano
    Tupling Calculation Eliminates Multiple Data Traversals. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:164-175 [Conf]
  26. Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano
    Iterative-free program analysis. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:111-123 [Conf]
  27. Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa
    Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. [Citation Graph (0, 0)][DBLP]
    ICFP, 2000, pp:137-149 [Conf]
  28. Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu
    Maximum Marking Problems with Accumulative Weight Functions. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:562-578 [Conf]
  29. Yixiong Liang, Weiguo Gong, Yingjun Pan, Weihong Li, Zhenjiang Hu
    Gabor Features-Based Classification Using SVM for Face Recognition. [Citation Graph (0, 0)][DBLP]
    ISNN (2), 2005, pp:118-123 [Conf]
  30. Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
    An Efficient Staging Algorithm for Binding-Time Analysis. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2003, pp:106-107 [Conf]
  31. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
    Deterministic Higher-Order Patterns for Program Transformation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2003, pp:128-142 [Conf]
  32. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Construction of List Homomorphisms by Tupling and Fusion. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:407-418 [Conf]
  33. Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
    An Injective Language for Reversible Computation. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:289-313 [Conf]
  34. Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
    Swapping Arguments and Results of Recursive Functions. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:379-396 [Conf]
  35. Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
    Calculating a New Data Mining Algorithm for Market Basket Analysis. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:169-184 [Conf]
  36. Seiichi Adachi, Hideya Iwasaki, Zhenjiang Hu
    Diff: A Powerful Parallel Skeleton. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2000, pp:- [Conf]
  37. 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]
  38. Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki
    Diffusion: Calculating Efficient Parallel Programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1999, pp:85-94 [Conf]
  39. Dongxi Liu, Zhenjiang Hu, Masato Takeichi
    Bidirectional interpretation of XQuery. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:21-30 [Conf]
  40. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Cheap Tupling in Calculational Form. [Citation Graph (0, 0)][DBLP]
    PLILP, 1996, pp:471-472 [Conf]
  41. Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin
    Parallelization in Calculational Forms. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:316-328 [Conf]
  42. Isao Sasano, Zhenjiang Hu, Masato Takeichi
    Generation of Efficient Programs for Solving Maximum Multi-marking Problems. [Citation Graph (0, 0)][DBLP]
    SAIG, 2001, pp:72-91 [Conf]
  43. Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi
    Deriving Parallel Codes via Invariants. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:75-94 [Conf]
  44. Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
    List Homomorphism with Accumulation. [Citation Graph (0, 0)][DBLP]
    SNPD, 2003, pp:250-259 [Conf]
  45. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Towards automatic parallelization of tree reductions in dynamic programming. [Citation Graph (0, 0)][DBLP]
    SPAA, 2006, pp:39-48 [Conf]
  46. Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi
    Program Optimizations and Transformations in Calculation Form. [Citation Graph (0, 0)][DBLP]
    GTTSE, 2006, pp:144-168 [Conf]
  47. Akihiko Takano, Zhenjiang Hu, Masato Takeichi
    Program Transformation in Calculational Form. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:7- [Journal]
  48. Hideya Iwasaki, Zhenjiang Hu
    A New Parallel Skeleton for General Accumulative Computations. [Citation Graph (0, 0)][DBLP]
    International Journal of Parallel Programming, 2004, v:32, n:5, pp:389-414 [Journal]
  49. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
    Deterministic second-order patterns. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2004, v:89, n:6, pp:309-314 [Journal]
  50. Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
    Calculating a New Data Mining Algorithm for Market Basket Analysis. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 2001, v:2001, n:8, pp:- [Journal]
  51. Zhenjiang Hu, Mario Rodríguez-Artalejo
    Editorial: the Sixth International Symposium on Functional and Logic Programming. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 2003, v:2003, n:, pp:- [Journal]
  52. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Calculating Accumulations. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1999, v:17, n:2, pp:153-173 [Journal]
  53. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Parallel skeletons for manipulating general trees. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 2006, v:32, n:7-8, pp:590-603 [Journal]
  54. Zhenjiang Hu, Masato Takeichi
    Calculating an Optimal Homomorphic Algorithm for Bracket Matching. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 1999, v:9, n:3, pp:335-345 [Journal]
  55. Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
    Systematic Derivation of Tree Contraction Algorithms. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2005, v:15, n:3, pp:321-336 [Journal]
  56. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1997, v:19, n:3, pp:444-461 [Journal]
  57. Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Domain-Specific Optimization Strategy for Skeleton Programs. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2007, pp:705-714 [Conf]
  58. Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi
    Bidirectionalization transformation based on automatic derivation of view complement functions. [Citation Graph (0, 0)][DBLP]
    ICFP, 2007, pp:47-58 [Conf]
  59. Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Automatic inversion generates divide-and-conquer parallel programs. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:146-155 [Conf]
  60. Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
    A Web Service Architecture for Bidirectional XML Updating. [Citation Graph (0, 0)][DBLP]
    APWeb/WAIM, 2007, pp:721-732 [Conf]

  61. Enforcing a security pattern in stakeholder goal models. [Citation Graph (, )][DBLP]


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


  63. Generators-of-Generators Library with Optimization Capabilities in Fortress. [Citation Graph (, )][DBLP]


  64. A compositional approach to bidirectional model transformation. [Citation Graph (, )][DBLP]


  65. Towards automatic model synchronization from model transformations. [Citation Graph (, )][DBLP]


  66. Generating Synchronization Engines between Running Systems and Their Model-Based Views. [Citation Graph (, )][DBLP]


  67. A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models. [Citation Graph (, )][DBLP]


  68. Gradual Refinement. [Citation Graph (, )][DBLP]


  69. Type-based specialization of xml transformations. [Citation Graph (, )][DBLP]


  70. The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. [Citation Graph (, )][DBLP]


  71. Towards a compositional approach to model transformation for software development. [Citation Graph (, )][DBLP]


  72. Supporting automatic model inconsistency fixing. [Citation Graph (, )][DBLP]


  73. A library of constructive skeletons for sequential style of parallel programming. [Citation Graph (, )][DBLP]


  74. Bidirectional Transformations: A Cross-Discipline Perspective. [Citation Graph (, )][DBLP]


  75. Supporting Parallel Updates with Bidirectional Model Transformations. [Citation Graph (, )][DBLP]


Search in 0.023secs, Finished in 0.027secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002