Shohei Mitani

According to our database, Shohei Mitani authored at least 4 papers between 2010 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

LLM-AQuA-DiVeR: LLM-Assisted Quality Assurance Through Dialogues on Verifiable Specification with Requirement Owners.

Shohei Mitani, Salonee Moona, Shin'ichiro Matsuo, Eric W. Burger

Proceedings of the IEEE/ACM International Workshop on Responsible AI Engineering, 2025

2024

Light-SABRE: A Lightweight Encrypted Data Distribution System for Internet of Things.

Nakul Ghate, Shohei Mitani, Hirofumi Ueda

Proceedings of the Foundations and Practice of Security - 17th International Symposium, 2024

2023

Qualitative Intention-aware Attribute-based Access Control Policy Refinement.

Shohei Mitani, Jonghoon Kwon, Nakul Ghate, Taniya Singh, Hirofumi Ueda, Adrian Perrig

Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023

2010

NBRP databases: databases of biological resources in Japan.

Yukiko Yamazaki, Ryo Akashi, Yutaka Banno, Takashi Endo, Hiroshi Ezura, Kaoru Fukami-Kobayashi, Kazuo Inaba, Tadashi Isa, Katsuhiko Kamei, Fumie Kasai, Masatomo Kobayashi, Nori Kurata, Makoto Kusaba, Tetsuro Matuzawa, Shohei Mitani, Taro Nakamura, Yukio Nakamura, Norio Nakatsuji, Kiyoshi Naruse, Hironori Niki, Eiji Nitasaka, Yuichi Obata, Hitoshi Okamoto, Moriya Okuma, Kazuhiro Sato, Tadao Serikawa, Toshihiko Shiroishi, Hideaki Sugawara, Hideko Urushibara, Masatoshi Yamamoto, Yoshio Yaoita, Atsushi Yoshiki, Yuji Kohara

Nucleic Acids Res., 2010