Finding two-level interpersonal context: proximity and conversation detection from personal audio feature data. - Masayuki Okamoto; Naoki Iketani; Keisuke Nishimura; Masaaki Kikuchi; Kenta Cho 001; Masanori Hattori; Sougo Tsuboi (INTERSPEECH, 2008)

BDI Model-Based Crowd Simulation. - Kenta Cho 001; Naoki Iketani; Masaaki Kikuchi; Keisuke Nishimura; Hisashi Hayashi; Masanori Hattori (IVA, 2008)

RAPLET: Demystifying Publish/Subscribe Latency for ROS Applications. - Keisuke Nishimura; Takahiro Ishikawa; Hiroshi Sasaki 001; Shinpei Kato (RTCSA, 2021)

RCABench: Open Benchmarking Platform for Root Cause Analysis. - Keisuke Nishimura; Yuichi Sugiyama; Yuki Koike; Masaya Motoda; Tomoya Kitagawa; Toshiki Takatera; Yuma Kurogome (CoRR, 2023)

Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler. - Julia Lawall; Keisuke Nishimura; Jean-Pierre Lozi (SAS, 2024)

Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler (Artifact). - Julia Lawall; Keisuke Nishimura; Jean-Pierre Lozi (Zenodo, 2024)