The SCEAS System
Navigation Menu

Search the dblp DataBase


Norihisa Suzuki: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.099secs, Finished in 0.100secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002