Adding a Cohen real adds an entangled linear order. - Yoshifumi Yuasa (Arch. Math. Log., 1993)

Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic. - Yoshifumi Yuasa; Yoshinori Tanabe; Toshifusa Sekizawa; Koichi Takahashi (VSTTE, 2008)

Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus. - Yoshinori Tanabe; Toshifusa Sekizawa; Yoshifumi Yuasa; Koichi Takahashi (IEICE Trans. Inf. Syst., 2009)

A chain of accountabilities in open systems based on assured entrustments. - Makoto Hirai; Yoshifumi Yuasa; Yoshiki Kinoshita (ISSRE (Supplemental Proceedings), 2013)

Towards Argumentation Schemes for Open Systems Dependability. - Hiroyuki Kido 001; Yukio Ohsawa; Makoto Hirai; Yoshifumi Yuasa; Toshinori Takai (DASC, 2014)