| 2026 | RC | PisoLang: a User-Friendly Reversible Programming Language with Inductive Types. | Kosuke Onodera, Keisuke Nakano, Kazuyuki Asada, Kentaro Kikuchi |
| 2025 | PEPM | Characterizations of Partial Well-Behaved Lenses. | Keishi Hashiba, Keisuke Nakano, Kazuyuki Asada, Kentaro Kikuchi |
| 2024 | ICALP | Deciding Linear Height and Linear Size-To-Height Increase of Macro Tree Transducers. | Paul Gallot, Sebastian Maneth, Keisuke Nakano, Charles Peyrat |
| 2021 | MFCS | Idempotent Turing Machines. | Keisuke Nakano |
| 2021 | RC | A Tangled Web of 12 Lens Laws. | Keisuke Nakano |
| 2020 | RC | Involutory Turing Machines. | Keisuke Nakano |
| 2015 | ISADS | Theoretical Analysis of Pure Waiting Time for Battery Charging While Doing Something. | Kazuyuki Miyakita, Keisuke Nakano, Hiroshi Tamura |
| 2014 | ICDE | XQuery streaming by Forest Transducers. | Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, Hideya Iwasaki |
| 2013 | ICFP | Structural recursion for querying ordered graphs. | Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano |
| 2013 | PPDP | A parameterized graph transformation calculus for finite graphs with monadic branches. | Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano |
| 2012 | CPP | Shall We Juggle, Coinductively? | Keisuke Nakano |
| 2012 | PEPM | Polynomial-time inverse computation for accumulative functions with multiple data traversals. | Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano |
| 2011 | LOPSTR | Marker-Directed Optimization of UnCAL Graph Transformations. | Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano |
| 2011 | PPDP | Graph-transformation verification using monadic second-order logic. | Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano |
| 2010 | APLAS | Context-Preserving XQuery Fusion. | Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara |
| 2010 | ICFP | Bidirectionalizing graph transformations. | Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano |
| 2009 | ICSE | A compositional approach to bidirectional model transformation. | Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano |
| 2009 | SAC | Towards a compositional approach to model transformation for software development. | Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano |
| 2007 | ICFP | Bidirectionalization transformation based on automatic derivation of view complement functions. | Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi |
| 2006 | APLAS | A Pushdown Machine for Recursive XML Processing. | Keisuke Nakano, Shin-Cheng Mu |
| 2005 | ISCAS | On performance of a charging/rewarding scheme in mobile ad-hoc networks. | Keisuke Nakano, Rajesh Krishna Panta, Masakazu Sengoku, Shoji Shinoda |
| 2004 | APLAS | An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors. | Keisuke Nakano |
| 2002 | VTC | Effect of mobility on connectivity of mobile multihop wireless networks. | Keisuke Nakano, Masakazu Sengoku, Shoji Shinoda |
| 2001 | ISCAS | A circuit-connection-based multihop wireless infrastructure for local communities. | Kenichi Mase, Ritsuko Noto, Keisuke Nakano, Naoyuki Karasawa, Masakazu Sengoku, Shoji Shinoda |
| 2001 | ISCAS | Graph problems in multi-hop networks. | Kaoru Watanabe, Masakazu Sengoku, Hiroshi Tamura, Keisuke Nakano, Shoji Shinoda |
| 2000 | Networking | Traffic Characteristics in Adaptive Prioritized-Handoff Control Method Considering Reattempt Calls. | Noriteru Shinagawa, Takehiko Kobayashi, Keisuke Nakano, Masakazu Sengoku |
| 1999 | ISCAS | Graph theoretic or computational geometric research of cellular mobile communications. | Hiroshi Tamura, Masakazu Sengoku, Keisuke Nakano, Shoji Shinoda |