Keisuke Nakano

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 20

Top Topics

Complete Picture

Distributed Data

Top Venues

Math. Struct. Comput. Sci.

Publications

Paul Gallot, Sebastian Maneth, Keisuke Nakano, Charles Peyrat
Deciding Linear Height and Linear Size-To-Height Increase of Macro Tree Transducers. ICALP (2024)
Keisuke Nakano, Munehiro Iwami
Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version). CoRR (2024)
Charles Peyrat, Paul Gallot, Sebastian Maneth, Keisuke Nakano
Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers. CoRR (2023)
Keisuke Nakano
Time-symmetric Turing machines for computable involutions. Sci. Comput. Program. 215 (2022)
Keisuke Nakano
A Tangled Web of 12 Lens Laws. RC (2021)
Yuta Takahashi, Kazuyuki Asada, Keisuke Nakano
Streaming ranked-tree-to-string transducers. Theor. Comput. Sci. 870 (2021)
Keisuke Nakano
Idempotent Turing Machines. MFCS (2021)
Keisuke Nakano
Involutory Turing Machines. RC (2020)
Mirai Ikebuchi, Keisuke Nakano
On properties of B-terms. Log. Methods Comput. Sci. 16 (2) (2020)
Keisuke Nakano
Towards a Complete Picture of Lens Laws. CoRR (2019)
Yuta Takahashi, Kazuyuki Asada, Keisuke Nakano
Streaming Ranked-Tree-to-String Transducers. CIAA (2019)
Yasuhito Asano, Dennis-Florian Herr, Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki
Flexible Framework for Data Integration and Update Propagation: System Aspect. BigComp (2019)
Mirai Ikebuchi, Keisuke Nakano
On properties of B-terms. CoRR (2019)
Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki
Toward BX-Based Architecture for Controlling and Sharing Distributed Data. BigComp (2019)
Yasuhito Asano, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Hsiang-Shang Ko, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, Van-Dang Tran, Kanae Tsushima, Masatoshi Yoshikawa
Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -. CoRR (2018)
Yasuhito Asano, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Hsiang-Shang Ko, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, Kanae Tsushima, Masatoshi Yoshikawa
A View-based Programmable Architecture for Controlling and Integrating Decentralized Data. CoRR (2018)
Mirai Ikebuchi, Keisuke Nakano
On Repetitive Right Application of B-Terms. FSCD (2018)
Mirai Ikebuchi, Keisuke Nakano
On repetitive right application of B-terms. CoRR (2017)
Daisuke Kinoshita, Keisuke Nakano
Bidirectional Certified Programming. BX@ETAPS (2017)
Kazuhiro Abe, Keisuke Nakano
Towards Practical Typechecking for Macro Forest Transducers. J. Inf. Process. 25 (2017)
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
Context-preserving XQuery fusion. Math. Struct. Comput. Sci. 25 (4) (2015)
Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, Hideya Iwasaki
XQuery streaming by Forest Transducers. ICDE (2014)
Keisuke Nakano
Metamorphism in jigsaw. J. Funct. Program. 23 (2) (2013)
Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
Structural recursion for querying ordered graphs. ICFP (2013)
Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu
Optimization for iterative queries on MapReduce. Proc. VLDB Endow. 7 (4) (2013)
Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, Hideya Iwasaki
XQuery Streaming by Forest Transducers. CoRR (2013)
Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
A parameterized graph transformation calculus for finite graphs with monadic branches. PPDP (2013)
Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
Polynomial-time inverse computation for accumulative functions with multiple data traversals. PEPM (2012)
Keisuke Nakano
Shall We Juggle, Coinductively? CPP (2012)
Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
Polynomial-time inverse computation for accumulative functions with multiple data traversals. High. Order Symb. Comput. 25 (1) (2012)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
Marker-Directed Optimization of UnCAL Graph Transformations. LOPSTR (2011)
Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
Graph-transformation verification using monadic second-order logic. PPDP (2011)
Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
Toward Bidirectionalization of ATL with GRoundTram. ICMT@TOOLS (2011)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations. ASE (2011)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
Bidirectionalizing graph transformations. ICFP (2010)
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
Context-Preserving XQuery Fusion. APLAS (2010)
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
Towards a compositional approach to model transformation for software development. SAC (2009)
Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
Consistent Web site updating based on bidirectional transformation. Int. J. Softw. Tools Technol. Transf. 11 (6) (2009)
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
A compositional approach to bidirectional model transformation. ICSE Companion (2009)
Keisuke Nakano
Composing Stack-Attributed Tree Transducers. Theory Comput. Syst. 44 (1) (2009)
Shin-Cheng Mu, Ta-Chung Tsai, Keisuke Nakano
XML Stream Processing Using a Lazy Concurrent Language. PLAN-X (2008)
Sebastian Maneth, Keisuke Nakano
XML Type Checking for Macro Tree Transducers with Holes. PLAN-X (2008)
Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
Consistent Web site updating based on bidirectional transformation. WSE (2008)
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi
Bidirectionalization transformation based on automatic derivation of view complement functions. ICFP (2007)
Alain Frisch, Keisuke Nakano
Streaming XML Transformation Using Term Rewriting. PLAN-X (2007)
Keisuke Nakano, Shin-Cheng Mu
A Pushdown Machine for Recursive XML Processing. APLAS (2006)
Susumu Nishimura, Keisuke Nakano
XML stream transformer generation through program composition and dependency analysis. Sci. Comput. Program. 54 (2-3) (2005)
Keisuke Nakano
An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors. APLAS (2004)
Keisuke Nakano, Susumu Nishimura
Deriving Event-Based Document Transformers from Tree-Based Specifications. Electron. Notes Theor. Comput. Sci. 44 (2) (2001)