dblp.uni-trier.dewww.uni-trier.de

Norihisa Suzuki

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1992
17 Takayasu Ito, Rishiyur S. Nikhil, Julian A. Padget, Norihisa Suzuki, Taiichi Yuasa: Massively Parallel Architectures and Symbolic Computation (panel). Parallel Symbolic Computing 1992: 408-416
1989
16 Norihisa Suzuki: Design and Evaluation of Multiprocessor Workstations. IFIP Congress 1989: 231
15 Norihisa Suzuki: TOP-1 Multiprocessor Workstation. Workshop on Parallel Lisp 1989: 353-363
1984
14 Norihisa Suzuki, Koichi Kubota, Takashi Aoki: Sword32: A Bytecode Emulating Micorprocessor for Object-Oriented Languages. FGCS 1984: 389-397
13 Norihisa Suzuki, Minoru Terada: Creating Efficient Systems for Object-Oriented Languages. POPL 1984: 290-296
12 Norihisa Suzuki: Experience with Specification and Verification of Hardware Using PROLOG. VLSI Engineering 1984: 161-173
1983
11 Hideyuki Nakashima, Norihisa Suzuki: Data Abstraction in Prolog/KR. New Generation Comput. 1(1): 49-62 (1983)
1982
10 Norihisa Suzuki: Analysis of Pointer "Rotation". Commun. ACM 25(5): 330-335 (1982)
1981
9 Norihisa Suzuki: Inferring Types in Smalltalk. POPL 1981: 187-199
8 Lawrence Flon, Norihisa Suzuki: The Total Correctness of Parallel Programs. SIAM J. Comput. 10(2): 227-246 (1981)
1980
7 Norihisa Suzuki: Analysis of Pointer Rotation. POPL 1980: 1-11
6EENorihisa Suzuki, David Jefferson: Verification Decidability of Presburger Array Programs. J. ACM 27(1): 191-205 (1980)
1979
5EEDavid C. Luckham, Norihisa Suzuki: Verification of Array, Record, and Pointer Operations in Pascal. ACM Trans. Program. Lang. Syst. 1(2): 226-244 (1979)
1978
4 Lawrence Flon, Norihisa Suzuki: Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs FOCS 1978: 184-192
1977
3 Norihisa Suzuki, Kiyoshi Ishihata: Implementation of an Array Bound Checker. POPL 1977: 132-143
2 David C. Luckham, Norihisa Suzuki: Proof of Termination within a Weak Logic of Programs Acta Inf. 8: 21-36 (1977)
1976
1 Norihisa Suzuki: Automatic Verification of Programs with Complex Data Structures Garland Publishing, New York 1976

Coauthor Index

1Takashi Aoki [14]
2Lawrence Flon [4] [8]
3Kiyoshi Ishihata [3]
4Takayasu Ito [17]
5David Jefferson [6]
6Koichi Kubota [14]
7David C. Luckham [2] [5]
8Hideyuki Nakashima [11]
9Rishiyur S. Nikhil [17]
10Julian A. Padget [17]
11Minoru Terada [13]
12Taiichi Yuasa [17]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)