@inproceedings{MuHT04:0,
  title = {An Injective Language for Reversible Computation},
  author = {Shin-Cheng Mu and Zhenjiang Hu and Masato Takeichi},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=289},
  researchr = {https://researchr.org/publication/MuHT04%3A0},
  cites = {0},
  citedby = {0},
  pages = {289-313},
  booktitle = {mpc},
}

@inproceedings{WangXHZZM10,
  title = {A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models},
  author = {Bo Wang and Yingfei Xiong and Zhenjiang Hu and Haiyan Zhao and Wei Zhang and Hong Mei},
  year = {2010},
  doi = {10.1007/978-3-642-16145-2_13},
  url = {http://dx.doi.org/10.1007/978-3-642-16145-2_13},
  tags = {rule-based, systematic-approach},
  researchr = {https://researchr.org/publication/WangXHZZM10},
  cites = {0},
  citedby = {0},
  pages = {181-195},
  booktitle = {MoDELS},
}

@inproceedings{XiongSHT09,
  title = {Supporting Parallel Updates with Bidirectional Model Transformations},
  author = {Yingfei Xiong and Hui Song and Zhenjiang Hu and Masato Takeichi},
  year = {2009},
  doi = {10.1007/978-3-642-02408-5_15},
  url = {http://dx.doi.org/10.1007/978-3-642-02408-5_15},
  tags = {model-to-model transformation, bidirectional model transformations, bidirectional transformation, bidirectional model transformation, meta-model, source-to-source, model transformation, Meta-Environment, transformation},
  researchr = {https://researchr.org/publication/XiongSHT09},
  cites = {0},
  citedby = {0},
  pages = {213-228},
  booktitle = {ICMT},
}

@article{EmotoHKT07,
  title = {A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays},
  author = {Kento Emoto and Zhenjiang Hu and Kazuhiko Kakehi and Masato Takeichi},
  year = {2007},
  doi = {10.1007/s10766-007-0043-4},
  url = {http://dx.doi.org/10.1007/s10766-007-0043-4},
  tags = {composition, parallel programming},
  researchr = {https://researchr.org/publication/EmotoHKT07},
  cites = {0},
  citedby = {0},
  journal = {ijpp},
  volume = {35},
  number = {6},
  pages = {615-658},
}

@article{NakanoHT09,
  title = {Consistent Web site updating based on bidirectional transformation},
  author = {Keisuke Nakano and Zhenjiang Hu and Masato Takeichi},
  year = {2009},
  doi = {10.1007/s10009-009-0124-3},
  url = {http://dx.doi.org/10.1007/s10009-009-0124-3},
  tags = {rule-based, bidirectional transformation, transformation},
  researchr = {https://researchr.org/publication/NakanoHT09},
  cites = {0},
  citedby = {0},
  journal = {STTT},
  volume = {11},
  number = {6},
  pages = {453-468},
}

@inproceedings{XiongHZSTM09,
  title = {Supporting automatic model inconsistency fixing},
  author = {Yingfei Xiong and Zhenjiang Hu and Haiyan Zhao and Hui Song and Masato Takeichi and Hong Mei},
  year = {2009},
  doi = {10.1145/1595696.1595757},
  url = {http://doi.acm.org/10.1145/1595696.1595757},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/XiongHZSTM09},
  cites = {0},
  citedby = {0},
  pages = {315-324},
  booktitle = {FSE},
}

@inproceedings{HuITT97,
  title = {Tupling Calculation Eliminates Multiple Data Traversals},
  author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi and Akihiko Takano},
  year = {1997},
  tags = {traversal, data-flow},
  researchr = {https://researchr.org/publication/HuITT97},
  cites = {0},
  citedby = {0},
  pages = {164-175},
  booktitle = {ICFP},
}

@article{TakanoHT98,
  title = {Program Transformation in Calculational Form},
  author = {Akihiko Takano and Zhenjiang Hu and Masato Takeichi},
  year = {1998},
  doi = {10.1145/289121.289128},
  url = {http://doi.acm.org/10.1145/289121.289128},
  tags = {transformation, program transformation},
  researchr = {https://researchr.org/publication/TakanoHT98},
  cites = {0},
  citedby = {0},
  journal = {ACM Comput. Surv.},
  volume = {30},
  number = {3es},
  pages = {7},
}

@inproceedings{HuYT06,
  title = {Program Optimizations and Transformations in Calculation Form},
  author = {Zhenjiang Hu and Tetsuo Yokoyama and Masato Takeichi},
  year = {2006},
  doi = {10.1007/11877028_5},
  url = {http://dx.doi.org/10.1007/11877028_5},
  tags = {optimization, program optimization, transformation, program transformation},
  researchr = {https://researchr.org/publication/HuYT06},
  cites = {0},
  citedby = {0},
  pages = {144-168},
  booktitle = {GTTSE},
}

@inproceedings{ChinTH98,
  title = {Parallelization via Context Preservation},
  author = {Wei-Ngan Chin and Akihiko Takano and Zhenjiang Hu},
  year = {1998},
  url = {http://computer.org/proceedings/iccl/8454/84540153abs.htm},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/ChinTH98},
  cites = {0},
  citedby = {0},
  pages = {153},
  booktitle = {iccl},
}

@inproceedings{MatsudaMHT10,
  title = {A Grammar-Based Approach to Invertible Programs},
  author = {Kazutaka Matsuda and Shin-Cheng Mu and Zhenjiang Hu and Masato Takeichi},
  year = {2010},
  doi = {10.1007/978-3-642-11957-6_24},
  url = {http://dx.doi.org/10.1007/978-3-642-11957-6_24},
  tags = {rule-based, systematic-approach, grammar},
  researchr = {https://researchr.org/publication/MatsudaMHT10},
  cites = {0},
  citedby = {0},
  pages = {448-467},
  booktitle = {ESOP},
}

@inproceedings{MuHT04,
  title = {An Algebraic Approach to Bi-directional Updating},
  author = {Shin-Cheng Mu and Zhenjiang Hu and Masato Takeichi},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3302&spage=2},
  tags = { algebra, systematic-approach},
  researchr = {https://researchr.org/publication/MuHT04},
  cites = {0},
  citedby = {0},
  pages = {2-20},
  booktitle = {aplas},
}

@article{MatsuzakiHKT05,
  title = {Systematic Derivation of Tree Contraction Algorithms},
  author = {Kiminori Matsuzaki and Zhenjiang Hu and Kazuhiko Kakehi and Masato Takeichi},
  year = {2005},
  doi = {10.1142/S0129626405002246},
  url = {http://dx.doi.org/10.1142/S0129626405002246},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/MatsuzakiHKT05},
  cites = {0},
  citedby = {0},
  journal = {ppl},
  volume = {15},
  number = {3},
  pages = {321-336},
}

@inproceedings{VoigtlanderHMW10,
  title = {Combining syntactic and semantic bidirectionalization},
  author = {Janis Voigtländer and Zhenjiang Hu and Kazutaka Matsuda and Meng Wang},
  year = {2010},
  doi = {10.1145/1863543.1863571},
  url = {http://doi.acm.org/10.1145/1863543.1863571},
  tags = {source-to-source, consistency, systematic-approach, open-source},
  researchr = {https://researchr.org/publication/VoigtlanderHMW10},
  cites = {0},
  citedby = {0},
  pages = {181-192},
  booktitle = {ICFP},
}

@inproceedings{HidakaHIKMN10,
  title = {Bidirectionalizing graph transformations},
  author = {Soichiro Hidaka and Zhenjiang Hu and Kazuhiro Inaba and Hiroyuki Kato and Kazutaka Matsuda and Keisuke Nakano},
  year = {2010},
  doi = {10.1145/1863543.1863573},
  url = {http://doi.acm.org/10.1145/1863543.1863573},
  tags = {graph transformation, graph-rewriting, rewriting, transformation},
  researchr = {https://researchr.org/publication/HidakaHIKMN10},
  cites = {0},
  citedby = {0},
  pages = {205-216},
  booktitle = {ICFP},
}

@inproceedings{ChinH02,
  title = {Towards a Modular Program Derivation via Fusion and Tupling},
  author = {Wei-Ngan Chin and Zhenjiang Hu},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2487/24870140.htm},
  researchr = {https://researchr.org/publication/ChinH02},
  cites = {0},
  citedby = {0},
  pages = {140-155},
  booktitle = {GPCE},
}

@inproceedings{HuIT02:0,
  title = {An Accumulative Parallel Skeleton for All},
  author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2305/23050083.htm},
  researchr = {https://researchr.org/publication/HuIT02%3A0},
  cites = {0},
  citedby = {0},
  pages = {83-97},
  booktitle = {ESOP},
}

@inproceedings{MatsudaHNHT07,
  title = {Bidirectionalization transformation based on automatic derivation of view complement functions},
  author = {Kazutaka Matsuda and Zhenjiang Hu and Keisuke Nakano and Makoto Hamana and Masato Takeichi},
  year = {2007},
  doi = {10.1145/1291151.1291162},
  url = {http://doi.acm.org/10.1145/1291151.1291162},
  tags = {rule-based, transformation},
  researchr = {https://researchr.org/publication/MatsudaHNHT07},
  cites = {0},
  citedby = {0},
  pages = {47-58},
  booktitle = {ICFP},
}

@inproceedings{HidakaHKN09:0,
  title = {Towards a compositional approach to model transformation for software development},
  author = {Soichiro Hidaka and Zhenjiang Hu and Hiroyuki Kato and Keisuke Nakano},
  year = {2009},
  doi = {10.1145/1529282.1529383},
  url = {http://doi.acm.org/10.1145/1529282.1529383},
  tags = {model-to-model transformation, meta-model, composition, model-driven development, source-to-source, model transformation, Meta-Environment, systematic-approach, transformation},
  researchr = {https://researchr.org/publication/HidakaHKN09%3A0},
  cites = {0},
  citedby = {0},
  pages = {468-475},
  booktitle = {SAC},
}

@inproceedings{HuIT96:2,
  title = {Cheap Tupling in Calculational Form},
  author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi},
  year = {1996},
  researchr = {https://researchr.org/publication/HuIT96%3A2},
  cites = {0},
  citedby = {0},
  pages = {471-472},
  booktitle = {plilp},
}

@inproceedings{HuMT04,
  title = {A programmable editor for developing structured documents based on bidirectional transformations},
  author = {Zhenjiang Hu and Shin-Cheng Mu and Masato Takeichi},
  year = {2004},
  doi = {10.1145/1014007.1014025},
  url = {http://doi.acm.org/10.1145/1014007.1014025},
  tags = {rule-based, bidirectional transformation, transformation, program transformation},
  researchr = {https://researchr.org/publication/HuMT04},
  cites = {0},
  citedby = {0},
  pages = {178-189},
  booktitle = {PEPM},
}

@article{HuT99,
  title = {Calculating an Optimal Homomorphic Algorithm for Bracket Matching},
  author = {Zhenjiang Hu and Masato Takeichi},
  year = {1999},
  doi = {10.1142/S0129626499000311},
  url = {http://dx.doi.org/10.1142/S0129626499000311},
  researchr = {https://researchr.org/publication/HuT99},
  cites = {0},
  citedby = {0},
  journal = {ppl},
  volume = {9},
  number = {3},
  pages = {335-345},
}

@article{HuIT97,
  title = {Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms},
  author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi},
  year = {1997},
  doi = {10.1145/256167.256201},
  url = {http://doi.acm.org/10.1145/256167.256201},
  tags = {parallel programming},
  researchr = {https://researchr.org/publication/HuIT97},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {19},
  number = {3},
  pages = {444-461},
}

@inproceedings{HidakaHKN09,
  title = {A compositional approach to bidirectional model transformation},
  author = {Soichiro Hidaka and Zhenjiang Hu and Hiroyuki Kato and Keisuke Nakano},
  year = {2009},
  doi = {10.1109/ICSE-COMPANION.2009.5070990},
  url = {http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5070990},
  tags = {model-to-model transformation, bidirectional model transformations, bidirectional transformation, bidirectional model transformation, meta-model, composition, source-to-source, model transformation, Meta-Environment, systematic-approach, transformation},
  researchr = {https://researchr.org/publication/HidakaHKN09},
  cites = {0},
  citedby = {0},
  pages = {235-238},
  booktitle = {ICSE},
}

@inproceedings{HuIT96:1,
  title = {Deriving Structural Hylomorphisms From Recursive Definitions},
  author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi},
  year = {1996},
  researchr = {https://researchr.org/publication/HuIT96%3A1},
  cites = {0},
  citedby = {0},
  pages = {73-82},
  booktitle = {ICFP},
}

@inproceedings{WangGMH10,
  title = {Gradual Refinement},
  author = {Meng Wang and Jeremy Gibbons and Kazutaka Matsuda and Zhenjiang Hu},
  year = {2010},
  doi = {10.1007/978-3-642-13321-3_22},
  url = {http://dx.doi.org/10.1007/978-3-642-13321-3_22},
  tags = {refinement},
  researchr = {https://researchr.org/publication/WangGMH10},
  cites = {0},
  citedby = {0},
  pages = {397-425},
  booktitle = {mpc},
}

@inproceedings{LiuHT07,
  title = {Bidirectional interpretation of XQuery},
  author = {Dongxi Liu and Zhenjiang Hu and Masato Takeichi},
  year = {2007},
  doi = {10.1145/1244381.1244386},
  url = {http://doi.acm.org/10.1145/1244381.1244386},
  tags = {XQuery},
  researchr = {https://researchr.org/publication/LiuHT07},
  cites = {0},
  citedby = {0},
  pages = {21-30},
  booktitle = {PEPM},
}

@inproceedings{YokoyamaHT02,
  title = {Yicho - A System for Programming Program Calculations},
  author = {Tetsuo Yokoyama and Zhenjiang Hu and Masato Takeichi},
  year = {2002},
  tags = {programming},
  researchr = {https://researchr.org/publication/YokoyamaHT02},
  cites = {0},
  citedby = {0},
  pages = {366-382},
  booktitle = {aplas},
}

@inproceedings{IwasakiHT98,
  title = {Towards Manipulation of Mutually Recursive Functions},
  author = {Hideya Iwasaki and Zhenjiang Hu and Masato Takeichi},
  year = {1998},
  researchr = {https://researchr.org/publication/IwasakiHT98},
  cites = {0},
  citedby = {0},
  pages = {61-79},
  booktitle = {FLOPS},
}

@inproceedings{EmotoHKMT10,
  title = {Generators-of-Generators Library with Optimization Capabilities in Fortress},
  author = {Kento Emoto and Zhenjiang Hu and Kazuhiko Kakehi and Kiminori Matsuzaki and Masato Takeichi},
  year = {2010},
  doi = {10.1007/978-3-642-15291-7_4},
  url = {http://dx.doi.org/10.1007/978-3-642-15291-7_4},
  tags = {optimization},
  researchr = {https://researchr.org/publication/EmotoHKMT10},
  cites = {0},
  citedby = {0},
  pages = {26-37},
  booktitle = {europar},
}

@article{HuMT08,
  title = {A programmable editor for developing structured documents based on bidirectional transformations},
  author = {Zhenjiang Hu and Shin-Cheng Mu and Masato Takeichi},
  year = {2008},
  doi = {10.1007/s10990-008-9025-5},
  url = {http://dx.doi.org/10.1007/s10990-008-9025-5},
  tags = {rule-based, bidirectional transformation, transformation, program transformation},
  researchr = {https://researchr.org/publication/HuMT08},
  cites = {0},
  citedby = {0},
  journal = {lisp},
  volume = {21},
  number = {1-2},
  pages = {89-118},
}

@article{YokoyamaHT04,
  title = {Deterministic second-order patterns},
  author = {Tetsuo Yokoyama and Zhenjiang Hu and Masato Takeichi},
  year = {2004},
  doi = {10.1016/j.ipl.2003.12.008},
  url = {http://dx.doi.org/10.1016/j.ipl.2003.12.008},
  researchr = {https://researchr.org/publication/YokoyamaHT04},
  cites = {0},
  citedby = {0},
  journal = {ipl},
  volume = {89},
  number = {6},
  pages = {309-314},
}

@inproceedings{KatoHHNI10,
  title = {Context-Preserving XQuery Fusion},
  author = {Hiroyuki Kato and Soichiro Hidaka and Zhenjiang Hu and Keisuke Nakano and Yasunori Ishihara},
  year = {2010},
  doi = {10.1007/978-3-642-17164-2_18},
  url = {http://dx.doi.org/10.1007/978-3-642-17164-2_18},
  tags = {XQuery, context-aware},
  researchr = {https://researchr.org/publication/KatoHHNI10},
  cites = {0},
  citedby = {0},
  pages = {255-270},
  booktitle = {aplas},
}

@inproceedings{HuTI99,
  title = {Diffusion: Calculating Efficient Parallel Programs},
  author = {Zhenjiang Hu and Masato Takeichi and Hideya Iwasaki},
  year = {1999},
  tags = {parallel programming, programming},
  researchr = {https://researchr.org/publication/HuTI99},
  cites = {0},
  citedby = {0},
  pages = {85-94},
  booktitle = {PEPM},
}

@inproceedings{Wang:MoDELS:2010,
  title = {A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models},
  author = {Wang and Xiong and Zhenjiang Hu and Zhao and Zhang and Mei},
  year = {2010},
  tags = {rule-based, systematic-approach},
  researchr = {https://researchr.org/publication/Wang%3AMoDELS%3A2010},
  cites = {0},
  citedby = {0},
  booktitle = {MoDELS},
}

@inproceedings{SasanoHT01,
  title = {Generation of Efficient Programs for Solving Maximum Multi-marking Problems},
  author = {Isao Sasano and Zhenjiang Hu and Masato Takeichi},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2196/21960072.htm},
  researchr = {https://researchr.org/publication/SasanoHT01},
  cites = {0},
  citedby = {0},
  pages = {72-91},
  booktitle = {saig},
}

@inproceedings{MoritaMMHT07,
  title = {Automatic inversion generates divide-and-conquer parallel programs},
  author = {Kazutaka Morita and Akimasa Morihata and Kiminori Matsuzaki and Zhenjiang Hu and Masato Takeichi},
  year = {2007},
  doi = {10.1145/1250734.1250752},
  url = {http://doi.acm.org/10.1145/1250734.1250752},
  tags = {parallel programming, programming},
  researchr = {https://researchr.org/publication/MoritaMMHT07},
  cites = {0},
  citedby = {0},
  pages = {146-155},
  booktitle = {PLDI},
}

@inproceedings{MatsuzakiIEH06,
  title = {A library of constructive skeletons for sequential style of parallel programming},
  author = {Kiminori Matsuzaki and Hideya Iwasaki and Kento Emoto and Zhenjiang Hu},
  year = {2006},
  doi = {10.1145/1146847.1146860},
  url = {http://doi.acm.org/10.1145/1146847.1146860},
  tags = {parallel programming, programming},
  researchr = {https://researchr.org/publication/MatsuzakiIEH06},
  cites = {0},
  citedby = {0},
  pages = {13},
  booktitle = {infoscale},
}

@inproceedings{SongXCHHM09,
  title = {Generating Synchronization Engines between Running Systems and Their Model-Based Views},
  author = {Hui Song and Yingfei Xiong and Franck Chauvel and Gang Huang and Zhenjiang Hu and Hong Mei},
  year = {2009},
  doi = {10.1007/978-3-642-12261-3_14},
  url = {http://dx.doi.org/10.1007/978-3-642-12261-3_14},
  tags = {rule-based, synchronization},
  researchr = {https://researchr.org/publication/SongXCHHM09},
  cites = {0},
  citedby = {0},
  pages = {140-154},
  booktitle = {MoDELS},
}

@inproceedings{SasanoOH05,
  title = {Maximum Marking Problems with Accumulative Weight Functions},
  author = {Isao Sasano and Mizuhito Ogawa and Zhenjiang Hu},
  year = {2005},
  doi = {10.1007/11560647_37},
  url = {http://dx.doi.org/10.1007/11560647_37},
  researchr = {https://researchr.org/publication/SasanoOH05},
  cites = {0},
  citedby = {0},
  pages = {562-578},
  booktitle = {ictac},
}

@inproceedings{MatsuzakiHT02,
  title = {Implementation of Parallel Tree Skeletons on Distributed Systems},
  author = {Kiminori Matsuzaki and Zhenjiang Hu and Masato Takeichi},
  year = {2002},
  researchr = {https://researchr.org/publication/MatsuzakiHT02},
  cites = {0},
  citedby = {0},
  pages = {258-271},
  booktitle = {aplas},
}

@inproceedings{MatsuzakiHT06,
  title = {Towards automatic parallelization of tree reductions in dynamic programming},
  author = {Kiminori Matsuzaki and Zhenjiang Hu and Masato Takeichi},
  year = {2006},
  doi = {10.1145/1148109.1148116},
  url = {http://doi.acm.org/10.1145/1148109.1148116},
  tags = {parallel programming, programming},
  researchr = {https://researchr.org/publication/MatsuzakiHT06},
  cites = {0},
  citedby = {0},
  pages = {39-48},
  booktitle = {spaa},
}

@inproceedings{HuIT96,
  title = {Construction of List Homomorphisms by Tupling and Fusion},
  author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi},
  year = {1996},
  researchr = {https://researchr.org/publication/HuIT96},
  cites = {0},
  citedby = {0},
  pages = {407-418},
  booktitle = {mfcs},
}

@inproceedings{MatsuzakiKIHA04,
  title = {A Fusion-Embedded Skeleton Library},
  author = {Kiminori Matsuzaki and Kazuhiko Kakehi and Hideya Iwasaki and Zhenjiang Hu and Yoshiki Akashi},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3149&spage=644},
  researchr = {https://researchr.org/publication/MatsuzakiKIHA04},
  cites = {0},
  citedby = {0},
  pages = {644-653},
  booktitle = {europar},
}

@inproceedings{MorihataMHT09,
  title = {The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer},
  author = {Akimasa Morihata and Kiminori Matsuzaki and Zhenjiang Hu and Masato Takeichi},
  year = {2009},
  doi = {10.1145/1480881.1480905},
  url = {http://doi.acm.org/10.1145/1480881.1480905},
  researchr = {https://researchr.org/publication/MorihataMHT09},
  cites = {0},
  citedby = {0},
  pages = {177-185},
  booktitle = {POPL},
}

@inproceedings{MatsuzakiHT03,
  title = {Parallelization with Tree Skeletons},
  author = {Kiminori Matsuzaki and Zhenjiang Hu and Masato Takeichi},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2790&spage=789},
  researchr = {https://researchr.org/publication/MatsuzakiHT03},
  cites = {0},
  citedby = {0},
  pages = {789-798},
  booktitle = {europar},
}

@inproceedings{MatsudaHT09,
  title = {Type-based specialization of xml transformations},
  author = {Kazutaka Matsuda and Zhenjiang Hu and Masato Takeichi},
  year = {2009},
  doi = {10.1145/1480945.1480955},
  url = {http://doi.acm.org/10.1145/1480945.1480955},
  tags = {rule-based, XML, XML Schema, transformation},
  researchr = {https://researchr.org/publication/MatsudaHT09},
  cites = {0},
  citedby = {0},
  pages = {61-72},
  booktitle = {PEPM},
}

@article{VoigtlanderHMW13,
  title = {Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins},
  author = {Janis Voigtländer and Zhenjiang Hu and Kazutaka Matsuda and Meng Wang},
  year = {2013},
  doi = {10.1017/S0956796813000130},
  url = {http://dx.doi.org/10.1017/S0956796813000130},
  researchr = {https://researchr.org/publication/VoigtlanderHMW13},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {23},
  number = {5},
  pages = {515-551},
}

@inproceedings{KakehiHT03,
  title = {List Homomorphism with Accumulation},
  author = {Kazuhiko Kakehi and Zhenjiang Hu and Masato Takeichi},
  year = {2003},
  researchr = {https://researchr.org/publication/KakehiHT03},
  cites = {0},
  citedby = {0},
  pages = {250-259},
  booktitle = {snpd},
}

@inproceedings{KakehiHT02,
  title = {Fusion Transformation on Functional Programs of Regular Expression Types},
  author = {Kazuhiko Kakehi and Zhenjiang Hu and Masato Takeichi},
  year = {2002},
  tags = {functional programming, transformation, program transformation},
  researchr = {https://researchr.org/publication/KakehiHT02},
  cites = {0},
  citedby = {0},
  pages = {160-174},
  booktitle = {aplas},
}

@inproceedings{HuIT02,
  title = {Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem},
  author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi},
  year = {2002},
  tags = {transformation},
  researchr = {https://researchr.org/publication/HuIT02},
  cites = {0},
  citedby = {0},
  pages = {246-257},
  booktitle = {aplas},
}

@inproceedings{HuIT96:0,
  title = {Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem},
  author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi},
  year = {1996},
  tags = {parallel programming},
  researchr = {https://researchr.org/publication/HuIT96%3A0},
  cites = {0},
  citedby = {0},
  pages = {553-562},
  booktitle = {europar},
}

@inproceedings{HuTC98,
  title = {Parallelization in Calculational Forms},
  author = {Zhenjiang Hu and Masato Takeichi and Wei-Ngan Chin},
  year = {1998},
  doi = {10.1145/268946.268972},
  url = {http://doi.acm.org/10.1145/268946.268972},
  researchr = {https://researchr.org/publication/HuTC98},
  cites = {0},
  citedby = {0},
  pages = {316-328},
  booktitle = {POPL},
}

@article{HuIT99,
  title = {Calculating Accumulations},
  author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi},
  year = {1999},
  researchr = {https://researchr.org/publication/HuIT99},
  cites = {0},
  citedby = {0},
  journal = {ngc},
  volume = {17},
  number = {2},
  pages = {153-173},
}

@inproceedings{OnoueHIT97,
  title = {A calculational fusion system HYLO},
  author = {Yoshiyuki Onoue and Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi},
  year = {1997},
  researchr = {https://researchr.org/publication/OnoueHIT97},
  cites = {0},
  citedby = {0},
  pages = {76-106},
  booktitle = {alc},
}

@inproceedings{HuIT01,
  title = {An Accumulative Parallel Skeleton for All},
  author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi},
  year = {2001},
  researchr = {https://researchr.org/publication/HuIT01},
  cites = {0},
  citedby = {0},
  pages = {89-101},
  booktitle = {aplas},
}

@inproceedings{MorihataKHT06,
  title = {Swapping Arguments and Results of Recursive Functions},
  author = {Akimasa Morihata and Kazuhiko Kakehi and Zhenjiang Hu and Masato Takeichi},
  year = {2006},
  doi = {10.1007/11783596_22},
  url = {http://dx.doi.org/10.1007/11783596_22},
  researchr = {https://researchr.org/publication/MorihataKHT06},
  cites = {0},
  citedby = {0},
  pages = {379-396},
  booktitle = {mpc},
}

@article{IwasakiH04,
  title = {A New Parallel Skeleton for General Accumulative Computations},
  author = {Hideya Iwasaki and Zhenjiang Hu},
  year = {2004},
  url = {http://www.springerlink.com/index/10.1023/B:IJPP.0000038069.80050.74},
  researchr = {https://researchr.org/publication/IwasakiH04},
  cites = {0},
  citedby = {0},
  journal = {ijpp},
  volume = {32},
  number = {5},
  pages = {389-414},
}

@inproceedings{EmotoMHT07,
  title = {Domain-Specific Optimization Strategy for Skeleton Programs},
  author = {Kento Emoto and Kiminori Matsuzaki and Zhenjiang Hu and Masato Takeichi},
  year = {2007},
  doi = {10.1007/978-3-540-74466-5_74},
  url = {http://dx.doi.org/10.1007/978-3-540-74466-5_74},
  tags = {optimization, program optimization},
  researchr = {https://researchr.org/publication/EmotoMHT07},
  cites = {0},
  citedby = {0},
  pages = {705-714},
  booktitle = {europar},
}

@inproceedings{HayashiLEMHT07,
  title = {A Web Service Architecture for Bidirectional XML Updating},
  author = {Yasushi Hayashi and Dongxi Liu and Kento Emoto and Kazutaka Matsuda and Zhenjiang Hu and Masato Takeichi},
  year = {2007},
  doi = {10.1007/978-3-540-72524-4_74},
  url = {http://dx.doi.org/10.1007/978-3-540-72524-4_74},
  tags = {XML, XML Schema, web service, architecture},
  researchr = {https://researchr.org/publication/HayashiLEMHT07},
  cites = {0},
  citedby = {0},
  pages = {721-732},
  booktitle = {waim},
}

@inproceedings{CzarneckiFHLST09,
  title = {Bidirectional Transformations: A Cross-Discipline Perspective},
  author = {Krzysztof Czarnecki and J. Nathan Foster and Zhenjiang Hu and ralf-lämmel and andy-schürr and James F. Terwilliger},
  year = {2009},
  doi = {10.1007/978-3-642-02408-5_19},
  url = {http://dx.doi.org/10.1007/978-3-642-02408-5_19},
  tags = {bidirectional transformation, survey, e-science, transformation},
  researchr = {https://researchr.org/publication/CzarneckiFHLST09},
  cites = {142},
  citedby = {0},
  pages = {260-283},
  booktitle = {ICMT},
}
@proceedings{aplas-2009,
  title = {Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings},
  year = {2009},
  doi = {10.1007/978-3-642-10672-9},
  url = {http://dx.doi.org/10.1007/978-3-642-10672-9},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/aplas-2009},
  cites = {0},
  citedby = {0},
  booktitle = {Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings},
  conference = {aplas},
  editor = {Zhenjiang Hu},
  volume = {5904},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-10671-2},
}