A Lower Bound of the Number of Threshold Functions. - Shuzo Yajima; Toshihide Ibaraki (IEEE Trans. Electron. Comput., 1965)

A Theory of Completely Monotonic Functions and its Applications to Threshold Logic. - Shuzo Yajima; Toshihide Ibaraki (IEEE Trans. Computers, 1968)

Realization of Arbitrary Logic Functions by Completely Monotonic Functions and Its Applications to Threshold Logic. - Shuzo Yajima; Toshihide Ibaraki (IEEE Trans. Computers, 1968)

On Autonomous Logic Nets of Threshold Elements. - Shuzo Yajima; Toshihide Ibaraki; I. Kawano (IEEE Trans. Computers, 1968)

Some Algebraic Properties of Sets of Stochastic Matrices - Toshio Yasui; Shuzo Yajima (Inf. Control., 1969)

On Finite-Memory Sequential Machines. - Yahiko Kambayashi; Shuzo Yajima; Isao Ohbayashi (IEEE Trans. Computers, 1970)

Two-State Two-Symbol Probabilistic Automata - Toshio Yasui; Shuzo Yajima (Inf. Control., 1970)

The Upper Bound of K in K-Lossless Sequential Machines - Yahiko Kambayashi; Shuzo Yajima (Inf. Control., 1971)

Finite Memory Machines Satisfying the Lower Bound of Memory - Yahiko Kambayashi; Shuzo Yajima (Inf. Control., 1972)

Controllability of Seqential Machines - Yahiko Kambayashi; Shuzo Yajima (Inf. Control., 1972)

Power Minimization Problems of Logic Networks. - Shuzo Yajima; Kosaku Inagaki (IEEE Trans. Computers, 1974)

A Relational Data Language with Simplified Binary Relation Handling Capability. - Yahiko Kambayashi; Katsumi Tanaka; Shuzo Yajima (VLDB, 1977)

Labolink: An Optically Linked Laboratory Computer Network. - Shuzo Yajima; Yahiko Kambayashi; Susumu Yoshida; Kazuo Iwama (Computer, 1977)

Problems of Relational Database Design. - Yahiko Kambayashi; Katsumi Tanaka; Shuzo Yajima (Data Base Design Techniques I, 1978)

A file organization suitable for relational database operations. - Katsumi Tanaka; Chung Le Viet; Yahiko Kambayashi; Shuzo Yajima (Mathematical Studies of Information Processing, 1978)

A Linear Storage Space Algorithm for a Reference Structure Index. - Yahiko Kambayashi; Takaki Hayashi; Y. Tanaka; Shuzo Yajima (Inf. Process. Lett., 1978)

Hierarchical string pattern matching using dynamic pattern matching machines. - Yahiko Kambayashi; Narao Nakatsu; Shuzo Yajima (COMPSAC, 1979)

Semantic aspects of data dependencies and their application to relational database design. - Yahiko Kambayashi; Katsumi Tanaka; Shuzo Yajima (COMPSAC, 1979)

Use of abstracted characteristics of data in relational databases. - Chung Le Viet; Yahiko Kambayashi; Katsumi Tanaka; Shuzo Yajima (COMPSAC, 1979)

New indices for bibliographic data and their applications. - Yahiko Kambayashi; Shuzo Yajima; Osamu Konishi; Takaki Hayashi (MARK, 1979)

Organization of quasi-consecutive retrieval files. - Katsumi Tanaka; Yahiko Kambayashi; Shuzo Yajima (Inf. Syst., 1979)

Data compression procedures utilizing the similarity of data. - Yahiko Kambayashi; Narao Nakatsu; Shuzo Yajima (AFIPS National Computer Conference, 1981)

Dynamic Clustering Procedures for Bibliographic Data. - Yahiko Kambayashi; Takaki Hayashi; Shuzo Yajima (SIGIR, 1981)

Data Compression of the Kanji Character Patterns Digitized on the Hexagonal Mesh. - Shuzo Yajima; Jan L. Goodsell; Takao Ichida; Hiromi Hiraishi (IEEE Trans. Pattern Anal. Mach. Intell., 1981)

An Interactive Simulation System for structured logic design - ISS. - Takeshi Sakai; Yoshiyuki Tsuchida; Hiroto Yasuura; Yasushi Ooi; Yoshitsugu Ono; Hiroshi Kano; Shinji Kimura; Shuzo Yajima (DAC, 1982)

