| 1998 | MFCS | Optimizing OBDDs Is Still Intractable for Monotone Functions. | Kazuo Iwama, Mitsushi Nouzoe, Shuzo Yajima |
| 1997 | COCOON | Size and Variable Ordering of OBDDs Representing Treshold Functions. | Yasuhiko Takenaga, Mitsushi Nouzoe, Shuzo Yajima |
| 1997 | ISAAC | Exponential Lower Bounds on the Size of OBDDs Representing Integer Divistion. | Takashi Horiyama, Shuzo Yajima |
| 1995 | ARITH | O(n)-depth circuit algorithm for modular exponentiation. | Takafumi Hamano, Naofumi Takagi, Shuzo Yajima, Franco P. Preparata |
| 1995 | ARITH | Efficient Initial Approximation and Fast Converging Methods for Division and Square Root. | Masayuki Ito, Naofumi Takagi, Shuzo Yajima |
| 1995 | ICCAD | Efficient construction of binary moment diagrams for verifying arithmetic circuits. | Kiyoharu Hamaguchi, Akihito Morita, Shuzo Yajima |
| 1994 | ISAAC | On the Size of Ordered Binary Decision Diagrams Representing Threshold Functions. | Kazuhisa Hosaka, Yasuhiko Takenaga, Shuzo Yajima |
| 1993 | ICCAD | Breadth-first manipulation of very large binary-decision diagrams. | Hiroyuki Ochi, Koichi Yasuoka, Shuzo Yajima |
| 1993 | ISAAC | The Complexity of the Optimal Variable Ordering Problems of Shared Binary Decision Diagrams. | Seiichiro Tani, Kiyoharu Hamaguchi, Shuzo Yajima |
| 1992 | CAV | Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic. | Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima |
| 1991 | CAV | Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic. | Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima |
| 1991 | CAV | Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification. | Hiromi Hiraishi, Kiyoharu Hamaguchi, Hiroyuki Ochi, Shuzo Yajima |
| 1991 | DAC | Probabilistic CTSS: Analysis of Timing Error Probability in Asynchronous Logic Circuits. | Yutaka Deguchi, Nagisa Ishiura, Shuzo Yajima |
| 1991 | DAC | Breadth-First Manipulation of SBDD of Boolean Functions for Vector Processing. | Hiroyuki Ochi, Nagisa Ishiura, Shuzo Yajima |
| 1991 | ICCAD | Minimazation of Binary Decision Diagrams Based on Exchanges of Variables. | Nagisa Ishiura, Hiroshi Sawada, Shuzo Yajima |
| 1991 | ICCAD | Fault Simulation for Multiple Faults Using Shared BDD Representation of Fault Sets. | Noriyuki Takahashi, Nagisa Ishiura, Shuzo Yajima |
| 1990 | CAV | Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity. | Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima |
| 1990 | DAC | Coded Time-Symbolic Simulation Using Shared Binary Decision Diagram. | Nagisa Ishiura, Yutaka Deguchi, Shuzo Yajima |
| 1990 | DAC | NES: The Behavioral Model for the Formal Semantics of a Hardware Design Language UDL/I. | Nagisa Ishiura, Hiroto Yasuura, Shuzo Yajima |
| 1990 | DAC | Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation. | Shin-ichi Minato, Nagisa Ishiura, Shuzo Yajima |
| 1989 | DAC | Time-Symbolic Simulation for Accurate Timing Verification of Asynchronous Behavior of Logic Circuits. | Nagisa Ishiura, Mizuki Takahashi, Shuzo Yajima |
| 1982 | DAC | 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 |
| 1982 | SIGMOD | Query Processing for Distributed Databases Using Generalized Semi-Joins. | Yahiko Kambayashi, Masatoshi Yoshikawa, Shuzo Yajima |
| 1981 | SIGIR | Dynamic Clustering Procedures for Bibliographic Data. | Yahiko Kambayashi, Takaki Hayashi, Shuzo Yajima |
| 1979 | COMPSAC | Hierarchical string pattern matching using dynamic pattern matching machines. | Yahiko Kambayashi, Narao Nakatsu, Shuzo Yajima |
| 1979 | COMPSAC | Semantic aspects of data dependencies and their application to relational database design. | Yahiko Kambayashi, Katsumi Tanaka, Shuzo Yajima |
| 1979 | COMPSAC | Use of abstracted characteristics of data in relational databases. | Chung Le Viet, Yahiko Kambayashi, Katsumi Tanaka, Shuzo Yajima |
| 1977 | VLDB | A Relational Data Language with Simplified Binary Relation Handling Capability. | Yahiko Kambayashi, Katsumi Tanaka, Shuzo Yajima |