| 2023 | HRI | How Sequential Suggestions from a Robot and Human Jury Influence Decision Making: A Large Scale Investigation using a Court Sentencing Judgment Task. | Yugo Hayashi, Kosuke Wakabayashi, Yuki Nishida |
| 2021 | TACAS | Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. | Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi |
| 2019 | APLAS | Manifest Contracts with Intersection Types. | Yuki Nishida, Atsushi Igarashi |
| 2018 | COMPSAC | An Experiment of Human Feeling for Hospitality Robot Measured with Biological Information. | Midori Sugaya, Yuki Nishida, Reiji Yoshida, Yuya Takahashi |
| 2018 | PPDP | Nondeterministic Manifest Contracts. | Yuki Nishida, Atsushi Igarashi |
| 2017 | APLAS | Sharper and Simpler Nonlinear Interpolants for Program Verification. | Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo |
| 2015 | POPL | Manifest Contracts for Datatypes. | Taro Sekiyama, Yuki Nishida, Atsushi Igarashi |
| 2011 | SENSYS | Enhanced collaborative sensing scheme for user activity recognition. | Yuki Nishida, Yoshihiro Kawahara, Tohru Asami |