Keisuke Nishimura
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2008–2024
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SAS | Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler. | Julia Lawall, Keisuke Nishimura, Jean-Pierre Lozi |
| 2021 | RTCSA | RAPLET: Demystifying Publish/Subscribe Latency for ROS Applications. | Keisuke Nishimura, Takahiro Ishikawa, Hiroshi Sasaki, Shinpei Kato |
| 2008 | Interspeech | Finding two-level interpersonal context: proximity and conversation detection from personal audio feature data. | Masayuki Okamoto, Naoki Iketani, Keisuke Nishimura, Masaaki Kikuchi, Kenta Cho, Masanori Hattori, Sougo Tsuboi |
| 2008 | IVA | BDI Model-Based Crowd Simulation. | Kenta Cho, Naoki Iketani, Masaaki Kikuchi, Keisuke Nishimura, Hisashi Hayashi, Masanori Hattori |