Kazuhiro Inaba
Kazuhiro Inaba
Verified email at google.com - Homepage
TitleCited byYear
Bidirectionalizing graph transformations
S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano
ACM Sigplan Notices 45 (9), 205-216, 2010
1152010
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
652011
Optimal budget allocation: Theoretical guarantee and efficient algorithm
T Soma, N Kakimura, K Inaba, K Kawarabayashi
International Conference on Machine Learning, 351-359, 2014
622014
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
302011
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
262011
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
162011
Multi-return macro tree transducers
K Inaba, H Hosoya, S Maneth
International Conference on Implementation and Application of Automata, 102-111, 2008
102008
The complexity of tree transducer output languages
K Inaba, S Maneth
IARCS Annual Conference on Foundations of Software Technology and …, 2008
102008
Unsafe order-2 tree languages are context-sensitive
N Kobayashi, K Inaba, T Tsukada
International Conference on Foundations of Software Science and Computation …, 2014
82014
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
82012
XML transformation language based on monadic second order logic
K Inaba, H Hosoya
University of Tokyo, 2006
52006
Bidirectionalizing structural recursion on graphs
S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano
42009
MTran, June 2006
K Inaba, H Hosoya
4
The complexity of translation membership for macro tree transducers
K Inaba, S Maneth
arXiv preprint arXiv:0910.2315, 2009
32009
GRoundTram version 0.9. 3 user manual
S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano
32008
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
Sound and complete validation of graph transformations
K Inaba, S Hidaka, Z Hu, H Kato, K Nakano
22010
Compact Representation for Answer Sets of n-ary Regular Queries
K Inaba, H Hosoya
International Conference on Implementation and Application of Automata, 94-104, 2009
22009
Purely Applicative XML Cursor
純作用型XML
University of Tokyo, 2004
12004
Linear Bounded Composition of Tree-Walking Tree Transducers: Linear Size Increase and Complexity
J Engelfriet, K Inaba, S Maneth
arXiv preprint arXiv:1904.09203, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20