PAS-CIP: An interactive logic design system. - Gotaro Odawara; Satoshi Kurishima; Hiroshi Aoyama; Yasuhiko Kanaya (DAC, 1981)

A piecewise linear approximation method preserving visual feature points of original figures. - Hiroshi Aoyama; Masahiro Kawagoe (CVGIP Graph. Model. Image Process., 1991)

The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic. - Hiroshi Aoyama (Notre Dame J. Formal Log., 1994)

The Semantic Completeness of a Global Intuitionistic Logic. - Hiroshi Aoyama (Math. Log. Q., 1998)

LK, LJ, Dual Intuitionistic Logic, and Quantum Logic. - Hiroshi Aoyama (Notre Dame J. Formal Log., 2004)

Systems of Quantum Logic. - Satoko Titani; Heiji Kodera; Hiroshi Aoyama (Stud Logica, 2013)