Keisuke Nakano

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Disproving termination of non-erasing sole combinatory calculus with tree automata	2025-01-20	Paper
Idempotent Turing Machines	2023-08-08	Paper
A Tangled Web of 12 Lens Laws Reversible Computation	2021-11-03	Paper
Involutory Turing machines	2021-07-05	Paper
On repetitive right application of \(B\)-terms (available as arXiv preprint)	2021-06-15	Paper
Streaming ranked-tree-to-string transducers Theoretical Computer Science	2021-06-03	Paper
scientific article; zbMATH DE number 7215287 (Why is no real title available?) (available as arXiv preprint)	2020-06-26	Paper
scientific article; zbMATH DE number 7215287 (Why is no real title available?)	2020-06-26	Paper
Streaming ranked-tree-to-string transducers Implementation and Application of Automata	2020-05-06	Paper
Polynomial-time inverse computation for accumulative functions with multiple data traversals Higher-Order and Symbolic Computation	2017-05-15	Paper
Structural recursion for querying ordered graphs Proceedings of the 18th ACM SIGPLAN international conference on Functional programming	2015-03-30	Paper
Bidirectionalizing graph transformations Proceedings of the 15th ACM SIGPLAN international conference on Functional programming	2015-03-05	Paper
Bidirectionalization transformation based on automatic derivation of view complement functions Proceedings of the 12th ACM SIGPLAN international conference on Functional programming	2014-07-21	Paper
Metamorphism in jigsaw Journal of Functional Programming	2013-06-14	Paper
Shall we juggle, coinductively? Certified Programs and Proofs	2013-04-19	Paper
Marker-directed optimization of UnCAL graph transformations Logic-Based Program Synthesis and Transformation	2013-03-13	Paper
Composing stack-attributed tree transducers Theory of Computing Systems	2009-08-06	Paper
A Pushdown Machine for Recursive XML Processing Programming Languages and Systems	2008-05-06	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2005-08-17	Paper
XML stream transformer generation through program composition and dependency analysis Science of Computer Programming	2005-01-11	Paper
Fundamental characteristics of multi-hop wireless communication networks Telecommunication Systems	2003-02-17	Paper

Research outcomes over time

This page was built for person: Keisuke Nakano