| 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 | 141 | 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 | 137 | 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 | 75 | 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 | 31 | 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 |
| 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 |
| 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 | 13 | 2021 |
| Multi-return macro tree transducers K Inaba, H Hosoya, S Maneth Implementation and Applications of Automata: 13th International Conference …, 2008 | 12 | 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 Foundations of Software Science and Computation Structures: 17th …, 2014 | 10 | 2014 |
| XML transformation language based on monadic second order logic K Inaba, H Hosoya University of Tokyo, 2006 | 6 | 2006 |
| MTran, June 2006 K Inaba, H Hosoya | 6 | |
| 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 |
| 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 |