@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{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{FosterMV10,
  title = {Three Complementary Approaches to Bidirectional Programming},
  author = {J. Nathan Foster and Kazutaka Matsuda and Janis Voigtländer},
  year = {2010},
  doi = {10.1007/978-3-642-32202-0_1},
  url = {http://dx.doi.org/10.1007/978-3-642-32202-0_1},
  researchr = {https://researchr.org/publication/FosterMV10},
  cites = {0},
  citedby = {0},
  pages = {1-46},
  booktitle = {Generic and Indexed Programming - International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
  editor = {Jeremy Gibbons},
  volume = {7470},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-32201-3},
}

@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{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{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{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},
}