@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 = {Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
  editor = {Dexter Kozen and Carron Shankland},
  volume = {3125},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22380-0},
}

@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 = {Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I},
  editor = {Dorina C. Petriu and Nicolas Rouquette and Øystein Haugen},
  volume = {6394},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-16144-5},
}

@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 = {Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings},
  editor = {Richard F. Paige},
  volume = {5563},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02407-8},
}

@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 = {International Journal of Parallel Programming},
  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 = {Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009},
  editor = {Hans van Vliet and Valérie Issarny},
  publisher = {ACM},
  isbn = {978-1-60558-001-2},
}

@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 Computing Surveys},
  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 = {Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers},
  editor = {Ralf Lämmel and João Saraiva and Joost Visser},
  volume = {4143},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-45778-X},
}

@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 = {Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings},
  editor = {Andrew D. Gordon},
  volume = {6012},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-11956-9},
}

@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 = {Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
  editor = {Wei-Ngan Chin},
  volume = {3302},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23724-0},
}

@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 = {Parallel Processing Letters},
  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 = {Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010},
  editor = {Paul Hudak and Stephanie Weirich},
  publisher = {ACM},
  isbn = {978-1-60558-794-3},
}

@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 = {Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010},
  editor = {Paul Hudak and Stephanie Weirich},
  publisher = {ACM},
  isbn = {978-1-60558-794-3},
}

@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 = {Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings},
  editor = {Don S. Batory and Charles Consel and Walid Taha},
  volume = {2487},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44284-7},
}

@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 = {Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings},
  editor = {Daniel Le Métayer},
  volume = {2305},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43363-5},
}

@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 = {Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007},
  editor = {Ralf Hinze and Norman Ramsey},
  publisher = {ACM},
  isbn = {978-1-59593-815-2},
}

@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 = {Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009},
  editor = {Sung Y. Shin and Sascha Ossowski},
  publisher = {ACM},
  isbn = {978-1-60558-166-8},
}

@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 = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP 96, Aachen, Germany, September 24-27, 1996, Proceedings},
  editor = {Herbert Kuchen and S. Doaitse Swierstra},
  volume = {1140},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61756-6},
}

@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 = {Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004},
  editor = {Nevin Heintze and Peter Sestoft},
  publisher = {ACM},
  isbn = {1-58113-835-0},
}

@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 = {Parallel Processing Letters},
  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 = {ACM Transactions on Programming Languages and Systems},
  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 = {31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume},
  publisher = {IEEE},
  isbn = {978-1-4244-3494-7},
}

@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 = {Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings},
  editor = {Claude Bolduc and Jules Desharnais and Béchir Ktari},
  volume = {6120},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-13320-6},
}

@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 = {Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007},
  editor = {Ganesan Ramalingam and Eelco Visser},
  publisher = {ACM},
  isbn = {978-1-59593-620-2},
}

@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 = {The Third Asian Workshop on Programming Languages and Systems, APLAS 02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings},
}

@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 = {Fuji International Symposium on Functional and Logic Programming},
}

@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 = {Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II},
  editor = {Pasqua D Ambra and Mario Rosario Guarracino and Domenico Talia},
  volume = {6272},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-15290-0},
}

@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 = {Higher-Order and Symbolic Computation},
  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 = {Inf. Process. Lett.},
  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 = {Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings},
  editor = {Kazunori Ueda},
  volume = {6461},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-17163-5},
}

@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 = {Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010. Proceedings},
  editor = {Dorina Petriu and Nicolas Rouquette and Øystein Haugen},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
}

@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 = {Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings},
  editor = {Walid Taha},
  volume = {2196},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42558-6},
}

@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 = {Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007},
  editor = {Jeanne Ferrante and Kathryn S. McKinley},
  publisher = {ACM},
  isbn = {978-1-59593-633-2},
}

@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 = {Proceedings of the 1st International Conference on Scalable Information Systems, Infoscale 2006, Hong Kong, May 30-June 1, 2006},
  editor = {Xiaohua Jia},
  volume = {152},
  series = {ACM International Conference Proceeding Series},
  publisher = {ACM},
  isbn = {1-59593-428-6},
}

@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 in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers},
  editor = {Sudipto Ghosh},
  volume = {6002},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-12260-6},
}

@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 = {Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
  editor = {Dang Van Hung and Martin Wirsing},
  volume = {3722},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29107-5},
}

@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 = {The Third Asian Workshop on Programming Languages and Systems, APLAS 02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings},
}

@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 2006: Proceedings of the 18th Annual ACM Symposium on Parallel Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30 - August 2, 2006},
  editor = {Phillip B. Gibbons and Uzi Vishkin},
  publisher = {ACM},
  isbn = {1-59593-452-9},
}

@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 = {Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS 96, Cracow, Poland, September 2-6, 1996, Proceedings},
  editor = {Wojciech Penczek and Andrzej Szalas},
  volume = {1113},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61550-4},
}

@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 = {Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings},
  editor = {Marco Danelutto and Marco Vanneschi and Domenico Laforenza},
  volume = {3149},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22924-8},
}

@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 = {Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009},
  editor = {Zhong Shao and Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {978-1-60558-379-2},
}

@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 = {Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003. Proceedings},
  editor = {Harald Kosch and László Böszörményi and Hermann Hellwagner},
  volume = {2790},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40788-X},
}

@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 = {Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009},
  editor = {Germán Puebla and Germán Vidal},
  publisher = {ACM},
  isbn = {978-1-60558-327-3},
}

@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 = {Journal of Functional Programming},
  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 = {Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 03), October 16-18, 2003, Lübeck, Germany},
  editor = {Walter Dosch and Roger Y. Lee},
  publisher = {ACIS},
  isbn = {0-9700776-7-X},
}

@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 = {The Third Asian Workshop on Programming Languages and Systems, APLAS 02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings},
}

@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 = {The Third Asian Workshop on Programming Languages and Systems, APLAS 02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings},
}

@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 = {Euro-Par  96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I},
  editor = {Luc Bougé and Pierre Fraigniaud and Anne Mignotte and Yves Robert},
  volume = {1123},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61626-8},
}

@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 = {Proceedings of the 25th {ACM SIGPLAN-SIGACT} symposium on Principles of programming languages},
  address = {New York, NY, USA},
  publisher = {ACM},
}

@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 = {New Generation Comput.},
  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 = {Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France},
  editor = {Richard S. Bird and Lambert G. L. T. Meertens},
  volume = {95},
  series = {IFIP Conference Proceedings},
  publisher = {Chapman & Hall},
  isbn = {0-412-82050-1},
}

@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 = {The Second Asian Workshop on Programming Languages and Systems, APLAS 01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings},
}

@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 = {Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  editor = {Tarmo Uustalu},
  volume = {4014},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35631-2},
}

@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 = {International Journal of Parallel Programming},
  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 = {Euro-Par 2007, Parallel Processing, 13th International Euro-Par Conference, Rennes, France, August 28-31, 2007, Proceedings},
  editor = {Anne-Marie Kermarrec and Luc Bougé and Thierry Priol},
  volume = {4641},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74465-8},
}

@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 = {Advances in Data and Web Management, Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference, on Web-Age Information Management, WAIM 2007, Huang Shan, China, June 16-18, 2007, Proceedings},
  editor = {Guozhu Dong and Xuemin Lin and Wei Wang 0011 and Yun Yang and Jeffrey Xu Yu},
  volume = {4505},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-72483-4},
}

@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 = {Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings},
  editor = {Richard F. Paige},
  volume = {5563},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02407-8},
}
@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},
}