Hardware Algorithms and Logic Design Automation. An Overview and Progress Report. - Shuzo Yajima; Hiroto Yasuura (RIMS Symposium on Software Science and Engineering, 1982)

Query Processing for Distributed Databases Using Generalized Semi-Joins. - Yahiko Kambayashi; Masatoshi Yoshikawa; Shuzo Yajima (SIGMOD Conference, 1982)

A Longest Common Subsequence Algorithm Suitable for Similar Text Strings. - Narao Nakatsu; Yahiko Kambayashi; Shuzo Yajima (Acta Informatica, 1982)

The Parallel Enumeration Sorting Scheme for VLSI. - Hiroto Yasuura; Naofumi Takagi; Shuzo Yajima (IEEE Trans. Computers, 1982)

Hardware Algorithms for VLSI Systems. - Hiroto Yasuura; Shuzo Yajima (VLSI Engineering, 1984)

High-Speed VLSI Multiplication Algorithm with a Redundant Binary Addition Tree. - Naofumi Takagi; Hiroto Yasuura; Shuzo Yajima (IEEE Trans. Computers, 1985)

A square root hardware algorithm using redundant binary representation. - Naofumi Takagi; Shuzo Yajima (Syst. Comput. Jpn., 1986)

Hardware algorithms for computing exponentials and logarithms using redundant binary representation. - Naofumi Takagi; Shuzo Yajima (Syst. Comput. Jpn., 1986)

Description and verification of input constraints and input-output specifications of logic circuits. - Shinji Kimura; Shuzo Yajima (Syst. Comput. Jpn., 1987)

A hardware algorithm for computing sine and cosine using redundant binary representation. - Naofumi Takagi; Tohru Asada; Shuzo Yajima (Syst. Comput. Jpn., 1987)

On high-speed parallel algorithms using redundant coding. - Hiroto Yasuura; Naofumi Takagi; Shuzo Yajima (Syst. Comput. Jpn., 1987)

On-Line Error-Detectable High-Speed Multiplier Using Redundant Binary Representation and Three-Rail Logic. - Naofumi Takagi; Shuzo Yajima (IEEE Trans. Computers, 1987)

High-Speed Logic Simulation on Vector Processors. - Nagisa Ishiura; Hiroto Yasuura; Shuzo Yajima (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987)

Parallel Computational Complexity of Logic Programs and Alternating Turing Machines. - Yasuo Okabe; Shuzo Yajima (FGCS, 1988)

An on-line error-detectable array divider with a redundant binary representation and a residue code. - Naofumi Takagi; Shuzo Yajima (FTCS, 1988)

Algebraic Specification of Parallel Systems Based on Binary Relations between Events. - Shigeharu Teshima; Hiromi Hiraishi; Shuzo Yajima (Syst. Comput. Jpn., 1988)

Time-Symbolic Simulation for Accurate Timing Verification of Asynchronous Behavior of Logic Circuits. - Nagisa Ishiura; Mizuki Takahashi; Shuzo Yajima (DAC, 1989)

Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity. - Kiyoharu Hamaguchi; Hiromi Hiraishi; Shuzo Yajima (CAV, 1990)

Coded Time-Symbolic Simulation Using Shared Binary Decision Diagram. - Nagisa Ishiura; Yutaka Deguchi; Shuzo Yajima (DAC, 1990)

NES: The Behavioral Model for the Formal Semantics of a Hardware Design Language UDL/I. - Nagisa Ishiura; Hiroto Yasuura; Shuzo Yajima (DAC, 1990)

Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation. - Shin-ichi Minato; Nagisa Ishiura; Shuzo Yajima (DAC, 1990)

Dynamic two-dimensional parallel simulation technique for high-speed fault simulation on a vector processor. - Nagisa Ishiura; Masayuki Ito; Shuzo Yajima (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990)

Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic. - Kiyoharu Hamaguchi; Hiromi Hiraishi; Shuzo Yajima (CAV, 1991)

Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification. - Hiromi Hiraishi; Kiyoharu Hamaguchi; Hiroyuki Ochi; Shuzo Yajima (CAV, 1991)

Probabilistic CTSS: Analysis of Timing Error Probability in Asynchronous Logic Circuits. - Yutaka Deguchi; Nagisa Ishiura; Shuzo Yajima (DAC, 1991)

Breadth-First Manipulation of SBDD of Boolean Functions for Vector Processing. - Hiroyuki Ochi; Nagisa Ishiura; Shuzo Yajima (DAC, 1991)

Minimazation of Binary Decision Diagrams Based on Exchanges of Variables. - Nagisa Ishiura; Hiroshi Sawada; Shuzo Yajima (ICCAD, 1991)

