Verifying programs by algebraic and logical reduction. - Norihisa Suzuki (Reliable Software, 1975)

Automatic Verification of Programs with Complex Data Structures - Norihisa Suzuki (Garland Publishing, New York, 1976)

Automatic verification of programs with complex data structure. - Norihisa Suzuki (1976)

Nondeterminism and the Correctness of Parallel Programs. - Lawrence Flon; Norihisa Suzuki (Formal Description of Programming Concepts, 1977)

Implementation of an Array Bound Checker. - Norihisa Suzuki; Kiyoshi Ishihata (POPL, 1977)

Proof of Termination within a Weak Logic of Programs. - David C. Luckham; Norihisa Suzuki (Acta Informatica, 1977)

Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs - Lawrence Flon; Norihisa Suzuki (FOCS, 1978)

Verification of Array, Record, and Pointer Operations in Pascal. - David C. Luckham; Norihisa Suzuki (ACM Trans. Program. Lang. Syst., 1979)

Verification Decidability of Presburger Array Programs. - Norihisa Suzuki; David Jefferson (J. ACM, 1980)

Inferring Types in Smalltalk. - Norihisa Suzuki (POPL, 1981)

The Total Correctness of Parallel Programs. - Lawrence Flon; Norihisa Suzuki (SIAM J. Comput., 1981)

Analysis of Pointer "Rotation". - Norihisa Suzuki (Commun. ACM, 1982)

Data Abstraction in Prolog/KR. - Hideyuki Nakashima; Norihisa Suzuki (New Gener. Comput., 1983)

Sword32: A Bytecode Emulating Micorprocessor for Object-Oriented Languages. - Norihisa Suzuki; Koichi Kubota; Takashi Aoki (FGCS, 1984)

Creating Efficient Systems for Object-Oriented Languages. - Norihisa Suzuki; Minoru Terada (POPL, 1984)

Experience with Specification and Verification of Hardware Using PROLOG. - Norihisa Suzuki (VLSI Engineering, 1984)

Concurrent Prolog as an Efficient VLSI Design Language. - Norihisa Suzuki (Computer, 1985)

Design and Evaluation of Multiprocessor Workstations. - Norihisa Suzuki (IFIP Congress, 1989)

TOP-1 Multiprocessor Workstation. - Norihisa Suzuki (Workshop on Parallel Lisp, 1989)

Massively Parallel Architectures and Symbolic Computation (panel). - Takayasu Ito; Rishiyur S. Nikhil; Julian A. Padget; Norihisa Suzuki; Taiichi Yuasa (Parallel Symbolic Computing, 1992)