Keisuke Nakano

According to our database, Keisuke Nakano authored at least 43 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version).

Keisuke Nakano, Munehiro Iwami

CoRR, 2024

Disproving Termination of Non-erasing Sole Combinatory Calculus with Tree Automata.

Keisuke Nakano, Munehiro Iwami

Proceedings of the Implementation and Application of Automata, 2024

Deciding Linear Height and Linear Size-To-Height Increase of Macro Tree Transducers.

Paul Gallot, Sebastian Maneth, Keisuke Nakano, Charles Peyrat

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2022

Time-symmetric Turing machines for computable involutions.

Keisuke Nakano

Sci. Comput. Program., 2022

2021

Streaming ranked-tree-to-string transducers.

Yuta Takahashi, Kazuyuki Asada, Keisuke Nakano

Theor. Comput. Sci., 2021

A Tangled Web of 12 Lens Laws.

Keisuke Nakano

Proceedings of the Reversible Computation - 13th International Conference, 2021

Idempotent Turing Machines.

Keisuke Nakano

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

On properties of B-terms.

Mirai Ikebuchi, Keisuke Nakano

Log. Methods Comput. Sci., 2020

Involutory Turing Machines.

Keisuke Nakano

Proceedings of the Reversible Computation - 12th International Conference, 2020

2019

Towards a Complete Picture of Lens Laws.

Keisuke Nakano

CoRR, 2019

Toward BX-Based Architecture for Controlling and Sharing Distributed Data.

Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki

Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2019

Flexible Framework for Data Integration and Update Propagation: System Aspect.

Yasuhito Asano, Dennis-Florian Herr, Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki

Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2019

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, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, Van-Dang Tran, Kanae Tsushima, Masatoshi Yoshikawa

CoRR, 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, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, Kanae Tsushima, Masatoshi Yoshikawa

CoRR, 2018

On Repetitive Right Application of B-Terms.

Mirai Ikebuchi, Keisuke Nakano

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2017

Towards Practical Typechecking for Macro Forest Transducers.

Kazuhiro Abe, Keisuke Nakano

J. Inf. Process., 2017

Bidirectional Certified Programming.

Daisuke Kinoshita, Keisuke Nakano

Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, 2017

2015

Context-preserving XQuery fusion.

Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara

Math. Struct. Comput. Sci., 2015

2014

XQuery streaming by Forest Transducers.

Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, Hideya Iwasaki

Proceedings of the IEEE 30th International Conference on Data Engineering, Chicago, 2014

2013

Optimization for iterative queries on MapReduce.

Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu

Proc. VLDB Endow., 2013

Metamorphism in jigsaw.

Keisuke Nakano

J. Funct. Program., 2013

A parameterized graph transformation calculus for finite graphs with monadic branches.

Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

Structural recursion for querying ordered graphs.

Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

Polynomial-time inverse computation for accumulative functions with multiple data traversals.

Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano

High. Order Symb. Comput., 2012

Shall We Juggle, Coinductively?

Keisuke Nakano

Proceedings of the Certified Programs and Proofs - Second International Conference, 2012

2011

Graph-transformation verification using monadic second-order logic.

Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Marker-Directed Optimization of UnCAL Graph Transformations.

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations.

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Toward Bidirectionalization of ATL with GRoundTram.

Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano

Proceedings of the Theory and Practice of Model Transformations, 2011

2010

Bidirectionalizing graph transformations.

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009

Consistent Web site updating based on bidirectional transformation.

Keisuke Nakano, Zhenjiang Hu, Masato Takeichi

Int. J. Softw. Tools Technol. Transf., 2009

Composing Stack-Attributed Tree Transducers.

Keisuke Nakano

Theory Comput. Syst., 2009

Computing the Cost of Typechecking of Composition of Macro Tree Transducers.

Keisuke Nakano, Sebastian Maneth

Inf. Media Technol., 2009

Towards a compositional approach to model transformation for software development.

Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A compositional approach to bidirectional model transformation.

Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

XML Stream Processing Using a Lazy Concurrent Language.

Shin-Cheng Mu, Ta-Chung Tsai, Keisuke Nakano

Proceedings of the PLAN-X 2008, 2008

XML Type Checking for Macro Tree Transducers with Holes.

Sebastian Maneth, Keisuke Nakano

Proceedings of the PLAN-X 2008, 2008

2007

Streaming XML Transformation Using Term Rewriting.

Alain Frisch, Keisuke Nakano

Proceedings of the PLAN-X 2007, 2007

Bidirectionalization transformation based on automatic derivation of view complement functions.

Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006

A Pushdown Machine for Recursive XML Processing.

Keisuke Nakano, Shin-Cheng Mu

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

XML stream transformer generation through program composition and dependency analysis.

Susumu Nishimura, Keisuke Nakano

Sci. Comput. Program., 2005

2004

An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors.

Keisuke Nakano

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2001

Deriving Event-Based Document Transformers from Tree-Based Specifications.

Keisuke Nakano, Susumu Nishimura

Proceedings of the First Workshop on Language Descriptions, Tools and Applications, 2001