Hiroyuki Kato

Last updated: 12/04/23 16:38
 
Avatar
Name
Hiroyuki Kato
E-mail
katonii.ac.jp
URL
http://research.nii.ac.jp/~kato
Affiliation
National Institute of Informatics

Papers

 
blinkit: Maintaining Invariant Traceability through Bidirectional Transformations
Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux
34th International Conference on Software Engineering (ICSE 2012) (accepted)      Jun 2012   [Refereed]
Towards Bidirectional Transformations on Ordered Graphs
Soichiro Hidaka, Kazuyuki Asada, Hiroyuki Kato, Keisuke Nakano, Zhenjiang Hu
Technical Report, GRACE Center, National Institute of Informatics (GRACE-TR-2011-07)      Dec 2011
GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, and Keisuke Nakano
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)   480-483   Nov 2011   [Refereed]
Graph-transformation verification using monadic second-order logic
Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)   17-28   Jul 2011   [Refereed]
Marker-directed Optimization of UnCAL Graph Transformations
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano
Pre-Proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011) (also accepted as formal proceedings paper as LNCS vol. 7225)   168-182   Jul 2011   [Refereed]
Toward bidirectionalization of ATL with GRound Tram
Isao Sasano, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato and Keisuke Nakano
Proc. of the 4th International Conference on Model Transformation (ICMT 2011)   138-151   Jun 2011   [Refereed]
Context-Preserving XQuery Fusion
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano and Yasunori Ishihara
Proceedings of the 8th ASIAN Symposium on Programming Languages and Systems (APLAS 2010)   255-270   Nov 2010   [Refereed]
Bidirectionalizing Graph Transformations
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda and Keisuke Nakano
Proc. of the 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)   205-216   Sep 2010   [Refereed]
A Compositional Approach to Bidirectional Model Transformation (共著)
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
New Ideas and Emerging Results Track of 31st International Conference on Software Engineering (ICSE 2009, NIER Track), Vancouver, Canada, May 16-24, 2009.      May 2009   [Refereed]
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
Proceedings of the 2009 ACM symposium on Applied Computing   468-475   Mar 2009   [Refereed]
Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Keisuke Nakano
ACM SIGPLAN Workshop on Programming Language Techniques for XML (PLAN-X 2009), Savannah, Georgia, USA, January 14, 2009.      Jan 2009   [Refereed]
Rewriting XQuery by child-path folding.
Hiroyuki Kato, Soichiro Hidaka and Masatoshi Yoshikawa
Progress in Informatics   (4)    Apr 2007   [Refereed]
A Relative Cost Model for XQuery
Soichiro Hidaka, Hiroyuki Kato and Masatoshi Yoshikawa
The 22nd Annual ACM Symposium on Applied Computing, Poster Session, Soul, Korea, March 11-15,2007      Mar 2007   [Refereed]
XQuery Equalities and Cost Model
Soichiro Hidaka, Hiroyuki Kato, Masatoshi Yoshikawa
Proc. of the 4th Workshop on Programmable Structured Documents, Tokyo, Japan, Dec., 2005   58-77   Dec 2005
FLWOR Arranging; an XQuery Partial Evaluation
Hiroyuki Kato, Soichiro Hidaka, Masatoshi Yoshikawa
Proc. of the 4th Workshop on Programmable Structured Documents, Tokyo, Japan, Dec., 2005   78-88   Dec 2005
An XQuery Cost Model in Relative Form
Soichiro Hidaka, Hiroyuki Kato, Masatoshi Yoshikawa
Technical report, National Institute of Informatics   (NII-20)    Nov 2005
Redundant Communication Elimination Optimization in XQuery for Multimedia Contents Management using Metadata in Distributed Digital Library Environments
Soichiro Hidaka, Hiroyuki Kato
Proc of Workshop on Multimedia in Digital Libraries      Jun 2003   [Refereed]
Querying Structured Documents based on Human Visual Memory
S. Hidaka, H. Kato and K. Oyama
Proceedings of International Conference on Information Reuse and Integration 2000(IRI2000)   91-94   Nov 2000   [Refereed]
Construction of a Large scale Test Collection for IR Systems
N. Kando, K. Kuriyama, T. Nozue, K. Eguchi, H. Kato, S. Hidaka, K. Oyama
Proceedings of International Symposium on Advanced Informatics, Tokyo, Japan, 2000   111-118   Jan 2000
Querying Structured Documents based on Human Visual Memory
S. Hidaka, H. Kato, K. Oyama
Proceedings of International Symposium on Advanced Informatics, Tokyo, 2000   127-132   Jan 2000
The NTCIR Workshop: The first evaluation workshop on Japanese text retrieval and cross-lingual information retrieval (invited)
N. Kando, K. Kuriyama, T. Nozue, K. Eguchi, H. Kato, S. Hidaka
Proceedings of International Workshop on Information Retrieval with Asian Languages, Taipei, Taiwan(November 1999)      Nov 1999   [Invited]
A Query Optimization for XML Document Views Constructed by Aggregations
H. Kato and M. Yoshikawa,K. Oyama and S. Uemura
IEEE Proceedings of International Symposium on Database Applications in Non-Traditional Environments 1999   189-196   Nov 1999   [Refereed]
Overview of IR tasks at the first NTCIR Workshop
N. Kando, K. Kuriyama, T. Nozue, K. Eguchi, H. Kato, S. Hidaka
Proceedings of NTCIR Workshop on Research in Japanese Text Retrieval and Term Recognition, Tokyo, Japan   11-44   Jan 1999
Querying Structured Documents base on Human Visual Memory
S. Hidaka, H. Kato and K. Oyama
IEEE Proceedings of International Symposium on Database Applications in Non-Traditional Environments 1999   226-229   Jan 1999   [Refereed]
Design Framework of a Database for Structured Document with Object Links
M. Yoshikawa, H. Kato and H. Kinutani
IEICE Transaction on Information and Systems   E82-D(1) 147-155   Jan 1999   [Refereed]
Constructing Structured Document Views
H. Kato and M. Yoshikawa
Lecture Notes in Computer Science(LNCS) 1552   446-453   Jan 1999   [Refereed]
An Efficiently Updatable Index Scheme for Structured Documents
H. Kanemoto, H. Kato, H. Kinutani, M. Yoshikawa
Proceedings of International Conference and Workshop on Database and Expert Systems Applications 1998(DEXA1998)   991-996   Jan 1998   [Refereed]
A Uniform Mechanism for Incorporating Database Objects into SGML Documents
M. Yoshikawa, H. Kato and S. Uemura
Proceedings of International Symposium on Digital Libraries 1995 (ISDL1995), Tsukuba, Japan, (Aug.,1995)   289-290   Aug 1995   [Refereed]
View Updatability Checking with Simulation-based Graph Schema
Keisuke Nakano, Hiroyuki Kato
   [Refereed]

