Keisuke Nakano

Available identifiers

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	2021-11-03	Paper
Involutory Turing machines	2021-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4993347	2021-06-15	Paper
Streaming ranked-tree-to-string transducers	2021-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q5114826	2020-06-26	Paper
Streaming ranked-tree-to-string transducers	2020-05-06	Paper
Polynomial-time inverse computation for accumulative functions with multiple data traversals	2017-05-15	Paper
Structural recursion for querying ordered graphs	2015-03-30	Paper
Bidirectionalizing graph transformations	2015-03-05	Paper
Bidirectionalization transformation based on automatic derivation of view complement functions	2014-07-21	Paper
Metamorphism in jigsaw	2013-06-14	Paper
Shall We Juggle, Coinductively?	2013-04-19	Paper
Marker-Directed Optimization of UnCAL Graph Transformations	2013-03-13	Paper
Composing stack-attributed tree transducers	2009-08-06	Paper
A Pushdown Machine for Recursive XML Processing	2008-05-06	Paper
Programming Languages and Systems	2005-08-17	Paper
XML stream transformer generation through program composition and dependency analysis	2005-01-11	Paper
Fundamental characteristics of multi-hop wireless communication networks	2003-02-17	Paper

This page was built for person: Keisuke Nakano