Keisuke Nakano

Orcid: 0000-0003-1955-4225

Affiliations:
  • Tohoku University, Research Institute of Electric Communication, Sendai, Japan
  • University of Electro-Communications, Faculty of Informatics and Engineering, Chofu, Japan (2008 - 2018)
  • University of Tokyo, Department of Mathematical Informatics, Japan (2003 - 2008)
  • Kyoto University, Division of Mathematics and Mathematical Sciences, Japan (PhD 2006)


According to our database1, Keisuke Nakano authored at least 40 papers between 2001 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers.
CoRR, 2023

2022
Time-symmetric Turing machines for computable involutions.
Sci. Comput. Program., 2022

2021
Streaming ranked-tree-to-string transducers.
Theor. Comput. Sci., 2021

A Tangled Web of 12 Lens Laws.
Proceedings of the Reversible Computation - 13th International Conference, 2021

Idempotent Turing Machines.
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020
On properties of B-terms.
Log. Methods Comput. Sci., 2020

Involutory Turing Machines.
Proceedings of the Reversible Computation - 12th International Conference, 2020

2019
Towards a Complete Picture of Lens Laws.
CoRR, 2019

Toward BX-Based Architecture for Controlling and Sharing Distributed Data.
Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2019

Flexible Framework for Data Integration and Update Propagation: System Aspect.
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 -.
CoRR, 2018

A View-based Programmable Architecture for Controlling and Integrating Decentralized Data.
CoRR, 2018

On Repetitive Right Application of B-Terms.
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2017
Towards Practical Typechecking for Macro Forest Transducers.
J. Inf. Process., 2017

Bidirectional Certified Programming.
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.
Math. Struct. Comput. Sci., 2015

2014
XQuery streaming by Forest Transducers.
Proceedings of the IEEE 30th International Conference on Data Engineering, Chicago, 2014

2013
Optimization for iterative queries on MapReduce.
Proc. VLDB Endow., 2013

Metamorphism in jigsaw.
J. Funct. Program., 2013

A parameterized graph transformation calculus for finite graphs with monadic branches.
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

Structural recursion for querying ordered graphs.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012
Polynomial-time inverse computation for accumulative functions with multiple data traversals.
High. Order Symb. Comput., 2012

Shall We Juggle, Coinductively?
Proceedings of the Certified Programs and Proofs - Second International Conference, 2012

2011
Graph-transformation verification using monadic second-order logic.
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Marker-Directed Optimization of UnCAL Graph Transformations.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Toward Bidirectionalization of ATL with GRoundTram.
Proceedings of the Theory and Practice of Model Transformations, 2011

2010
Bidirectionalizing graph transformations.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009
Consistent Web site updating based on bidirectional transformation.
Int. J. Softw. Tools Technol. Transf., 2009

Composing Stack-Attributed Tree Transducers.
Theory Comput. Syst., 2009

Towards a compositional approach to model transformation for software development.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A compositional approach to bidirectional model transformation.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
XML Stream Processing Using a Lazy Concurrent Language.
Proceedings of the PLAN-X 2008, 2008

XML Type Checking for Macro Tree Transducers with Holes.
Proceedings of the PLAN-X 2008, 2008

2007
Streaming XML Transformation Using Term Rewriting.
Proceedings of the PLAN-X 2007, 2007

Bidirectionalization transformation based on automatic derivation of view complement functions.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006
A Pushdown Machine for Recursive XML Processing.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005
XML stream transformer generation through program composition and dependency analysis.
Sci. Comput. Program., 2005

2004
An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2001
Deriving Event-Based Document Transformers from Tree-Based Specifications.
Proceedings of the First Workshop on Language Descriptions, Tools and Applications, 2001


  Loading...