Bidirectionalizing graph transformations S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010 | 125 | 2010 |

Optimal budget allocation: Theoretical guarantee and efficient algorithm T Soma, N Kakimura, K Inaba, K Kawarabayashi International Conference on Machine Learning, 351-359, 2014 | 88 | 2014 |

GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations S Hidaka, Z Hu, K Inaba, H Kato, K Nakano 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 69 | 2011 |

Toward bidirectionalization of ATL with GRoundTram I Sasano, Z Hu, S Hidaka, K Inaba, H Kato, K Nakano International Conference on Theory and Practice of Model Transformations …, 2011 | 30 | 2011 |

Graph-transformation verification using monadic second-order logic K Inaba, S Hidaka, Z Hu, H Kato, K Nakano Proceedings of the 13th international ACM SIGPLAN symposium on Principles …, 2011 | 26 | 2011 |

Marker-directed optimization of uncal graph transformations S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano, I Sasano International Symposium on Logic-Based Program Synthesis and Transformation …, 2011 | 17 | 2011 |

Polynomial-time inverse computation for accumulative functions with multiple data traversals K Matsuda, K Inaba, K Nakano Higher-Order and Symbolic Computation 25 (1), 3-38, 2012 | 13 | 2012 |

Multi-return macro tree transducers K Inaba, H Hosoya, S Maneth International Conference on Implementation and Application of Automata, 102-111, 2008 | 11 | 2008 |

The complexity of tree transducer output languages K Inaba, S Maneth IARCS Annual Conference on Foundations of Software Technology and …, 2008 | 11 | 2008 |

Unsafe order-2 tree languages are context-sensitive N Kobayashi, K Inaba, T Tsukada International Conference on Foundations of Software Science and Computation …, 2014 | 10 | 2014 |

MTran, June 2006 K Inaba, H Hosoya | 6 | |

Bidirectionalizing structural recursion on graphs S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano | 5 | 2009 |

XML transformation language based on monadic second order logic K Inaba, H Hosoya University of Tokyo, 2006 | 5 | 2006 |

Sound and complete validation of graph transformations K Inaba, S Hidaka, Z Hu, H Kato, K Nakano | 3 | 2010 |

The complexity of translation membership for macro tree transducers K Inaba, S Maneth arXiv preprint arXiv:0910.2315, 2009 | 3 | 2009 |

GRoundTram Version 0.9. 3a User Manual S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano | 3 | 2008 |

Marker-directed Optimization of UnCAL Graph Transformations (revised version) S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano, I Sasano Technical Report GRACE-TR-2011-06, GRACE Center, National Institute of …, 2011 | 2 | 2011 |

Compact Representation for Answer Sets of *n*-ary Regular QueriesK Inaba, H Hosoya International Conference on Implementation and Application of Automata, 94-104, 2009 | 2 | 2009 |

Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity J Engelfriet, K Inaba, S Maneth Acta Informatica, 1-58, 2019 | 1 | 2019 |

Purely Applicative XML Cursor 純作用型XML University of Tokyo, 2004 | 1 | 2004 |