# Shuzo Yajima

According to our database

Collaborative distances:

^{1}, Shuzo Yajima authored at least 75 papers between 1965 and 2001.Collaborative distances:

## Awards

## IEEE Fellow

IEEE Fellow 2001, "For contributions to the development of computers and the theory of logic circuits.".

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2001

Theor. Comput. Sci., 2001

2000

Discret. Appl. Math., 2000

1998

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

1997

Theor. Comput. Sci., 1997

Efficient Initial Approximation for Multiplicative Division and Square Root by a Multiplication with Operand Modification.

IEEE Trans. Computers, 1997

IEEE Trans. Computers, 1997

Proceedings of the Algorithms and Computation, 8th International Symposium, 1997

Proceedings of the Computing and Combinatorics, Third Annual International Conference, 1997

1996

Inf. Process. Lett., 1996

1995

Efficient construction of binary moment diagrams for verifying arithmetic circuits.

Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995

Efficient Initial Approximation and Fast Converging Methods for Division and Square Root.

Proceedings of the 12th Symposium on Computer Arithmetic (ARITH-12 '95), 1995

Proceedings of the 12th Symposium on Computer Arithmetic (ARITH-12 '95), 1995

1994

IEEE Trans. on CAD of Integrated Circuits and Systems, 1994

Systems and Computers in Japan, 1994

Proceedings of the Algorithms and Computation, 5th International Symposium, 1994

1993

The Complexity of the Optimal Variable Ordering Problems of Shared Binary Decision Diagrams.

Proceedings of the Algorithms and Computation, 4th International Symposium, 1993

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993

1992

Theor. Comput. Sci., 1992

Modular Multiplication Hardware Algorithms with a Redundant Representation and Their Application to RSA Cryptosystem.

IEEE Trans. Computers, 1992

Proceedings of the conference on European design automation, 1992

Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic.

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991

Redundant CORDIC Methods with a Constant Scale Factor for Sine and Cosine Computation.

IEEE Trans. Computers, 1991

Systems and Computers in Japan, 1991

Fault Simulation for Multiple Faults Using Shared BDD Representation of Fault Sets.

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

Proceedings of the 28th Design Automation Conference, 1991

Probabilistic CTSS: Analysis of Timing Error Probability in Asynchronous Logic Circuits.

Proceedings of the 28th Design Automation Conference, 1991

Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification.

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic.

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

Dynamic two-dimensional parallel simulation technique for high-speed fault simulation on a vector processor.

IEEE Trans. on CAD of Integrated Circuits and Systems, 1990

Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation.

Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, 1990

NES: The Behavioral Model for the Formal Semantics of a Hardware Design Language UDL/I.

Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, 1990

Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, 1990

Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity.

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989

Time-Symbolic Simulation for Accurate Timing Verification of Asynchronous Behavior of Logic Circuits.

Proceedings of the 26th ACM/IEEE Design Automation Conference, 1989

1988

Algebraic Specification of Parallel Systems Based on Binary Relations between Events.

Systems and Computers in Japan, 1988

An on-line error-detectable array divider with a redundant binary representation and a residue code.

Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

Parallel Computational Complexity of Logic Programs and Alternating Turing Machines.

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

IEEE Trans. on CAD of Integrated Circuits and Systems, 1987

On-Line Error-Detectable High-Speed Multiplier Using Redundant Binary Representation and Three-Rail Logic.

IEEE Trans. Computers, 1987

Systems and Computers in Japan, 1987

A hardware algorithm for computing sine and cosine using redundant binary representation.

Systems and Computers in Japan, 1987

Description and verification of input constraints and input-output specifications of logic circuits.

Systems and Computers in Japan, 1987

1986

Hardware algorithms for computing exponentials and logarithms using redundant binary representation.

Systems and Computers in Japan, 1986

Systems and Computers in Japan, 1986

1985

IEEE Trans. Computers, 1985

1984

Proceedings of the VLSI Engineering: Beyond Software Engineering, 1984

1982

IEEE Trans. Computers, 1982

Acta Informatica, 1982

Proceedings of the 1982 ACM SIGMOD International Conference on Management of Data, 1982

Proceedings of the RIMS Symposium on Software Science and Engineering, 1982

Proceedings of the 19th Design Automation Conference, 1982

1981

IEEE Trans. Pattern Anal. Mach. Intell., 1981

Proceedings of the Theoretical Issues in Information Retrieval, Proceedings of the Fourth International Conference on Information Storage and Retrieval, Oakland, California, USA, May 31, 1981

Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1979

Inf. Syst., 1979

Proceedings of the IEEE Computer Society's Third International Computer Software and Applications Conference, 1979

Semantic aspects of data dependencies and their application to relational database design.

Proceedings of the IEEE Computer Society's Third International Computer Software and Applications Conference, 1979

1978

Inf. Process. Lett., 1978

Proceedings of the Mathematical Studies of Information Processing, 1978

Proceedings of the Data Base Design Techniques I: Requirements and Logical Structures, 1978

1977

Computer, 1977

A Relational Data Language with Simplified Binary Relation Handling Capability.

Proceedings of the Third International Conference on Very Large Data Bases, 1977

1974

IEEE Trans. Computers, 1974

1972

Inf. Control., November, 1972

Inf. Control., March, 1972

1971

Inf. Control., December, 1971

1970

Inf. Control., May, 1970

IEEE Trans. Computers, 1970

1969

Inf. Control., April, 1969

1968

IEEE Trans. Computers, 1968

Realization of Arbitrary Logic Functions by Completely Monotonic Functions and Its Applications to Threshold Logic.

IEEE Trans. Computers, 1968

A Theory of Completely Monotonic Functions and its Applications to Threshold Logic.

IEEE Trans. Computers, 1968

1965

IEEE Trans. Electron. Comput., 1965