Yoshifumi Yuasa

Publication Activity (10 Years)

Years Active: 1993-2014
Publications (10 Years): 0

Top Topics

Ontology Languages

Multiagent Systems

Argumentation Schemes

Top Venues

ISSRE (Supplemental Proceedings)

Publications

Hiroyuki Kido, Yukio Ohsawa, Makoto Hirai, Yoshifumi Yuasa, Toshinori Takai
Towards Argumentation Schemes for Open Systems Dependability. DASC (2014)
Makoto Hirai, Yoshifumi Yuasa, Yoshiki Kinoshita
A chain of accountabilities in open systems based on assured entrustments. ISSRE (Supplemental Proceedings) (2013)
Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi
Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus. IEICE Trans. Inf. Syst. (5) (2009)
Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi
Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic. VSTTE (2008)
Yoshifumi Yuasa
Adding a Cohen real adds an entangled linear order. Arch. Math. Log. 32 (4) (1993)