The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Shuzo Yajima: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yahiko Kambayashi, Masatoshi Yoshikawa, Shuzo Yajima
    Query Processing for Distributed Databases Using Generalized Semi-Joins. [Citation Graph (16, 11)][DBLP]
    SIGMOD Conference, 1982, pp:151-160 [Conf]
  2. Shin-ichi Minato, Nagisa Ishiura, Shuzo Yajima
    Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation. [Citation Graph (1, 0)][DBLP]
    DAC, 1990, pp:52-57 [Conf]
  3. Katsumi Tanaka, Yahiko Kambayashi, Shuzo Yajima
    Organization of quasi-consecutive retrieval files. [Citation Graph (1, 0)][DBLP]
    Inf. Syst., 1979, v:4, n:3, pp:23-33 [Journal]
  4. Masayuki Ito, Naofumi Takagi, Shuzo Yajima
    Efficient Initial Approximation and Fast Converging Methods for Division and Square Root. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Computer Arithmetic, 1995, pp:2-8 [Conf]
  5. Takafumi Hamano, Naofumi Takagi, Shuzo Yajima, Franco P. Preparata
    O(n)-depth circuit algorithm for modular exponentiation. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Computer Arithmetic, 1995, pp:188-192 [Conf]
  6. Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
    Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:253-262 [Conf]
  7. Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
    Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:410-420 [Conf]
  8. Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
    Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:206-219 [Conf]
  9. Hiromi Hiraishi, Kiyoharu Hamaguchi, Hiroyuki Ochi, Shuzo Yajima
    Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:214-224 [Conf]
  10. Yasuhiko Takenaga, Mitsushi Nouzoe, Shuzo Yajima
    Size and Variable Ordering of OBDDs Representing Treshold Functions. [Citation Graph (0, 0)][DBLP]
    COCOON, 1997, pp:91-100 [Conf]
  11. Yutaka Deguchi, Nagisa Ishiura, Shuzo Yajima
    Probabilistic CTSS: Analysis of Timing Error Probability in Asynchronous Logic Circuits. [Citation Graph (0, 0)][DBLP]
    DAC, 1991, pp:650-655 [Conf]
  12. Nagisa Ishiura, Yutaka Deguchi, Shuzo Yajima
    Coded Time-Symbolic Simulation Using Shared Binary Decision Diagram. [Citation Graph (0, 0)][DBLP]
    DAC, 1990, pp:130-135 [Conf]
  13. Nagisa Ishiura, M. Takahashi, Shuzo Yajima
    Time-Symbolic Simulation for Accurate Timing Verification of Asynchronous Behavior of Logic Circuits. [Citation Graph (0, 0)][DBLP]
    DAC, 1989, pp:497-502 [Conf]
  14. Nagisa Ishiura, Hiroto Yasuura, Shuzo Yajima
    NES: The Behavioral Model for the Formal Semantics of a Hardware Design Language UDL/I. [Citation Graph (0, 0)][DBLP]
    DAC, 1990, pp:8-13 [Conf]
  15. Hiroyuki Ochi, Nagisa Ishiura, Shuzo Yajima
    Breadth-First Manipulation of SBDD of Boolean Functions for Vector Processing. [Citation Graph (0, 0)][DBLP]
    DAC, 1991, pp:413-416 [Conf]
  16. Yahiko Kambayashi, Katsumi Tanaka, Shuzo Yajima
    Problems of Relational Database Design. [Citation Graph (0, 0)][DBLP]
    Data Base Design Techniques I, 1978, pp:172-218 [Conf]
  17. Yasuo Okabe, Shuzo Yajima
    Parallel Computational Complexity of Logic Programs and Alternating Turing Machines. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:356-363 [Conf]
  18. Kiyoharu Hamaguchi, Akihito Morita, Shuzo Yajima
    Efficient construction of binary moment diagrams for verifying arithmetic circuits. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1995, pp:78-82 [Conf]
  19. Nagisa Ishiura, Hiroshi Sawada, Shuzo Yajima
    Minimazation of Binary Decision Diagrams Based on Exchanges of Variables. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1991, pp:472-475 [Conf]
  20. Hiroyuki Ochi, Koichi Yasuoka, Shuzo Yajima
    Breadth-first manipulation of very large binary-decision diagrams. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1993, pp:48-55 [Conf]
  21. Noriyuki Takahashi, Nagisa Ishiura, Shuzo Yajima
    Fault Simulation for Multiple Faults Using Shared BDD Representation of Fault Sets. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1991, pp:550-553 [Conf]
  22. Takashi Horiyama, Shuzo Yajima
    Exponential Lower Bounds on the Size of OBDDs Representing Integer Divistion. [Citation Graph (0, 0)][DBLP]
    ISAAC, 1997, pp:163-172 [Conf]
  23. Kazuhisa Hosaka, Yasuhiko Takenaga, Shuzo Yajima
    On the Size of Ordered Binary Decision Diagrams Representing Threshold Functions. [Citation Graph (0, 0)][DBLP]
    ISAAC, 1994, pp:584-592 [Conf]
  24. Seiichiro Tani, Kiyoharu Hamaguchi, Shuzo Yajima
    The Complexity of the Optimal Variable Ordering Problems of Shared Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    ISAAC, 1993, pp:389-398 [Conf]
  25. Kazuo Iwama, Mitsushi Nouzoe, Shuzo Yajima
    Optimizing OBDDs Is Still Intractable for Monotone Functions. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:625-635 [Conf]
  26. Katsumi Tanaka, Chung Le Viet, Yahiko Kambayashi, Shuzo Yajima
    A file organization suitable for relational database operations. [Citation Graph (0, 0)][DBLP]
    Mathematical Studies of Information Processing, 1978, pp:193-227 [Conf]
  27. Shuzo Yajima, Hiroto Yasuura
    Hardware Algorithms and Logic Design Automation. An Overview and Progress Report. [Citation Graph (0, 0)][DBLP]
    RIMS Symposium on Software Science and Engineering, 1982, pp:147-164 [Conf]
  28. Yahiko Kambayashi, Takaki Hayashi, Shuzo Yajima
    Dynamic Clustering Procedures for Bibliographic Data. [Citation Graph (0, 0)][DBLP]
    SIGIR, 1981, pp:90-99 [Conf]
  29. Yahiko Kambayashi, Katsumi Tanaka, Shuzo Yajima
    A Relational Data Language with Simplified Binary Relation Handling Capability. [Citation Graph (0, 7)][DBLP]
    VLDB, 1977, pp:338-350 [Conf]
  30. Hiroto Yasuura, Shuzo Yajima
    Hardware Algorithms for VLSI Systems. [Citation Graph (0, 0)][DBLP]
    VLSI Engineering, 1984, pp:105-129 [Conf]
  31. Narao Nakatsu, Yahiko Kambayashi, Shuzo Yajima
    A Longest Common Subsequence Algorithm Suitable for Similar Text Strings. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:171-179 [Journal]
  32. Yasuhiko Takenaga, Shuzo Yajima
    Hardness of identifying the minimum ordered binary decision diagram. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 2000, v:107, n:1-3, pp:191-201 [Journal]
  33. Yahiko Kambayashi, Shuzo Yajima
    The Upper Bound of K in K-Lossless Sequential Machines [Citation Graph (0, 0)][DBLP]
    Information and Control, 1971, v:19, n:5, pp:432-438 [Journal]
  34. Yahiko Kambayashi, Shuzo Yajima
    Finite Memory Machines Satisfying the Lower Bound of Memory [Citation Graph (0, 0)][DBLP]
    Information and Control, 1972, v:20, n:2, pp:150-157 [Journal]
  35. Yahiko Kambayashi, Shuzo Yajima
    Controllability of Seqential Machines [Citation Graph (0, 0)][DBLP]
    Information and Control, 1972, v:21, n:4, pp:306-328 [Journal]
  36. Toshio Yasui, Shuzo Yajima
    Some Algebraic Properties of Sets of Stochastic Matrices [Citation Graph (0, 0)][DBLP]
    Information and Control, 1969, v:14, n:4, pp:319-357 [Journal]
  37. Toshio Yasui, Shuzo Yajima
    Two-State Two-Symbol Probabilistic Automata [Citation Graph (0, 0)][DBLP]
    Information and Control, 1970, v:16, n:3, pp:203-224 [Journal]
  38. Masayuki Ito, Naofumi Takagi, Shuzo Yajima
    Square Rooting by Iterative Multiply-Additions. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1996, v:60, n:5, pp:267-269 [Journal]
  39. Yahiko Kambayashi, Takaki Hayashi, Y. Tanaka, Shuzo Yajima
    A Linear Storage Space Algorithm for a Reference Structure Index. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1978, v:7, n:2, pp:66-71 [Journal]
  40. Takafumi Hamano, Naofumi Takagi, Shuzo Yajima, Franco P. Preparata
    O(n)-Depth Modular Exponentiation Circuit Algorithm. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1997, v:46, n:6, pp:701-704 [Journal]
  41. Massayuki Ito, Naofumi Takagi, Shuzo Yajima
    Efficient Initial Approximation for Multiplicative Division and Square Root by a Multiplication with Operand Modification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1997, v:46, n:4, pp:495-498 [Journal]
  42. Naofumi Takagi, Tohru Asada, Shuzo Yajima
    Redundant CORDIC Methods with a Constant Scale Factor for Sine and Cosine Computation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:9, pp:989-995 [Journal]
  43. Naofumi Takagi, Shuzo Yajima
    On-Line Error-Detectable High-Speed Multiplier Using Redundant Binary Representation and Three-Rail Logic. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1987, v:36, n:11, pp:1310-1317 [Journal]
  44. Naofumi Takagi, Shuzo Yajima
    Modular Multiplication Hardware Algorithms with a Redundant Representation and Their Application to RSA Cryptosystem. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1992, v:41, n:7, pp:887-891 [Journal]
  45. Naofumi Takagi, Hiroto Yasuura, Shuzo Yajima
    High-Speed VLSI Multiplication Algorithm with a Redundant Binary Addition Tree. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1985, v:34, n:9, pp:789-796 [Journal]
  46. Hiroto Yasuura, Naofumi Takagi, Shuzo Yajima
    The Parallel Enumeration Sorting Scheme for VLSI. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1982, v:31, n:12, pp:1192-1201 [Journal]
  47. Nagisa Ishiura, Masyuki Ito, Shuzo Yajima
    Dynamic two-dimensional parallel simulation technique for high-speed fault simulation on a vector processor. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1990, v:9, n:8, pp:868-875 [Journal]
  48. Nagisa Ishiura, Hiroto Yasuura, Shuzo Yajima
    High-Speed Logic Simulation on Vector Processors. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1987, v:6, n:3, pp:305-321 [Journal]
  49. Noriyuki Takahashi, Nagisa Ishiura, Shuzo Yajima
    Fault simulation for multiple faults by Boolean function manipulation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1994, v:13, n:4, pp:531-535 [Journal]
  50. Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
    Infinity-Regular Temporal Logic and its Model Checking Problem. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:103, n:2, pp:191-204 [Journal]
  51. Kazuhisa Hosaka, Yasuhiko Takenaga, T. Kaneda, Shuzo Yajima
    Size of Ordered Binary Decision Diagrams Representing Threshold Functions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:180, n:1-2, pp:47-60 [Journal]
  52. Yasuhiko Takenaga, Kouji Nakajima, Shuzo Yajima
    Tree-shellability of Boolean functions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:262, n:1, pp:633-647 [Journal]

  53. Data compression procedures utilizing the similarity of data. [Citation Graph (, )][DBLP]


Search in 0.040secs, Finished in 0.042secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002