Space-time theory GQOT and its application to concurrent processes. - Koichiro Tanabe; Atsuyuki Suzuki (Syst. Comput. Jpn., 1988)

A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation. - Kazumi Nakamatsu; Atsuyuki Suzuki (Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, 1997)

An Interoperative Environment for Developing Expert Systems. - Noriaki Izumi; Akira Maruyama; Atsuyuki Suzuki; Takahira Yamaguchi (EKAW, 1999)

Annotated Semantics for Defeasible Deontic Reasoning. - Kazumi Nakamatsu; Jair Minoro Abe; Atsuyuki Suzuki (Rough Sets and Current Trends in Computing, 2000)

Extended Vector Annotated Logic Program and its Applications to Robot Action Control and Automated Safety Verification. - Kazumi Nakamatsu; Jair Minoro Abe; Atsuyuki Suzuki (HIS, 2001)

The Use of Genetic Algorithms for the Improvement of Energy Characteristics of CdZnTe Semiconductor Detectors. - Noha Shaaban; Shuichi Hasegawa; Atsuyuki Suzuki; Hiroyuki Takahashi (Genet. Program. Evolvable Mach., 2001)

A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming. - Kazumi Nakamatsu; Jair Minoro Abe; Atsuyuki Suzuki (HIS, 2002)

Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN. - Kazumi Nakamatsu; Toshiaki Seno; Jair Minoro Abe; Atsuyuki Suzuki (RSFDGrC, 2003)

A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse. - Kazumi Nakamatsu; Ryuji Ishikawa; Atsuyuki Suzuki (KES, 2004)

EVALPSN Based Railway Interlocking Simulator. - Kazumi Nakamatsu; Yosuke Kiuchi; Atsuyuki Suzuki (KES, 2004)

Defeasible Deontic Control for Discrete Events Based on EVALPSN. - Kazumi Nakamatsu; Hayato Komaba; Atsuyuki Suzuki; Chung-Lun Lie; Sheng-Luen Chung (Rough Sets and Current Trends in Computing, 2004)

Analysis of the decision to invest for constructing a nuclear power plant under regulation of electricity price. - Shin'ichiro Takizawa; Atsuyuki Suzuki (Decis. Support Syst., 2004)

An EVALP Based Traffic Simulation System. - Kazumi Nakamatsu; Ryuji Ishikawa; Atsuyuki Suzuki (LAPTEC, 2005)

Intelligent Safety Verification for Pipeline Based on EVALPSN. - Kazumi Nakamatsu; Kenji Kawasumi; Atsuyuki Suzuki (LAPTEC, 2005)

A Discrete Event Control Based on EVALPSN Stable Model. - Kazumi Nakamatsu; Hayato Komaba; Atsuyuki Suzuki (LAPTEC, 2005)

Autoepistemic Theory and Paraconsistent Logic Program. - Kazumi Nakamatsu; Atsuyuki Suzuki (LAPTEC, 2005)

Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I. - Kazumi Nakamatsu; Atsuyuki Suzuki (LAPTEC, 2005)

Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II. - Kazumi Nakamatsu; Atsuyuki Suzuki (LAPTEC, 2005)

Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence III. - Kazumi Nakamatsu; Atsuyuki Suzuki (LAPTEC, 2005)

Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence IV. - Kazumi Nakamatsu; Atsuyuki Suzuki (LAPTEC, 2005)

A Discrete Event Control Based on EVALPSN Stable Model Computation. - Kazumi Nakamatsu; Sheng-Luen Chung; Hayato Komaba; Atsuyuki Suzuki (RSFDGrC (1), 2005)

Gait collector: An automatic gait data collection system in conjunction with an experience-based long-run exhibition. - Yasushi Makihara; Takuhiro Kimura; Fumio Okura; Ikuhisa Mitsugami; Masataka Niwa; Chihiro Aoki; Atsuyuki Suzuki; Daigo Muramatsu; Yasushi Yagi (ICB, 2016)

Joint Intensity and Spatial Metric Learning for Robust Gait Recognition. - Yasushi Makihara; Atsuyuki Suzuki; Daigo Muramatsu; Xiang Li 028; Yasushi Yagi (CVPR, 2017)