# Kazuhiro Inaba

According to our database

Collaborative distances:

^{1}, Kazuhiro Inaba authored at least 17 papers between 2007 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

Linear Bounded Composition of Tree-Walking Tree Transducers: Linear Size Increase and Complexity.

CoRR, 2019

2015

Quick Brown Fox in Formal Languages.

CoRR, 2015

2014

Optimal Budget Allocation: Theoretical Guarantee and Efficient Algorithm.

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

Unsafe Order-2 Tree Languages Are Context-Sensitive.

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

2012

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

High. Order Symb. Comput., 2012

2011

Graph-transformation verification using monadic second-order logic.

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

Marker-Directed Optimization of UnCAL Graph Transformations.

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

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

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

Toward Bidirectionalization of ATL with GRoundTram.

Proceedings of the Theory and Practice of Model Transformations, 2011

2010

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

Theor. Comput. Sci., 2010

Bidirectionalizing graph transformations.

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

CoRR, 2009

2008

Multi-Return Macro Tree Transducers.

Proceedings of the Implementation and Applications of Automata, 2008

Multi-Return Macro Tree Transducers.

Proceedings of the PLAN-X 2008, 2008

The Complexity of Tree Transducer Output Languages.

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.

Proceedings of the PLAN-X 2007, 2007

XML Transformation Language Based on Monadic Second Order Logic.

Proceedings of the PLAN-X 2007, 2007