Misc

 
Marker-directed Optimization of UnCAL Graph Transformations (revised version)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano
GRACE Technical Report (GRACE-TR-2011-06)      Nov 2011
blinkit: Maintaining Invariant Traceability through Bidirectional Transformations - A Technical Report
Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, and Lionel Montrieux
Technical Reports at the Centre for Research in Computing, Faculty of Mathematics, Computing and Technology, The Open University   2011(9)    Sep 2011
GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
GRACE Technical Report (GRACE-TR-2011-05)      Aug 2011
Marker-directed Optimization of UnCAL Graph Transformations
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano
GRACE Technical Report (GRACE-TR-2011-02)      Jun 2011
Simulation-based Graph Schema for View Updatability Checking of Graph Queries
Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
GRACE Technical Report (GRACE-TR-2011-01)      May 2011

Bibliography

 
Advances in Databases and Multimedia for the New Century (Advanced Database Research and Development Series Vol.10)
未入力
World Scientific Publishing   Apr 2000   ISBN:981-02-4310-3
Advanced Database Systems for Integration of Media and User Environments 1998 (Advanced Database Research and Development Series Vol.9)
未入力
World Scientific   Jan 1998   

Conferences

 
Incremental Graph View Maintenance
Hiroyuki Kato
2nd NII-PKU International Joint Workshop on Advanced Software Engineering   Oct 2011   
Bidirectionalizing Graph Transformations (国外既発表カテゴリ)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)   Mar 2011   
Functional Graph Transformations with Structural Recursion
Hiroyuki Kato
The Fourth DIKU-IST Joint Workshop on Foundations of Software   Jan 2011   
Towards State-based Interface to a Graph Roundtrip Transformation System GRoundTram (poster)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato (National Institute of Informatics), Kazutaka Matsuda (Tohoku University), Keisuke Nakano (The University of Electro-Communications)
Eighth Asian Symposium on Programming Languages and Systems (APLAS 2010)   Nov 2010   
Range Analysis of Graph Transformation for Simulation-based Schema (poster)
Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba and Hiroyuki Kato
Eighth Asian Symposium on Programming Languages and Systems (APLAS 2010)   Nov 2010   
Regular Path Compilation for Graph Updating
Hiroyuki Kato
1st PKU-NII International Joint Workshop on Advanced Software Engineering   Oct 2010   
Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Keisuke Nakano
Sixth Asian Workshop on Foundations of Software   Apr 2009   
Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Keisuke Nakano
ACM SIGPLAN Workshop on Programming Language Techniques for XML   Jan 2009   Association for Computing Machinery
Towards Compostional Approach to Model Transformation for Software Development
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
日本ソフトウェア科学会第25回大会   Sep 2008   

Teaching Experiences

 
 
  • XML Databases (Department of Informatics, School of Multidisciplinary Sciences, The Graduate University for Advanced Studies)

Works

 
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano   Software   Mar 2011
Kato mainly contributed to desugaring from UnQL+ to UnCAL expressions.
Hiroyuki Kato, Soichiro Hidaka   Software   Jun 2010