Keisuke Nakano
Keisuke Nakano
Tohoku University
Verified email at - Homepage
Cited by
Cited by
Bidirectionalization transformation based on automatic derivation of view complement functions
K Matsuda, Z Hu, K Nakano, M Hamana, M Takeichi
ACM SIGPLAN Notices 42 (9), 47-58, 2007
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
GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
Progress in Informatics 10, pp.131-148, 2013
Towards a compositional approach to model transformation for software development
S Hidaka, Z Hu, H Kato, K Nakano
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC 2009), 468-475, 2009
Streaming XML Transformation Using Term Rewriting.
A Frisch, K Nakano
Programming Language Technologies for XML (PLAN-X 2007), 2-13, 2007
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
A compositional approach to bidirectional model transformation
S Hidaka, Z Hu, H Kato, K Nakano
2009 31st International Conference on Software Engineering-Companion Volume …, 2009
Deriving event-based document transformers from tree-based specifications
K Nakano, S Nishimura
Electronic Notes in Theoretical Computer Science 44 (2), 181-205, 2001
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
XQuery streaming by forest transducers
S Hakuta, S Maneth, K Nakano, H Iwasaki
2014 IEEE 30th International Conference on Data Engineering (ICDE 2014), 952-963, 2014
Optimization for iterative queries on MapReduce
M Onizuka, H Kato, S Hidaka, K Nakano, Z Hu
Proceedings of the VLDB Endowment 7 (4), 241-252, 2013
XML stream transformer generation through program composition and dependency analysis
S Nishimura, K Nakano
Science of Computer Programming 54 (2-3), 257-290, 2005
Consistent Web site updating based on bidirectional transformation
K Nakano, Z Hu, M Takeichi
International journal on software tools for technology transfer 11 (6), 453-468, 2009
An implementation scheme for XML transformation languages through derivation of stream processors
K Nakano
Asian Symposium on Programming Languages and Systems (APLAS 2004), 74-90, 2004
TreeCalc: towards programmable structured documents
M Takeichi, Z Hu, K Kakehi, Y Hayashi, SC Mu, K Nakano
The 20th Conference of Japan Society for Software Science and Technology, 2003
Structural recursion for querying ordered graphs
S Hidaka, K Asada, Z Hu, H Kato, K Nakano
Proceedings of the 18th ACM SIGPLAN international conference on Functional …, 2013
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
A pushdown machine for recursive XML processing
K Nakano, SC Mu
Asian Symposium on Programming Languages and Systems (APLAS 2006), 340-356, 2006
Composing stack-attributed tree transducers
K Nakano
Theory of Computing Systems 44 (1), 1-38, 2009
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
The system can't perform the operation now. Try again later.
Articles 1–20