Author Info
Name
Affiliation
Papers
KAZUHIRO INABA
National Institute of Informatics, Tokyo, Japan
17
Collaborators
Citations 
PageRank 
14
102
8.07
Referers 
Referees 
References 
163
279
258
Search Limit
100279
Title
Citations
PageRank
Year
Linear-Bounded Composition Of Tree-Walking Tree Transducers: Linear Size Increase And Complexity00.342021
Linear Bounded Composition of Tree-Walking Tree Transducers: Linear Size Increase and Complexity.00.342019
Quick Brown Fox in Formal Languages00.342015
Optimal Budget Allocation: Theoretical Guarantee and Efficient Algorithm.20.402014
Unsafe Order-2 Tree Languages Are Context-Sensitive.50.442014
Polynomial-time inverse computation for accumulative functions with multiple data traversals50.402012
Graph-transformation verification using monadic second-order logic100.582011
Marker-Directed optimization of UnCAL graph transformations30.422011
Toward bidirectionalization of ATL with GRoundTram90.512011
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations260.922011
Bidirectionalizing graph transformations230.912010
Compact representation for answer sets of nn-ary regular queries00.342010
The Complexity of Translation Membership for Macro Tree Transducers10.362009
The Complexity of Tree Transducer Output Languages60.482008
Multi-Return Macro Tree Transducers100.582008
XML Transformation Language Based on Monadic Second Order Logic20.382007
MTran: An XML Transformation Language Based on Monadic Second Order Logic.00.342007