Yuji Sugiyama

Publication Activity (10 Years)

Years Active: 1979-2008
Publications (10 Years): 0

Publications

Heisaburo Nakagawa, Yutaka Kurita, Keiji Ogawa, Yuji Sugiyama, Hideyasu Hasegawa
Experimental Analysis of Chatter Vibration in End-Milling Using Laser Doppler Vibrometers. Int. J. Autom. Technol. 2 (6) (2008)
Toru Nakanishi, Yuji Sugiyama
An Efficient On-Line Electronic Cash with Unlinkable Exact Payments. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (10) (2005)
Toru Nakanishi, Yuji Sugiyama
A Group Signature Scheme with Efficient Membership Revocation for Middle-Scale Groups. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (5) (2005)
Toru Nakanishi, Yuji Sugiyama
A Group Signature Scheme with Efficient Membership Revocation for Reasonable Groups. ACISP (2004)
Toru Nakanishi, Mitsuaki Shiota, Yuji Sugiyama
An Efficient Online Electronic Cash with Unlinkable Exact Payments. ISC (2004)
Toru Nakanishi, Daisuke Yamamoto, Yuji Sugiyama
Sealed-Bid Auctions with Efficient Bids. ICISC (2003)
Toru Nakanishi, Yuji Sugiyama
An Efficient Anonymous Survey for Attribute Statistics Using a Group Signature Scheme with Attribute Tracing. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (10) (2003)
Toru Nakanishi, Yuji Sugiyama
An Efficiency Improvement on an Unlinkable Divisible Electronic Cash System. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (10) (2002)
Toru Nakanishi, Masayuki Tao, Yuji Sugiyama
A Group Signature Scheme Committing the Group. ICICS (2002)
Toru Nakanishi, Yuji Sugiyama
Anonymous Statistical Survey of Attributes. ACISP (2001)
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) (2001)
Toru Nakanishi, Yuji Sugiyama
Unlinkable Divisible Electronic Cash. ISW (2000)
Toru Nakanishi, Nobuaki Haruna, Yuji Sugiyama
Unlinkable Electronic Coupon Protocol with Anonymity Control. ISW (1999)
Atsushi Ohnishi, Yuji Sugiyama, Takuji Okamoto
Timing verification of asynchronous sequential circuits with specifications - A method of reducing state transitions to be verified in detail. Systems and Computers in Japan 27 (11) (1996)
Yoichiro Sato, Takuji Okamoto, Yuji Sugiyama, Masahiro Kawai, Toshifumi Kobayashi
A method of shortening metastable operation duration time by the use of feedback. Systems and Computers in Japan 27 (10) (1996)
Tokumi Yokohira, Toshimi Shimizu, Hiroyuki Michinishi, Yuji Sugiyama, Takuji Okamoto
The Number of Elements in Minimum Test Set for Locally Exhaustive Testing of Combinational Circuits with Five Outputs. IEICE Trans. Inf. Syst. (7) (1995)
Masahiro Ooashi, Kenichi Taniguchi, Yuji Sugiyama
ASL program written in abstract sequential machine style and its compiler. Systems and Computers in Japan 23 (7) (1992)
Hideo Kudo, Yuji Sugiyama, Mamoru Fujii, Koji Torii
Quantifying a design process based on experiments. J. Syst. Softw. 9 (2) (1989)
An Feng, Yuji Sugiyama, Mamoru Fujii, Koji Torii
An attribute grammar with common attributes and its evaluator in prolog. Systems and Computers in Japan 19 (6) (1988)
Tadao Kasami, Kenichi Taniguchi, Yuji Sugiyama, Hiroyuki Seki
Principles of algebraic language ASL. Systems and Computers in Japan 18 (7) (1987)
Koji Torii, Yuji Sugiyama, Mamoru Fujii, Tadao Kasami, Yoshitomi Morisawa
Logical Programming for the Telegram Analysis Problem. Comput. Lang. 12 (1) (1987)
Koji Torii, Yoshitomi Morisawa, Yuji Sugiyama, Tadao Kasami
Functional Programming and Logical Programming for the Telegram Analysis Problem. ICSE (1984)
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) (1984)
Kenichi Taniguchi, Toshio Matsuura, Yuji Sugiyama, Tadao Kasami
On equivalence of safe Petri nets. FCT (1979)