Login / Signup
Yasuhito Suzuki
Publication Activity (10 Years)
Years Active: 1998-2021
Publications (10 Years): 1
Top Topics
Case Study
Model Checking
Multiscale
Learning Algorithm
Top Venues
CANDAR (Workshops)
</>
Publications
</>
Katsuya Nishijima
,
Takao Kondo
,
Tatsumi Hosokawa
,
Tomohiro Shigemoto
,
Nobutaka Kawaguchi
,
Hiroyuki Hasegawa
,
Hideyuki Honda
,
Yasuhito Suzuki
,
Tadashi Kaji
,
Osamu Nakamura
Verification of the Effectiveness to Monitor Darknet across Multiple Organizations.
CANDAR (Workshops)
(2021)
Yasuhito Suzuki
,
Frank Wolter
,
Michael Zakharyaschev
Speaking about Transitive Frames in Propositional Languages.
J. Log. Lang. Inf.
7 (3) (1998)