Hiroyuki Kato

1. •Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano and Yasunori Ishihara, Context-Preserving XQuery Fusion (accepted), Mathematical Structures in Computer Science
   

1. •Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux, blinkit: Maintaining Invariant Traceability through Bidirectional Transformations, Proc. of the 34th International Conference on Software Engineering (ICSE 2012), pp. 540--550, Jun 2012
   

1. •Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba and Hiroyuki Kato: View Updatability Checking with Simulation-based Graph Schema (in Japanese), Computer Software - JSSST Journal, Vol. 29, No. 2, pp.174--192, 2012.
   

1. •Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato and Keisuke Nakano, GRoundTram: An Integrated Framework for DevelopingWell-Behaved Bidirectional Model Transformations (short paper and poster), Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp. 480-483, Nov. 9-11, 2011
   

1. •Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano. Marker-directed optimization of UnCAL graph transformations, In Proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011) (also selected to appear in the post-conference formal proceedings by Springer LNCS), Odense, Denmark, July 18-20, 2011
   

1. •Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Graph-Transformation Verification using Monadic Second-Order Logic, 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011), Odense, Denmark, July 20-22, 2011.
   

1. •Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Toward bidirectionalization of ATL with GRoundTram, International Conference on Model Transformation (ICMT 2011), Zurich, Switzerland, June 27-28, 2011.
   

1. • Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara,  Context-Preserving XQuery Fusion, Eighth ASIAN Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China, November 28 - December 1, 2010.
   

1. • Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda, Bidirectionalizing Graph Transformations, 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010), Baltimore, Maryland, USA, September 27 - 29, 2010.
   

1. •Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, A Compositional Approach to Bidirectional Model Transformation, New Idea and Emerging Results Track of 31st  International Conference on Software Engineering  (ICSE 2009, NIER Track), Vancouver, Canada, May 16 - 24, 2009. pp.235-238.
   

1. •Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Keisuke Nakano, Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store, ACM SIGPLAN Workshop on Programming Language Techniques for XML (PLAN-X 2009), Savannah, Georgia, USA, January 14, 2009.
   

1. •Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Towards Compositional Approach to Model Transformations for Software Development, 24th Annual ACM Symposium on Applied Computing (SAC 2009, Software Engineering Track), Honolulu, Hawaii, USA, March 8-12, 2009. pp.468-475.