Kazuhiro Inaba

According to our database, Kazuhiro Inaba authored at least 17 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity.

Joost Engelfriet, Kazuhiro Inaba, Sebastian Maneth

Acta Informatica, 2021

2015

Quick Brown Fox in Formal Languages.

Kazuhiro Inaba

CoRR, 2015

2014

Optimal Budget Allocation: Theoretical Guarantee and Efficient Algorithm.

Tasuku Soma, Naonori Kakimura, Kazuhiro Inaba, Ken-ichi Kawarabayashi

Proceedings of the 31th International Conference on Machine Learning, 2014

Unsafe Order-2 Tree Languages Are Context-Sensitive.

Naoki Kobayashi, Kazuhiro Inaba, Takeshi Tsukada

Proceedings of the Foundations of Software Science and Computation Structures, 2014

2012

Polynomial-time inverse computation for accumulative functions with multiple data traversals.

Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano

High. Order Symb. Comput., 2012

2011

Graph-transformation verification using monadic second-order logic.

Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Marker-Directed Optimization of UnCAL Graph Transformations.

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations.

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Toward Bidirectionalization of ATL with GRoundTram.

Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano

Proceedings of the Theory and Practice of Model Transformations, 2011

2010

Compact representation for answer sets of n-ary regular queries.

Kazuhiro Inaba, Haruo Hosoya

Theor. Comput. Sci., 2010

Bidirectionalizing graph transformations.

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009

The Complexity of Translation Membership for Macro Tree Transducers

Kazuhiro Inaba, Sebastian Maneth

CoRR, 2009

2008

Multi-Return Macro Tree Transducers.

Kazuhiro Inaba, Haruo Hosoya, Sebastian Maneth

Proceedings of the Implementation and Applications of Automata, 2008

Multi-Return Macro Tree Transducers.

Kazuhiro Inaba, Haruo Hosoya

Proceedings of the PLAN-X 2008, 2008

The Complexity of Tree Transducer Output Languages.

Kazuhiro Inaba, Sebastian Maneth

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

2007

MTran: An XML Transformation Language Based on Monadic Second Order Logic.

Kazuhiro Inaba, Haruo Hosoya

Proceedings of the PLAN-X 2007, 2007

XML Transformation Language Based on Monadic Second Order Logic.

Kazuhiro Inaba, Haruo Hosoya

Proceedings of the PLAN-X 2007, 2007