Keisuke Nakano

53 papers A* 3A 3B 6C 9Misc 2Journal 20Unranked 10

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