Fault Simulation for Multiple Faults Using Shared BDD Representation of Fault Sets. - Noriyuki Takahashi; Nagisa Ishiura; Shuzo Yajima (ICCAD, 1991)

An on-line error-detectable high-speed array divider. - Naofumi Takagi; Shuzo Yajima (Syst. Comput. Jpn., 1991)

Redundant CORDIC Methods with a Constant Scale Factor for Sine and Cosine Computation. - Naofumi Takagi; Tohru Asada; Shuzo Yajima (IEEE Trans. Computers, 1991)

Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic. - Kiyoharu Hamaguchi; Hiromi Hiraishi; Shuzo Yajima (CAV, 1992)

Linear time fault simulation algorithm using a content addressable memory. - Nagisa Ishiura; Shuzo Yajima (EURO-DAC, 1992)

Modular Multiplication Hardware Algorithms with a Redundant Representation and Their Application to RSA Cryptosystem. - Naofumi Takagi; Shuzo Yajima (IEEE Trans. Computers, 1992)

Infinity-Regular Temporal Logic and its Model Checking Problem. - Kiyoharu Hamaguchi; Hiromi Hiraishi; Shuzo Yajima (Theor. Comput. Sci., 1992)

Breadth-first manipulation of very large binary-decision diagrams. - Hiroyuki Ochi; Koichi Yasuoka; Shuzo Yajima (ICCAD, 1993)

The Complexity of the Optimal Variable Ordering Problems of Shared Binary Decision Diagrams. - Seiichiro Tani; Kiyoharu Hamaguchi; Shuzo Yajima (ISAAC, 1993)

On the Size of Ordered Binary Decision Diagrams Representing Threshold Functions. - Kazuhisa Hosaka; Yasuhiko Takenaga; Shuzo Yajima (ISAAC, 1994)

Circuit complexity of slice functions and homogeneous functions. - Shoichi Hirose; Shuzo Yajima (Syst. Comput. Jpn., 1994)

Fault simulation for multiple faults by Boolean function manipulation. - Noriyuki Takahashi; Nagisa Ishiura; Shuzo Yajima (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994)

O(n)-depth circuit algorithm for modular exponentiation. - Takafumi Hamano; Naofumi Takagi; Shuzo Yajima; Franco P. Preparata (IEEE Symposium on Computer Arithmetic, 1995)

Efficient Initial Approximation and Fast Converging Methods for Division and Square Root. - Masayuki Ito; Naofumi Takagi; Shuzo Yajima (IEEE Symposium on Computer Arithmetic, 1995)

Efficient construction of binary moment diagrams for verifying arithmetic circuits. - Kiyoharu Hamaguchi; Akihito Morita; Shuzo Yajima (ICCAD, 1995)

Square Rooting by Iterative Multiply-Additions. - Masayuki Ito; Naofumi Takagi; Shuzo Yajima (Inf. Process. Lett., 1996)

Size and Variable Ordering of OBDDs Representing Treshold Functions. - Yasuhiko Takenaga; Mitsushi Nouzoe; Shuzo Yajima (COCOON, 1997)

Exponential Lower Bounds on the Size of OBDDs Representing Integer Divistion. - Takashi Horiyama; Shuzo Yajima (ISAAC, 1997)

O(n)-Depth Modular Exponentiation Circuit Algorithm. - Takafumi Hamano; Naofumi Takagi; Shuzo Yajima; Franco P. Preparata (IEEE Trans. Computers, 1997)

Efficient Initial Approximation for Multiplicative Division and Square Root by a Multiplication with Operand Modification. - Masayuki Ito; Naofumi Takagi; Shuzo Yajima (IEEE Trans. Computers, 1997)

Size of Ordered Binary Decision Diagrams Representing Threshold Functions. - Kazuhisa Hosaka; Yasuhiko Takenaga; T. Kaneda; Shuzo Yajima (Theor. Comput. Sci., 1997)

Optimizing OBDDs Is Still Intractable for Monotone Functions. - Kazuo Iwama; Mitsushi Nouzoe; Shuzo Yajima (MFCS, 1998)

Hardness of identifying the minimum ordered binary decision diagram. - Yasuhiko Takenaga; Shuzo Yajima (Discret. Appl. Math., 2000)

Tree-shellability of Boolean functions. - Yasuhiko Takenaga; Kouji Nakajima; Shuzo Yajima (Theor. Comput. Sci., 2001)