Skip to content

Kenichi Arai

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

18

Venues

7

Active years

1997–2024

Best venue rank

A*

Where they publish

Papers

18 indexed papers, newest first.

YearVenueTitleAuthors
2024ISITAFormal Security Verification for Searchable Symmetric Encryption Using ProVerif.Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa, Hiroaki Yamamoto
2023COMPSACLINE Metaverse for elderly people.Toru Kobayashi, Atsushi Isozaki, Kazuki Fukae, Kenichi Arai, Daiki Togawa, Masahide Nakamura
2023InterspeechImpact of Residual Noise and Artifacts in Speech Enhancement Errors on Intelligibility of Human and Machine.Shoko Araki, Ayako Yamamoto, Tsubasa Ochiai, Kenichi Arai, Atsunori Ogawa, Tomohiro Nakatani, Toshio Irino
2022ETFAInterpretable image features for anomaly identification on hexagonal net knitting machines.Tetsuo Imai, Shoya Ogawa, Nobuyuki Yonaga, Kazuki Fukae, Kenichi Arai, Toru Kobayashi
2021COMPSACDiagnostic Imaging Support System for Rheumatoid Arthritis Using Ultrasound Images.Kenichi Arai, Chisato Miura, Shinya Kawashiri, Tetsuo Imai, Toru Kobayashi
2021COMPSACDevelopment of Observation Device with Multi Sensor Platform for Underwater Aquaculture Cages.Kazuki Fukae, Tetsuo Imai, Shintaro Yamabe, Kenichi Arai, Toru Kobayashi
2021InterspeechComparison of Remote Experiments Using Crowdsourcing and Laboratory Experiments on Speech Intelligibility.Ayako Yamamoto, Toshio Irino, Kenichi Arai, Shoko Araki, Atsunori Ogawa, Keisuke Kinoshita, Tomohiro Nakatani
2020InterspeechPredicting Intelligibility of Enhanced Speech Using Posteriors Derived from DNN-Based ASR System.Kenichi Arai, Shoko Araki, Atsunori Ogawa, Keisuke Kinoshita, Tomohiro Nakatani, Toshio Irino
2020ISITAFormal Verification of Merkle-Damgrd Construction in ProVerif.Takehiko Mieno, Togo Yoshimura, Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai
2020PERCOMA NAS Integrated File System for On-site IoT Data Storage.Yuki Okamoto, Kenichi Arai, Toru Kobayashi, Takuya Fujihashi, Takashi Watanabe, Shunsuke Saruwatari
2019COMPSACCommunication Robot for Elderly Based on Robotic Process Automation.Toru Kobayashi, Kenichi Arai, Tetsuo Imai, Shigeaki Tanimoto, Hiroyuki Sato, Atsushi Kanai
2019InterspeechPredicting Speech Intelligibility of Enhanced Speech Using Phone Accuracy of DNN-Based ASR System.Kenichi Arai, Shoko Araki, Atsunori Ogawa, Keisuke Kinoshita, Tomohiro Nakatani, Katsuhiko Yamamoto, Toshio Irino
2018ISITASuitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif.Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai
2017COMPSACOn-Demand Barrier-Free Street View System Using Sensor Information from General-Purpose Wheelchair Users.Kenichi Arai, Takuya Tateishi, Toru Kobayashi, Noboru Sonehara
2017COMPSACSNS Agency Robot for Elderly People Using External Cloud-Based Services.Toru Kobayashi, Kazushige Katsuragi, Taishi Miyazaki, Kenichi Arai
2016COMPSACSocial Media Mediation System for Closing Inter-Generational Communication Gap.Toru Kobayashi, Kazushige Katsuragi, Kenichi Arai, Tomoya Sakai, Makoto Fujimura
2005ISITSecret key agreement under sampling attack.Jun Muramatsu, Kazuyuki Yoshimura, Kenichi Arai, Peter Davis
1997ICONIPAdaptive β Scheduling Learning Method of Finite State Automata by Recurrent Neural Networks.Kenichi Arai, Ryohei Nakano