On equivalence of safe Petri nets. - Kenichi Taniguchi; Toshio Matsuura; Yuji Sugiyama; Tadao Kasami (FCT, 1979)

Functional Programming and Logical Programming for the Telegram Analysis Problem. - Koji Torii; Yoshitomi Morisawa; Yuji Sugiyama; Tadao Kasami (ICSE, 1984)

An Algebraic Specification of HDLC Procedures and Its Verification. - Teruo Higashino; Masaaki Mori; Yuji Sugiyama; Kenichi Taniguchi; Tadao Kasami (IEEE Trans. Software Eng., 1984)

Logical Programming for the Telegram Analysis Problem. - Koji Torii; Yuji Sugiyama; Mamoru Fujii; Tadao Kasami; Yoshitomi Morisawa (Comput. Lang., 1987)

Principles of algebraic language ASL. - Tadao Kasami; Kenichi Taniguchi; Yuji Sugiyama; Hiroyuki Seki (Syst. Comput. Jpn., 1987)

An attribute grammar with common attributes and its evaluator in prolog. - An Feng; Yuji Sugiyama; Mamoru Fujii; Koji Torii (Syst. Comput. Jpn., 1988)

Quantifying a design process based on experiments. - Hideo Kudo; Yuji Sugiyama; Mamoru Fujii; Koji Torii (J. Syst. Softw., 1989)

ASL program written in abstract sequential machine style and its compiler. - Masahiro Ooashi; Kenichi Taniguchi; Yuji Sugiyama (Syst. Comput. Jpn., 1992)

The Number of Elements in Minimum Test Set for Locally Exhaustive Testing of Combinational Circuits with Five Outputs. - Tokumi Yokohira; Toshimi Shimizu; Hiroyuki Michinishi; Yuji Sugiyama; Takuji Okamoto (IEICE Trans. Inf. Syst., 1995)

Timing verification of asynchronous sequential circuits with specifications - A method of reducing state transitions to be verified in detail. - Atsushi Ohnishi; Yuji Sugiyama; Takuji Okamoto (Syst. Comput. Jpn., 1996)

A method of shortening metastable operation duration time by the use of feedback. - Yoichiro Sato; Takuji Okamoto; Yuji Sugiyama; Masahiro Kawai; Toshifumi Kobayashi (Syst. Comput. Jpn., 1996)

Unlinkable Electronic Coupon Protocol with Anonymity Control. - Toru Nakanishi 001; Nobuaki Haruna; Yuji Sugiyama (ISW, 1999)

Unlinkable Divisible Electronic Cash. - Toru Nakanishi 001; Yuji Sugiyama (ISW, 2000)

Anonymous Statistical Survey of Attributes. - Toru Nakanishi 001; Yuji Sugiyama (ACISP, 2001)

A fast method for timing verification that uses the conditions that cause changes in the output values of gates. - Atsushi Ohnishi; Yuji Sugiyama (Syst. Comput. Jpn., 2001)

A Group Signature Scheme Committing the Group. - Toru Nakanishi 001; Masayuki Tao; Yuji Sugiyama (ICICS, 2002)

An Efficiency Improvement on an Unlinkable Divisible Electronic Cash System. - Toru Nakanishi 001; Yuji Sugiyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002)

Sealed-Bid Auctions with Efficient Bids. - Toru Nakanishi 001; Daisuke Yamamoto; Yuji Sugiyama (ICISC, 2003)

An Efficient Anonymous Survey for Attribute Statistics Using a Group Signature Scheme with Attribute Tracing. - Toru Nakanishi 001; Yuji Sugiyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003)

A Group Signature Scheme with Efficient Membership Revocation for Reasonable Groups. - Toru Nakanishi 001; Yuji Sugiyama (ACISP, 2004)

An Efficient Online Electronic Cash with Unlinkable Exact Payments. - Toru Nakanishi 001; Mitsuaki Shiota; Yuji Sugiyama (ISC, 2004)

A Group Signature Scheme with Efficient Membership Revocation for Middle-Scale Groups. - Toru Nakanishi 001; Yuji Sugiyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

An Efficient On-Line Electronic Cash with Unlinkable Exact Payments. - Toru Nakanishi 001; Yuji Sugiyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

Experimental Analysis of Chatter Vibration in End-Milling Using Laser Doppler Vibrometers. - Heisaburo Nakagawa; Yutaka Kurita; Keiji Ogawa; Yuji Sugiyama; Hideyasu Hasegawa (Int. J. Autom. Technol., 2008)