Formal framework for detection of automation surprises in human-machine systems modeled by hybrid automata. - Daiki Ishii; Toshimitsu Ushio (GCCE, 2014)

A Bisimulation-Based Design of User Interface With Alerts Avoiding Automation Surprises. - Daiki Ishii; Toshimitsu Ushio (IEEE Trans. Hum. Mach. Syst., 2016)

Comparison of Two Parallel Offsetting Algorithms Free from Conflicts Between Threads. - Masatomo Inui; Daiki Ishii; Nobuyuki Umezu (Int. J. Autom. Technol., 2021)

Vision: How to Provide Documentation to Non-skilled Developers for Appropriate Use of Cryptography: Action Research Study on Expert Monitoring. - Daiki Ishii; Akira Kanaoka (EuroUSEC, 2023)