Search the dblp DataBase

Publications of Author

1. Toru Nakanishi, Yuji Sugiyama
   Anonymous Statistical Survey of Attributes. [Citation Graph (0, 0)][DBLP]
   ACISP, 2001, pp:460-473 [Conf]
   
2. Toru Nakanishi, Yuji Sugiyama
   A Group Signature Scheme with Efficient Membership Revocation for Reasonable Groups. [Citation Graph (0, 0)][DBLP]
   ACISP, 2004, pp:336-347 [Conf]
   
3. Kenichi Taniguchi, Toshio Matsuura, Yuji Sugiyama, Tadao Kasami
   On equivalence of safe Petri nets. [Citation Graph (0, 0)][DBLP]
   FCT, 1979, pp:430-436 [Conf]
   
4. Toru Nakanishi, Masayuki Tao, Yuji Sugiyama
   A Group Signature Scheme Committing the Group. [Citation Graph (0, 0)][DBLP]
   ICICS, 2002, pp:73-84 [Conf]
   
5. Toru Nakanishi, Daisuke Yamamoto, Yuji Sugiyama
   Sealed-Bid Auctions with Efficient Bids. [Citation Graph (0, 0)][DBLP]
   ICISC, 2003, pp:230-244 [Conf]
   
6. Koji Torii, Yoshitomi Morisawa, Yuji Sugiyama, Tadao Kasami
   Functional Programming and Logical Programming for the Telegram Analysis Problem. [Citation Graph (0, 0)][DBLP]
   ICSE, 1984, pp:463-472 [Conf]
   
7. Toru Nakanishi, Nobuaki Haruna, Yuji Sugiyama
   Unlinkable Electronic Coupon Protocol with Anonymity Control. [Citation Graph (0, 0)][DBLP]
   ISW, 1999, pp:37-46 [Conf]
   
8. Toru Nakanishi, Yuji Sugiyama
   Unlinkable Divisible Electronic Cash. [Citation Graph (0, 0)][DBLP]
   ISW, 2000, pp:121-134 [Conf]
   
9. Toru Nakanishi, Mitsuaki Shiota, Yuji Sugiyama
   An Efficient Online Electronic Cash with Unlinkable Exact Payments. [Citation Graph (0, 0)][DBLP]
   ISC, 2004, pp:367-378 [Conf]
   
10. Koji Torii, Yuji Sugiyama, Mamoru Fujii, Tadao Kasami, Yoshitomi Morisawa
    Logical Programming for the Telegram Analysis Problem. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1987, v:12, n:1, pp:9-20 [Journal]
    
11. Hideo Kudo, Yuji Sugiyama, Mamoru Fujii, Koji Torii
    Quantifying a design process based on experiments. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1989, v:9, n:2, pp:129-136 [Journal]
    
12. Atsushi Ohnishi, Yuji Sugiyama
    A fast method for timing verification that uses the conditions that cause changes in the output values of gates. [Citation Graph (0, 0)][DBLP]
    Systems and Computers in Japan, 2001, v:32, n:1, pp:38-44 [Journal]
    
13. Teruo Higashino, Masaaki Mori, Yuji Sugiyama, Kenichi Taniguchi, Tadao Kasami
    An Algebraic Specification of HDLC Procedures and Its Verification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1984, v:10, n:6, pp:825-836 [Journal]