Seguir
Keisuke Nakano
Keisuke Nakano
Tohoku University
Dirección de correo verificada de acm.org - Página principal
Título
Citado por
Citado por
Año
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
1642007
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
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
74*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
242013
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
XML stream transformer generation through program composition and dependency analysis
S Nishimura, K Nakano
Science of Computer Programming 54 (2-3), 257-290, 2005
232005
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
212013
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
202003
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
Flexible framework for data integration and update propagation: system aspect
Y Asano, DF Herr, Y Ishihara, H Kato, K Nakano, M Onizuka, Y Sasaki
2019 IEEE International Conference on Big Data and Smart Computing (BigComp …, 2019
152019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20