Speaking about Transitive Frames in Propositional Languages. - Yasuhito Suzuki; Frank Wolter; Michael Zakharyaschev (J. Log. Lang. Inf., 1998)

Verification of the Effectiveness to Monitor Darknet across Multiple Organizations. - Katsuya Nishijima; Takao Kondo; Tatsumi Hosokawa; Tomohiro Shigemoto; Nobutaka Kawaguchi; Hiroyuki Hasegawa; Hideyuki Honda; Yasuhito Suzuki; Tadashi Kaji; Osamu Nakamura (CANDAR (Workshops), 2021)