Follow
Kazuhiro Inaba
Kazuhiro Inaba
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
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
1362010
Optimal budget allocation: Theoretical guarantee and efficient algorithm
T Soma, N Kakimura, K Inaba, K Kawarabayashi
International Conference on Machine Learning, 351-359, 2014
1262014
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
732011
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
282011
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
282011
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
202012
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
182012
The complexity of tree transducer output languages
K Inaba, S Maneth
IARCS Annual Conference on Foundations of Software Technology and …, 2008
112008
Multi-return macro tree transducers
K Inaba, H Hosoya, S Maneth
Implementation and Applications of Automata: 13th International Conference …, 2008
112008
Unsafe order-2 tree languages are context-sensitive
N Kobayashi, K Inaba, T Tsukada
Foundations of Software Science and Computation Structures: 17th …, 2014
102014
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
82021
Bidirectionalizing structural recursion on graphs
SHZHK Inaba, H Kato
Techical Report, National Institute of Informatics, The University of Tokyo …, 2009
52009
GRound-Tram Version 0.9. 3 User Manual
S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano
52008
XML transformation language based on monadic second order logic
K Inaba, H Hosoya
University of Tokyo, 2006
52006
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
32010
The complexity of translation membership for macro tree transducers
K Inaba, S Maneth
arXiv preprint arXiv:0910.2315, 2009
32009
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
22011
Compact representation for answer sets of n-ary regular queries
K Inaba, H Hosoya
Theoretical computer science 411 (38-39), 3481-3492, 2010
22010
Purely Applicative XML Cursor
純作用型XML
University of Tokyo, 2004
12004
The system can't perform the operation now. Try again later.
Articles 1–20