フォロー
Keisuke Nakano
Keisuke Nakano
Tohoku University
確認したメール アドレス: acm.org - ホームページ
タイトル
引用先
引用先
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
1652007
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
1372010
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
75*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
582009
Streaming XML Transformation Using Term Rewriting.
A Frisch, K Nakano
Programming Language Technologies for XML (PLAN-X 2007), 2-13, 2007
362007
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
302014
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
302009
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
Deriving event-based document transformers from tree-based specifications
K Nakano, S Nishimura
Electronic Notes in Theoretical Computer Science 44 (2), 181-205, 2001
282001
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
252013
XML stream transformer generation through program composition and dependency analysis
S Nishimura, K Nakano
Science of Computer Programming 54 (2-3), 257-290, 2005
242005
Consistent Web site updating based on bidirectional transformation
K Nakano, Z Hu, M Takeichi
International journal on software tools for technology transfer 11, 453-468, 2009
232009
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
232004
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
202013
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
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
192003
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
A pushdown machine for recursive XML processing
K Nakano, SC Mu
Asian Symposium on Programming Languages and Systems (APLAS 2006), 340-356, 2006
172006
Toward BX-based architecture for controlling and sharing distributed data
Y Ishihara, H Kato, K Nakano, M Onizuka, Y Sasaki
2019 IEEE International Conference on Big Data and Smart Computing (BigComp …, 2019
162019
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20