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 | 137 | 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 | 128 | 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 | 74 | 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 | 28 | 2011 |

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

Polynomial-time inverse computation for accumulative functions with multiple data traversals K Matsuda, K Inaba, K Nakano Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and …, 2012 | 20 | 2012 |

Marker-directed optimization of uncal graph transformations S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano, I Sasano Logic-Based Program Synthesis and Transformation: 21st International …, 2012 | 18 | 2012 |

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

Multi-return macro tree transducers K Inaba, H Hosoya, S Maneth Implementation and Applications of Automata: 13th International Conference …, 2008 | 11 | 2008 |

Unsafe order-2 tree languages are context-sensitive N Kobayashi, K Inaba, T Tsukada Foundations of Software Science and Computation Structures: 17th …, 2014 | 10 | 2014 |

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

Bidirectionalizing structural recursion on graphs SHZHK Inaba, H Kato Techical Report, National Institute of Informatics, The University of Tokyo …, 2009 | 5 | 2009 |

GRound-Tram Version 0.9. 3 User Manual S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano | 5 | 2008 |

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

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

Sound and complete validation of graph transformations K Inaba, S Hidaka, Z Hu, H Kato, K Nakano Technical Report GRACETR-2010-04, GRACE Center, NII, 2010 | 3 | 2010 |

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

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 queries K Inaba, H Hosoya Theoretical computer science 411 (38-39), 3481-3492, 2010 | 2 | 2010 |

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