Login / Signup
Daiki Ishii
ORCID
Publication Activity (10 Years)
Years Active: 2014-2023
Publications (10 Years): 3
Top Topics
Identify Potential
Design Issues
Human Machine Interaction
User Interface
Top Venues
GCCE
Int. J. Autom. Technol.
EuroUSEC
IEEE Trans. Hum. Mach. Syst.
</>
Publications
</>
Daiki Ishii
,
Akira Kanaoka
Vision: How to Provide Documentation to Non-skilled Developers for Appropriate Use of Cryptography: Action Research Study on Expert Monitoring.
EuroUSEC
(2023)
Masatomo Inui
,
Daiki Ishii
,
Nobuyuki Umezu
Comparison of Two Parallel Offsetting Algorithms Free from Conflicts Between Threads.
Int. J. Autom. Technol.
15 (6) (2021)
Daiki Ishii
,
Toshimitsu Ushio
A Bisimulation-Based Design of User Interface With Alerts Avoiding Automation Surprises.
IEEE Trans. Hum. Mach. Syst.
46 (2) (2016)
Daiki Ishii
,
Toshimitsu Ushio
Formal framework for detection of automation surprises in human-machine systems modeled by hybrid automata.
GCCE
(2014)