Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Disproving Termination of O and S-like Combinators by Tree Automata
Iwami, M. & Nakano, K., 2026 Jan, In: Journal of Information Processing. 34, 1, p. 39-44 6 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Characterizations of Partial Well-Behaved Lenses
Hashiba, K., Nakano, K., Asada, K. & Kikuchi, K., 2025 Jan 10, PEPM 2025 - Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Co-located with: POPL 2025. Allais, G. & Liu, Y. A. (eds.). Association for Computing Machinery, Inc, p. 43-53 11 p. (PEPM 2025 - Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Co-located with: POPL 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Deciding Linear Height and Linear Size-To-Height Increase of Macro Tree Transducers
Gallot, P., Maneth, S., Nakano, K. & Peyrat, C., 2024 Jul, 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024. Bringmann, K., Grohe, M., Puppis, G. & Svensson, O. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 138. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 297).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Disproving Termination of Non-erasing Sole Combinatory Calculus with Tree Automata
Nakano, K. & Iwami, M., 2024, Implementation and Application of Automata - 28th International Conference, CIAA 2024, Proceedings. Fazekas, S. Z. (ed.). Springer Science and Business Media Deutschland GmbH, p. 261-275 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15015 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Citation (Scopus) -
Lens Laws Zoo
Nakano, K., 2024 Jan 1, Bidirectional Collaborative Data Management: Collaboration Frameworks for Decentralized Systems. Springer Nature, p. 37-59 23 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
Press/Media
-
First Observation of Oxygen-28 in Light Neutron-Rich Nuclei Exploration
Saito, Y., Kobayashi, T., Yoshida, S., Koyama, S., Saito, Y., Baba, H., Tanaka, M., Tomai, T., Sato, H., Kobayashi, T., Murakami, T., Yoshida, S., Tanaka, M., Yasuda, M., Nakamura, T., Nakamura, T., Ito, T., Otsuka, T., Nakano, K., Sato, H., Sato, H., Yoshida, S., Shimizu, Y., Nakamura, T., Miki, K., Saito, Y., Saito, Y., Kondo, Y. & Saito, Y.
23/8/31
1 item of Media coverage
Press/Media