Implementation and Evaluation of Leader Election in the Population Protocol Model Using an Emulation Environment. - Keitaro Watanabe; Hideharu Kojima; Yuichi Sudo; Naoto Yanai; Tatsuhiro Tsuchiya (DASC/PiCom/CBDCom/CyberSciTech, 2022)

KAOS Modeling Editor: A tool for semi-automated goal modeling (short paper). - Keitaro Watanabe; Hiroyuki Nakagawa; Tatsuhiro Tsuchiya (ER (Companion), 2023)