Deriving Event-Based Document Transformers from Tree-Based Specifications. - Keisuke Nakano 001; Susumu Nishimura (LDTA@ETAPS, 2001)

An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors. - Keisuke Nakano 001 (APLAS, 2004)

XML stream transformer generation through program composition and dependency analysis. - Susumu Nishimura; Keisuke Nakano 001 (Sci. Comput. Program., 2005)

A Pushdown Machine for Recursive XML Processing. - Keisuke Nakano 001; Shin-Cheng Mu (APLAS, 2006)

Bidirectionalization transformation based on automatic derivation of view complement functions. - Kazutaka Matsuda; Zhenjiang Hu; Keisuke Nakano 001; Makoto Hamana; Masato Takeichi (ICFP, 2007)

Streaming XML Transformation Using Term Rewriting. - Alain Frisch; Keisuke Nakano 001 (PLAN-X, 2007)

XML Type Checking for Macro Tree Transducers with Holes. - Sebastian Maneth; Keisuke Nakano 001 (PLAN-X, 2008)

XML Stream Processing Using a Lazy Concurrent Language. - Shin-Cheng Mu; Ta-Chung Tsai; Keisuke Nakano 001 (PLAN-X, 2008)

A compositional approach to bidirectional model transformation. - Soichiro Hidaka; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano 001 (ICSE Companion, 2009)

Towards a compositional approach to model transformation for software development. - Soichiro Hidaka; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano 001 (SAC, 2009)

Computing the Cost of Typechecking of Composition of Macro Tree Transducers. - Keisuke Nakano 001; Sebastian Maneth (Inf. Media Technol., 2009)

Composing Stack-Attributed Tree Transducers. - Keisuke Nakano 001 (Theory Comput. Syst., 2009)

Consistent Web site updating based on bidirectional transformation. - Keisuke Nakano 001; Zhenjiang Hu; Masato Takeichi (Int. J. Softw. Tools Technol. Transf., 2009)

Bidirectionalizing graph transformations. - Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Kazutaka Matsuda; Keisuke Nakano 001 (ICFP, 2010)

Toward Bidirectionalization of ATL with GRoundTram. - Isao Sasano; Zhenjiang Hu; Soichiro Hidaka; Kazuhiro Inaba; Hiroyuki Kato; Keisuke Nakano 001 (ICMT@TOOLS, 2011)

GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations. - Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Keisuke Nakano 001 (ASE, 2011)

Marker-Directed Optimization of UnCAL Graph Transformations. - Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Kazutaka Matsuda; Keisuke Nakano 001; Isao Sasano (LOPSTR, 2011)

Graph-transformation verification using monadic second-order logic. - Kazuhiro Inaba; Soichiro Hidaka; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano 001 (PPDP, 2011)

Shall We Juggle, Coinductively? - Keisuke Nakano 001 (CPP, 2012)

Polynomial-time inverse computation for accumulative functions with multiple data traversals. - Kazutaka Matsuda; Kazuhiro Inaba; Keisuke Nakano 001 (High. Order Symb. Comput., 2012)

Structural recursion for querying ordered graphs. - Soichiro Hidaka; Kazuyuki Asada; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano 001 (ICFP, 2013)

A parameterized graph transformation calculus for finite graphs with monadic branches. - Kazuyuki Asada; Soichiro Hidaka; Hiroyuki Kato; Zhenjiang Hu; Keisuke Nakano 001 (PPDP, 2013)

Metamorphism in jigsaw. - Keisuke Nakano 001 (J. Funct. Program., 2013)

Optimization for iterative queries on MapReduce. - Makoto Onizuka; Hiroyuki Kato; Soichiro Hidaka; Keisuke Nakano 001; Zhenjiang Hu (Proc. VLDB Endow., 2013)

XQuery streaming by Forest Transducers. - Shizuya Hakuta; Sebastian Maneth; Keisuke Nakano 001; Hideya Iwasaki (ICDE, 2014)

Context-preserving XQuery fusion. - Hiroyuki Kato; Soichiro Hidaka; Zhenjiang Hu; Keisuke Nakano 001; Yasunori Ishihara (Math. Struct. Comput. Sci., 2015)

Bidirectional Certified Programming. - Daisuke Kinoshita; Keisuke Nakano 001 (BX@ETAPS, 2017)

Towards Practical Typechecking for Macro Forest Transducers. - Kazuhiro Abe; Keisuke Nakano 001 (J. Inf. Process., 2017)

On Repetitive Right Application of B-Terms. - Mirai Ikebuchi; Keisuke Nakano 001 (FSCD, 2018)

A View-based Programmable Architecture for Controlling and Integrating Decentralized Data. - Yasuhito Asano; Soichiro Hidaka; Zhenjiang Hu; Yasunori Ishihara; Hiroyuki Kato; Hsiang-Shang Ko; Keisuke Nakano 001; Makoto Onizuka; Yuya Sasaki 001; Toshiyuki Shimizu; Kanae Tsushima; Masatoshi Yoshikawa (CoRR, 2018)

Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -. - Yasuhito Asano; Soichiro Hidaka; Zhenjiang Hu; Yasunori Ishihara; Hiroyuki Kato; Hsiang-Shang Ko; Keisuke Nakano 001; Makoto Onizuka; Yuya Sasaki 001; Toshiyuki Shimizu; Van-Dang Tran; Kanae Tsushima; et al. (CoRR, 2018)

Flexible Framework for Data Integration and Update Propagation: System Aspect. - Yasuhito Asano; Dennis-Florian Herr; Yasunori Ishihara; Hiroyuki Kato; Keisuke Nakano 001; Makoto Onizuka; Yuya Sasaki 001 (BigComp, 2019)

Toward BX-Based Architecture for Controlling and Sharing Distributed Data. - Yasunori Ishihara; Hiroyuki Kato; Keisuke Nakano 001; Makoto Onizuka; Yuya Sasaki 001 (BigComp, 2019)

Towards a Complete Picture of Lens Laws. - Keisuke Nakano 001 (CoRR, 2019)

Involutory Turing Machines. - Keisuke Nakano 001 (RC, 2020)

On properties of B-terms. - Mirai Ikebuchi; Keisuke Nakano 001 (Log. Methods Comput. Sci., 2020)

Idempotent Turing Machines. - Keisuke Nakano 001 (MFCS, 2021)

A Tangled Web of 12 Lens Laws. - Keisuke Nakano 001 (RC, 2021)

Streaming ranked-tree-to-string transducers. - Yuta Takahashi; Kazuyuki Asada; Keisuke Nakano 001 (Theor. Comput. Sci., 2021)

Time-symmetric Turing machines for computable involutions. - Keisuke Nakano 001 (Sci. Comput. Program., 2022)

Deciding Linear Height and Linear Size-To-Height Increase of Macro Tree Transducers. - Paul Gallot; Sebastian Maneth; Keisuke Nakano 001; Charles Peyrat (ICALP, 2024)

Disproving Termination of Non-erasing Sole Combinatory Calculus with Tree Automata. - Keisuke Nakano 001; Munehiro Iwami (CIAA, 2024)

Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version). - Keisuke Nakano 001; Munehiro Iwami (CoRR, 2024)

Characterizations of Partial Well-Behaved Lenses. - Keishi Hashiba; Keisuke Nakano 001; Kazuyuki Asada; Kentaro Kikuchi (PEPM, 2025)