Norihisa Suzuki
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
1977–1992
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1992 | PSC | Massively Parallel Architectures and Symbolic Computation (panel). | Takayasu Ito, Rishiyur S. Nikhil, Julian A. Padget, Norihisa Suzuki, Taiichi Yuasa |
| 1984 | POPL | Creating Efficient Systems for Object-Oriented Languages. | Norihisa Suzuki, Minoru Terada |
| 1981 | POPL | Inferring Types in Smalltalk. | Norihisa Suzuki |
| 1980 | POPL | Analysis of Pointer Rotation. | Norihisa Suzuki |
| 1978 | FOCS | Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs | Lawrence Flon, Norihisa Suzuki |
| 1977 | POPL | Implementation of an Array Bound Checker. | Norihisa Suzuki, Kiyoshi Ishihata |