Kazuhiro Inaba

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 3

Top Topics

Data Distribution

Top Venues

Acta Informatica

Publications

Joost Engelfriet, Kazuhiro Inaba, Sebastian Maneth
Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity. Acta Informatica 58 (1-2) (2021)
Joost Engelfriet, Kazuhiro Inaba, Sebastian Maneth
Linear Bounded Composition of Tree-Walking Tree Transducers: Linear Size Increase and Complexity. CoRR (2019)
Kazuhiro Inaba
Quick Brown Fox in Formal Languages. CoRR (2015)
Tasuku Soma, Naonori Kakimura, Kazuhiro Inaba, Ken-ichi Kawarabayashi
Optimal Budget Allocation: Theoretical Guarantee and Efficient Algorithm. ICML (2014)
Naoki Kobayashi, Kazuhiro Inaba, Takeshi Tsukada
Unsafe Order-2 Tree Languages Are Context-Sensitive. FoSSaCS (2014)
Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
Polynomial-time inverse computation for accumulative functions with multiple data traversals. PEPM (2012)
Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
Polynomial-time inverse computation for accumulative functions with multiple data traversals. High. Order Symb. Comput. 25 (1) (2012)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
Marker-Directed Optimization of UnCAL Graph Transformations. LOPSTR (2011)
Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
Graph-transformation verification using monadic second-order logic. PPDP (2011)
Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
Toward Bidirectionalization of ATL with GRoundTram. ICMT@TOOLS (2011)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations. ASE (2011)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
Bidirectionalizing graph transformations. ICFP (2010)
Kazuhiro Inaba, Haruo Hosoya
Compact representation for answer sets of n-ary regular queries. Theor. Comput. Sci. 411 (38-39) (2010)
Kazuhiro Inaba, Sebastian Maneth
The Complexity of Translation Membership for Macro Tree Transducers CoRR (2009)
Kazuhiro Inaba, Haruo Hosoya
Compact Representation for Answer Sets of n-ary Regular Queries. CIAA (2009)
Kazuhiro Inaba, Haruo Hosoya, Sebastian Maneth
Multi-Return Macro Tree Transducers. CIAA (2008)
Kazuhiro Inaba, Sebastian Maneth
The Complexity of Tree Transducer Output Languages. FSTTCS (2008)
Kazuhiro Inaba, Haruo Hosoya
Multi-Return Macro Tree Transducers. PLAN-X (2008)
Kazuhiro Inaba, Haruo Hosoya
MTran: An XML Transformation Language Based on Monadic Second Order Logic. PLAN-X (2007)
Kazuhiro Inaba, Haruo Hosoya
XML Transformation Language Based on Monadic Second Order Logic. PLAN-X (2007)