Norihisa Suzuki
发表
David C. Luckham,
Norihisa Suzuki,
1979
.
Lawrence Flon,
Norihisa Suzuki,
1981,
SIAM J. Comput..
David Jefferson,
Norihisa Suzuki,
N. Suzuki,
1980,
JACM.
Norihisa Suzuki,
1985,
Computer.
Norihisa Suzuki,
1974
.
Norihisa Suzuki,
Kiyoshi Ishihata,
N. Suzuki,
1977,
POPL.
Takayasu Ito,
Taiichi Yuasa,
Rishiyur S. Nikhil,
1992
.
Norihisa Suzuki,
Todd Williamson,
Peter W Rander,
2000
.
Norihisa Suzuki,
2009,
New Generation Computing.
Norihisa Suzuki,
1989,
Workshop on Parallel Lisp.
David C. Luckham,
Norihisa Suzuki,
D. Luckham,
1979,
TOPL.
Automatic program verification V: verification-oriented proof rules for arrays, records and pointers
David C. Luckham,
Norihisa Suzuki,
1976
.
Norihisa Suzuki,
1975
.
Norihisa Suzuki,
1980,
POPL '80.
David C. Luckham,
Norihisa Suzuki,
2004,
Acta Informatica.
Norihisa Suzuki,
N. Suzuki,
1981,
POPL '81.
Takayasu Ito,
Taiichi Yuasa,
Julian Padget,
1992,
Parallel Symbolic Computing.
Lawrence Flon,
Norihisa Suzuki,
1978,
19th Annual Symposium on Foundations of Computer Science (sfcs 1978).
Koichi Kubota,
Norihisa Suzuki,
Takashi Aoki,
1984,
FGCS.
Norihisa Suzuki,
N. Suzuki,
1975,
Reliable Software.
Norihisa Suzuki,
Minoru Terada,
1984,
POPL '84.
Norihisa Suzuki,
1976,
Outstanding Dissertations in the Computer Sciences.
Norihisa Suzuki,
1984,
VLSI Engineering.
Hideyuki Nakashima,
Norihisa Suzuki,
2009,
New Generation Computing.
Lawrence Flon,
Norihisa Suzuki,
L. Flon,
1977,
Formal Description of Programming Concepts.
Norihisa Suzuki,
N. Suzuki,
1992
.
Norihisa Suzuki,
1989,
IFIP Congress.
Norihisa Suzuki,
2009,
New Generation Computing.
Norihisa Suzuki,
1982,
CACM.
Norihisa Suzuki,
N. Suzuki,
1992
.
Norihisa Suzuki,
David Jefferson,
1977
.