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