Yuji Sugiyama - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2008

Experimental Analysis of Chatter Vibration in End-Milling Using Laser Doppler VibrometersHeisaburo Nakagawa, Yutaka Kurita, Keiji Ogawa, Yuji Sugiyama, Hideyasu Hasegawa. ijat, 2(6):431-438, 2008. [doi]

2005

A Group Signature Scheme with Efficient Membership Revocation for Middle-Scale GroupsToru Nakanishi, Yuji Sugiyama. ieicet, 88-A(5):1224-1233, 2005. [doi]

An Efficient On-Line Electronic Cash with Unlinkable Exact PaymentsToru Nakanishi, Yuji Sugiyama. ieicet, 88-A(10):2769-2777, 2005. [doi]

2004

A Group Signature Scheme with Efficient Membership Revocation for Reasonable GroupsToru Nakanishi, Yuji Sugiyama. acisp 2004: 336-347 [doi]

An Efficient Online Electronic Cash with Unlinkable Exact PaymentsToru Nakanishi, Mitsuaki Shiota, Yuji Sugiyama. iiswc 2004: 367-378 [doi]

2003

An Efficient Anonymous Survey for Attribute Statistics Using a Group Signature Scheme with Attribute TracingToru Nakanishi 0001, Yuji Sugiyama. ieiceta, 86-A(10):2560-2568, 2003. [doi]

Sealed-Bid Auctions with Efficient BidsToru Nakanishi, Daisuke Yamamoto, Yuji Sugiyama. icisc 2004: 230-244 [doi]

2002

An Efficiency Improvement on an Unlinkable Divisible Electronic Cash SystemToru Nakanishi 0001, Yuji Sugiyama. ieiceta, 85-A(10):2326-2335, 2002. [doi]

A Group Signature Scheme Committing the GroupToru Nakanishi, Masayuki Tao, Yuji Sugiyama. icics 2002: 73-84 [doi]

2001

Anonymous Statistical Survey of AttributesToru Nakanishi, Yuji Sugiyama. acisp 2001: 460-473 [doi]

A fast method for timing verification that uses the conditions that cause changes in the output values of gatesAtsushi Ohnishi, Yuji Sugiyama. scjapan, 32(1):38-44, 2001. [doi]

2000

Unlinkable Divisible Electronic CashToru Nakanishi, Yuji Sugiyama. iiswc 2000: 121-134 [doi]

1999

Unlinkable Electronic Coupon Protocol with Anonymity ControlToru Nakanishi, Nobuaki Haruna, Yuji Sugiyama. iiswc 1999: 37-46 [doi]

1996

Timing verification of asynchronous sequential circuits with specifications - A method of reducing state transitions to be verified in detailAtsushi Ohnishi, Yuji Sugiyama, Takuji Okamoto. scjapan, 27(11):53-63, 1996. [doi]

A method of shortening metastable operation duration time by the use of feedbackYoichiro Sato, Takuji Okamoto, Yuji Sugiyama, Masahiro Kawai, Toshifumi Kobayashi. scjapan, 27(10):23-32, 1996. [doi]

1995

The Number of Elements in Minimum Test Set for Locally Exhaustive Testing of Combinational Circuits with Five OutputsTokumi Yokohira, Toshimi Shimizu, Hiroyuki Michinishi, Yuji Sugiyama, Takuji Okamoto. ieicet, 78-D(7):874-881, 1995. [doi]

1992

ASL program written in abstract sequential machine style and its compilerMasahiro Ooashi, Kenichi Taniguchi, Yuji Sugiyama. scjapan, 23(7):1-11, 1992. [doi]

1989

Quantifying a design process based on experimentsHideo Kudo, Yuji Sugiyama, Mamoru Fujii, Koji Torii. jss, 9(2):129-136, 1989. [doi]

1988

An attribute grammar with common attributes and its evaluator in prologAn Feng, Yuji Sugiyama, Mamoru Fujii, Koji Torii. scjapan, 19(6):97-107, 1988. [doi]

1987

Principles of algebraic language ASLTadao Kasami, Kenichi Taniguchi, Yuji Sugiyama, Hiroyuki Seki. scjapan, 18(7):11-20, 1987. [doi]

Logical Programming for the Telegram Analysis ProblemKoji Torii, Yuji Sugiyama, Mamoru Fujii, Tadao Kasami, Yoshitomi Morisawa. Comp. Lang., Syst. \& Struct., 12(1):9-20, 1987.

1984

An Algebraic Specification of HDLC Procedures and Its VerificationTeruo Higashino, Masaaki Mori, Yuji Sugiyama, Kenichi Taniguchi, Tadao Kasami. TSE, 10(6):825-836, 1984.

Functional Programming and Logical Programming for the Telegram Analysis ProblemKoji Torii, Yoshitomi Morisawa, Yuji Sugiyama, Tadao Kasami. ICSE 1984: 463-472

1979

On equivalence of safe Petri netsKenichi Taniguchi, Toshio Matsuura, Yuji Sugiyama, Tadao Kasami. fct 1979: 430-436

Sign in or sign up to see more results.

runs on WebDSL