Shuzo Yajima Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Tohru Asada [28]
2Yutaka Deguchi [26] [31]
3Kiyoharu Hamaguchi [27] [33] [34] [35] [37] [38] [44]
4Takafumi Hamano [43] [47]
5Takaki Hayashi [7] [11]
6Hiromi Hiraishi [27] [33] [34] [35] [37]
7Takashi Horiyama [49]
8Kazuhisa Hosaka [41] [46]
9Nagisa Ishiura [19] [22] [23] [24] [25] [26] [29] [30] [31] [32] [40]
10Masayuki Ito [42] [45]
11Massayuki Ito [48]
12Masyuki Ito [23]
13Kazuo Iwama [51]
14Yahiko Kambayashi [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14] [15]
15T. Kaneda [46]
16Shin-ichi Minato [25]
17Akihito Morita [44]
18Kouji Nakajima [53]
19Narao Nakatsu [12] [14]
20Mitsushi Nouzoe [50] [51]
21Hiroyuki Ochi [32] [34] [39]
22Yasuo Okabe [21]
23Franco P. Preparata [43] [47]
24Hiroshi Sawada [30]
25Naofumi Takagi [13] [18] [20] [28] [36] [42] [43] [45] [47] [48]
26M. Takahashi [22]
27Noriyuki Takahashi [29] [40]
28Yasuhiko Takenaga [41] [46] [50] [52] [53]
29Katsumi Tanaka [6] [8] [9] [10]
30Y. Tanaka [7]
31Seiichiro Tani [38]
32Chung Le Viet [8]
33Toshio Yasui [1] [2]
34Koichi Yasuoka [39]
35Hiroto Yasuura [13] [16] [17] [18] [19] [24]
36Masatoshi Yoshikawa [15]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)