The SCEAS System
Navigation Menu

Search the dblp DataBase


Katsumi Wasaki: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Takashi Mitsuishi, Jun Kawabe, Katsumi Wasaki, Yasunari Shidama
    Optimization of Fuzzy Feedback Control in L_Space. [Citation Graph (0, 0)][DBLP]
    FUZZ-IEEE, 2001, pp:896-899 [Conf]
  2. Shin'nosuke Yamaguchi, Katsumi Wasaki, Ysunari Shidama
    A High Reliability Design for Nfs Server Software By Using an Extended Petri Net. [Citation Graph (0, 0)][DBLP]
    ICEIS (3), 2003, pp:498-502 [Conf]
  3. Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
    The Learning System of Shinshu University Graduate School of Science and Technology on the Internet. [Citation Graph (0, 0)][DBLP]
    KES (3), 2005, pp:1296-1302 [Conf]

  4. Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net. [Citation Graph (, )][DBLP]

  5. A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof Checker. [Citation Graph (, )][DBLP]

  6. A Meta Hardware Description Language Melasy for Model-Checking Systems. [Citation Graph (, )][DBLP]

  7. A high reliability design for NFS server software based on the logical coloured Petri net. [Citation Graph (, )][DBLP]

  8. The persistence of the Petri Net state-space. [Citation Graph (, )][DBLP]

  9. The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor. [Citation Graph (, )][DBLP]

Search in 0.142secs, Finished in 0.142secs
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