Skip to content

Hiroyuki Kato

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

13

Venues

8

Active years

1998–2020

Best venue rank

A*

Where they publish

Papers

13 indexed papers, newest first.

YearVenueTitleAuthors
2020APLASA Counterexample-Guided Debugger for Non-recursive Datalog.Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu
2013ICFPStructural recursion for querying ordered graphs.Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
2013PPDPA parameterized graph transformation calculus for finite graphs with monadic branches.Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
2012ICSEMaintaining invariant traceability through bidirectional transformations.Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux
2011LOPSTRMarker-Directed Optimization of UnCAL Graph Transformations.Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
2011PPDPGraph-transformation verification using monadic second-order logic.Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
2010APLASContext-Preserving XQuery Fusion.Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
2010ICFPBidirectionalizing graph transformations.Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
2009ICSEA compositional approach to bidirectional model transformation.Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
2009SACTowards a compositional approach to model transformation for software development.Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
2007SACA relative cost model for XQuery.Soichiro Hidaka, Hiroyuki Kato, Masatoshi Yoshikawa
2002ICCSInteractive Hairstyle Modeling Using a Sketching Interface.Xiaoyang Mao, Kouichi Kashio, Hiroyuki Kato, Atsumi Imamiya
1998ERConstructing Structured Document Views.Hiroyuki Kato, Masatoshi Yoshikawa