Kazuhiro Inaba

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