Yuji Sugiyama

24 papers A* 1B 1C 2Misc 3Journal 15Unranked 2
YearRankTypeTitle / Venue / Authors
2008 J jnl
Experimental Analysis of Chatter Vibration in End-Milling Using Laser Doppler Vibrometers.
Int. J. Autom. Technol.
Heisaburo Nakagawa, Yutaka Kurita, Keiji Ogawa, Yuji Sugiyama, Hideyasu Hasegawa
2005 J jnl
A Group Signature Scheme with Efficient Membership Revocation for Middle-Scale Groups.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toru Nakanishi, Yuji Sugiyama
2005 J jnl
An Efficient On-Line Electronic Cash with Unlinkable Exact Payments.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toru Nakanishi, Yuji Sugiyama
2004 Misc conf
A Group Signature Scheme with Efficient Membership Revocation for Reasonable Groups.
ACISP
Toru Nakanishi, Yuji Sugiyama
2004 C conf
An Efficient Online Electronic Cash with Unlinkable Exact Payments.
ISC
Toru Nakanishi, Mitsuaki Shiota, Yuji Sugiyama
2003 J jnl
An Efficient Anonymous Survey for Attribute Statistics Using a Group Signature Scheme with Attribute Tracing.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toru Nakanishi, Yuji Sugiyama
2003 Misc conf
Sealed-Bid Auctions with Efficient Bids.
ICISC
Toru Nakanishi, Daisuke Yamamoto, Yuji Sugiyama
2002 C conf
A Group Signature Scheme Committing the Group.
ICICS
Toru Nakanishi, Masayuki Tao, Yuji Sugiyama
2002 J jnl
An Efficiency Improvement on an Unlinkable Divisible Electronic Cash System.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toru Nakanishi, Yuji Sugiyama
2001 J jnl
A fast method for timing verification that uses the conditions that cause changes in the output values of gates.
Syst. Comput. Jpn.
Atsushi Ohnishi, Yuji Sugiyama
2001 Misc conf
Anonymous Statistical Survey of Attributes.
ACISP
Toru Nakanishi, Yuji Sugiyama
2000 — conf
Unlinkable Divisible Electronic Cash.
ISW
Toru Nakanishi, Yuji Sugiyama
1999 — conf
Unlinkable Electronic Coupon Protocol with Anonymity Control.
ISW
Toru Nakanishi, Nobuaki Haruna, Yuji Sugiyama
1996 J jnl
A method of shortening metastable operation duration time by the use of feedback.
Syst. Comput. Jpn.
Yoichiro Sato, Takuji Okamoto, Yuji Sugiyama, Masahiro Kawai, Toshifumi Kobayashi
1996 J jnl
Timing verification of asynchronous sequential circuits with specifications - A method of reducing state transitions to be verified in detail.
Syst. Comput. Jpn.
Atsushi Ohnishi, Yuji Sugiyama, Takuji Okamoto
1995 J jnl
The Number of Elements in Minimum Test Set for Locally Exhaustive Testing of Combinational Circuits with Five Outputs.
IEICE Trans. Inf. Syst.
Tokumi Yokohira, Toshimi Shimizu, Hiroyuki Michinishi, Yuji Sugiyama, Takuji Okamoto
1992 J jnl
ASL program written in abstract sequential machine style and its compiler.
Syst. Comput. Jpn.
Masahiro Ooashi, Kenichi Taniguchi, Yuji Sugiyama
1989 J jnl
Quantifying a design process based on experiments.
J. Syst. Softw.
Hideo Kudo, Yuji Sugiyama, Mamoru Fujii, Koji Torii
1988 J jnl
An attribute grammar with common attributes and its evaluator in prolog.
Syst. Comput. Jpn.
An Feng, Yuji Sugiyama, Mamoru Fujii, Koji Torii
1987 J jnl
Logical Programming for the Telegram Analysis Problem.
Comput. Lang.
Koji Torii, Yuji Sugiyama, Mamoru Fujii, Tadao Kasami, Yoshitomi Morisawa
1987 J jnl
Principles of algebraic language ASL.
Syst. Comput. Jpn.
Tadao Kasami, Kenichi Taniguchi, Yuji Sugiyama, Hiroyuki Seki
1984 J jnl
An Algebraic Specification of HDLC Procedures and Its Verification.
IEEE Trans. Software Eng.
Teruo Higashino, Masaaki Mori, Yuji Sugiyama, Kenichi Taniguchi, Tadao Kasami
1984 A* conf
Functional Programming and Logical Programming for the Telegram Analysis Problem.
ICSE
Koji Torii, Yoshitomi Morisawa, Yuji Sugiyama, Tadao Kasami
1979 B conf
On equivalence of safe Petri nets.
FCT
Kenichi Taniguchi, Toshio Matsuura, Yuji Sugiyama, Tadao Kasami