Tadao Kasami

Hitoshi Tokushige, Marc P. C. Fossorier, Tadao Kasami: A test pattern selection method for a joint bounded-distance and encoding-based decoding algorithm of binary codes [Transactions Letters]. IEEE Transactions on Communications 58(6): 1601-1604 (2010)

Hitoshi Tokushige, Marc P. C. Fossorier, Tadao Kasami: A Soft-Input and Output Iterative Bounded-Distance and Encoding-Based Decoding Algorithm for Product Codes. IEICE Transactions 92-A(2): 671-672 (2009)

Kenji Yasunaga, Toru Fujiwara, Tadao Kasami: Local Weight Distribution of the (256, 93) Third-Order Binary Reed-Muller Code. IEICE Transactions 90-A(3): 698-701 (2007)

Hitoshi Tokushige, Ippei Hisadomi, Tadao Kasami: Selection of Test Patterns in an Iterative Erasure and Error Decoding Algorithm for Non-binary Block Codes. IEICE Transactions 89-A(11): 3355-3359 (2006)

Yuki Kato, Hiroyuki Seki, Tadao Kasami: On the Generative Power of Grammars for RNA Secondary Structure. IEICE Transactions 88-D(1): 53-64 (2005)

Hitoshi Tokushige, Takaaki Tanoue, Tadao Kasami: On binary images of shortened cyclic (8, 5) codes over GF(2⁸). IEEE Communications Letters 8(4): 253-255 (2004)

Yuansheng Tang, Toru Fujiwara, Tadao Kasami: Asymptotic optimality of the GMD and chase decoding algorithms. IEEE Transactions on Information Theory 48(8): 2401-2405 (2002)

Hitoshi Tokushige, Ippei Hisadomi, Tadao Kasami: On soft-decision iterative decoding algorithms by using algebraic decoding for RS codes. GLOBECOM 2002: 1042-1045

Tadao Kasami, Hitoshi Tokushige, Yuichi Kaji: Sufficient Conditions on Most Likely Local Sub-codewords in Recursive Maximum Likelihood Decoding Algorithms. AAECC 2001: 333-342

Robert Morelos-Zaragoza, Toru Fujiwara, Tadao Kasami, Shu Lin: Constructions of Generalized Concatenated Codes and Their Trellis-Based Decoding Complexity. IEEE Transactions on Information Theory 45(2): 725-731 (1999)

Takuya Koumoto, Toyoo Takata, Tadao Kasami, Shu Lin: A Low-Weight Trellis-Based Iterative Soft-Decision Decoding Algorithm for Binary Linear Block Codes. IEEE Transactions on Information Theory 45(2): 731-741 (1999)

Tadao Kasami: On Integer Programming Problems Related to Soft-Decision Iterative Decoding Algorithms. AAECC 1999: 43-54

Yuansheng Tang, Tadao Kasami, Toru Fujiwara: An Optimality Testing Algorithm for a Decoded Codeword of Binary Block Codes and Its Computational Complexity. AAECC 1999: 201-210

Morgan Hirosuke Miki, Daisuke Taki, Gen Fujita, Takao Onoye, Isao Shirakawa, Toru Fujiwara, Tadao Kasami: Recursive maximum likelihood decoder for high-speed satellite communication. ISCAS (4) 1999: 572-575

Robert Morelos-Zaragoza, Tadao Kasami, Shu Lin, Hideki Imai: On block-coded modulation using unequal error protection codes over Rayleigh-fading channels. IEEE Transactions on Communications 46(1): 1-4 (1998)

Toru Fujiwara, Hiroshi Yamamoto, Tadao Kasami, Shu Lin: A Trellis-Based Recursive Maximum-Likelihood Decoding Algorithm for Binary Linear Block Codes. IEEE Transactions on Information Theory 44(2): 714-729 (1998)

Yuichi Kaji, Toru Fujiwara, Tadao Kasami: Solving a Unification Problem under Constrained Substitutions Using Tree Automata. J. Symb. Comput. 23(1): 79-117 (1997)

Tadao Kasami, Toyoo Takata, Kouichi Yamashita, Toru Fujiwara, Shu Lin: On bit-error probability of a concatenated coding scheme. IEEE Transactions on Communications 45(5): 536-543 (1997)

Hari T. Moorthy, Shu Lin, Tadao Kasami: Soft-decision decoding of binary linear block codes based on an iterative search algorithm. IEEE Transactions on Information Theory 43(3): 1030-1040 (1997)

Y. Desaki, Toru Fujiwara, Tadao Kasami: The weight distributions of extended binary primitive BCH codes of length 128. IEEE Transactions on Information Theory 43(4): 1364-1371 (1997)

Tadao Kasami, Tsukasa Sugita, Toru Fujiwara: The Split Weight (w_L, w_R) Enumeration of Reed-Muller Codes for w_L + w_R < 2d_min. AAECC 1997: 197-211

Hajime Watanabe, Tadao Kasami: A secure code for recipient watermarking against conspiracy attacks by all users. ICICS 1997: 414-423

Tetsuo Sano, Masahiro Higuchi, Hiroyuki Seki, Tadao Kasami: A phase connection method for communication protocols. Systems and Computers in Japan 27(10): 33-47 (1996)

Tsukasa Sugita, Tadao Kasami, Toru Fujiwara: The weight distribution of the third-order Reed-Muller code of length 512. IEEE Transactions on Information Theory 42(5): 1622-1625 (1996)

Shou-ping Feng, Toru Fujiwara, Tadao Kasami, Kazuhiko Iwasaki: On the Maximum Value of Aliasing Probabilities for Single Input Signature Registers. IEEE Trans. Computers 44(11): 1265-1274 (1995)

Yuichi Kaji, Ryuchi Nakanishi, Hiroyuki Seki, Tadao Kasami: The Computational Complexity of the Universal Recognition Problem for Parallel Multiple Context-Free Grammars. Computational Intelligence 10: 440-452 (1994)

Jiantian Wu, Shu Lin, Tadao Kasami, Toru Fujiwara, Toyoo Takata: An upper bound on the effective error coefficient of two-stage decoding, and good two-level decompositions of some Reed-Muller codes. IEEE Transactions on Communications 42(234): 813-818 (1994)

Toyoo Takata, Y. Yamashita, Toru Fujiwara, Tadao Kasami, Shu Lin: Suboptimum decoding of decomposable block codes. IEEE Transactions on Information Theory 40(5): 1392-1405 (1994)

Yuichi Kaji, Toru Fujiwara, Tadao Kasami: Solving a Unification Problem under Constrained Substitutions Using Tree Automata. FSTTCS 1994: 276-287

Tadao Kasami, Toyoo Takata, Toru Fujiwara, Shu Lin: On the optimum bit orders with respect to the state complexity of trellis diagrams for binary linear codes. IEEE Transactions on Information Theory 39(1): 242-245 (1993)

Tadao Kasami, Toyoo Takata, Toru Fujiwara, Shu Lin: On complexity of trellis structure of linear block codes. IEEE Transactions on Information Theory 39(3): 1057-1064 (1993)

Toyoo Takata, Satoshi Ujita, Tadao Kasami, Shu Lin: Multistage decoding of multilevel block M-PSK modulation codes and its performance analysis. IEEE Transactions on Information Theory 39(4): 1204-1218 (1993)

Hiroyuki Seki, Ryuichi Nakanishi, Yuichi Kaji, Sachiko Ando, Tadao Kasami: Parallel Multiple Context-Free Grammars, Finite-State Translation Systems, and Polynomial-Time Recognizable Subclasses of Lexical-Functional Grammars. ACL 1993: 130-139

Hiroyuki Seki, Tadao Kasami, Eiji Nabika, Takashi Matsumura: A method for translating natural language program specifications into algebraic specifications. Systems and Computers in Japan 23(11): 1-16 (1992)

Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami: A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. CAV 1992: 384-395

Minoru Ito, Tadao Kasami: Optimizing universal queries in relational databases. Systems and Computers in Japan 22(3): 19-30 (1991)

Takashi Matsumura, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami: The generative power of multiple context-free grammars and head grammars. Systems and Computers in Japan 22(4): 41-56 (1991)

Hiroyuki Seki, Takashi Matsumura, Mamoru Fujii, Tadao Kasami: On Multiple Context-Free Grammars. Theor. Comput. Sci. 88(2): 191-229 (1991)

Tadao Kasami, Toyoo Takata, Toru Fujiwara, Shu Lin: On linear structure and phase rotation invariant properties of block M-PSK modulation codes. IEEE Transactions on Information Theory 37(1): 164-167 (1991)

Toru Fujiwara, Minoru Ito, Tadao Kasami, Mitsuteru Kataoka, Jun Okui: Performance analysis of disk allocation method using error-correcting codes. IEEE Transactions on Information Theory 37(2): 379-384 (1991)

Tadao Kasami, Toyoo Takata, Toru Fujiwara, Shu Lin: On multilevel block modulation codes. IEEE Transactions on Information Theory 37(4): 965-975 (1991)

Toru Fujiwara, Tadao Kasami, Shou-ping Feng: On the monotonic property of the probability of undetected error for a shortened code. IEEE Transactions on Information Theory 37(5): 1409-1411 (1991)

Tadao Kasami, Toyoo Takata, Toru Fujiwara, Shu Lin: A concatenated coded modulation scheme for error control. IEEE Transactions on Communications 38(6): 752-763 (1990)

Toyoo Takata, Toru Fujiwara, Tadao Kasami, Shu Lin: An error control system with multiple-stage forward error corrections. IEEE Transactions on Communications 38(10): 1799-1809 (1990)

Toru Fujiwara, Tadao Kasami, Shu Lin: Error detecting capabilities of the shortened Hamming codes adopted for error detection in IEEE Standard 802.3. IEEE Transactions on Communications 37(9): 986-989 (1989)

Tadao Kasami, Toru Fujiwara, Toyoo Takata, Shu Lin: A cascaded coding scheme for error control and its performance analysis. IEEE Transactions on Information Theory 34(3): 448-462 (1988)

Koji Torii, Yuji Sugiyama, Mamoru Fujii, Tadao Kasami, Yoshitomi Morisawa: Logical Programming for the Telegram Analysis Problem. Comput. Lang. 12(1): 9-20 (1987)

Katsuro Inoue, Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami: Compiling and Optimizing Methods for the Functional Language ASL/F. Sci. Comput. Program. 7(3): 297-312 (1986)

Ichiro Suzuki, Y. Motohashi, Kenichi Taniguchi, Tadao Kasami, Tatsuaki Okamoto: Specification and Verification of Decentralized Daisy Chain Arbiters with omega-Extended Regular Expressions. Theor. Comput. Sci. 43: 277-291 (1986)

Toru Fujiwara, Toyoo Takata, Tadao Kasami, Shu Lin: An approximation to the weight distribution of binary primitive BCH codes with designed distances 9 and 11. IEEE Transactions on Information Theory 32(5): 706-709 (1986)

Minoru Ito, Motoaki Iwasaki, Tadao Kasami: Some Results on the Representative Instance in Relational Databases. SIAM J. Comput. 14(2): 334-354 (1985)

Tadao Kasami, Shu Lin, Victor K.-W. Wei, Saburo Yamamura: Coding for the binary symmetric broadcast channel with two receivers. IEEE Transactions on Information Theory 31(5): 616-625 (1985)

Tadao Kasami, Toru Fujiwara, Shu Lin: An approximation to the weight distribution of binary linear codes. IEEE Transactions on Information Theory 31(6): 769-780 (1985)

Ichiro Suzuki, Tadao Kasami: A Distributed Mutual Exclusion Algorithm. ACM Trans. Comput. Syst. 3(4): 344-349 (1985)

Minoru Ito, Motoaki Iwasaki, Kenichi Taniguchi, Tadao Kasami: Membership Problems for Data Dependencies in Relational Expressions. Theor. Comput. Sci. 34: 315-335 (1984)

Teruo Higashino, Masaaki Mori, Yuji Sugiyama, Kenichi Taniguchi, Tadao Kasami: An Algebraic Specification of HDLC Procedures and Its Verification. IEEE Trans. Software Eng. 10(6): 825-836 (1984)

Koji Torii, Yoshitomi Morisawa, Yuji Sugiyama, Tadao Kasami: Functional Programming and Logical Programming for the Telegram Analysis Problem. ICSE 1984: 463-472

Ichiro Suzuki, Tadao Kasami: Three Measures for Synchronic Dependence in Petri Nets. Acta Inf. 19: 325-338 (1983)

Minoru Ito, Kenichi Taniguchi, Tadao Kasami: Membership Problem for Embedded Multivalued Dependencies under some Restricted Conditions. Theor. Comput. Sci. 22: 175-194 (1983)

Tadao Kasami, Shu Lin, Victor K.-W. Wei, Saburo Yamamura: Graph theoretic approaches to the code construction for the two-user multiple- access binary adder channel. IEEE Transactions on Information Theory 29(1): 114-130 (1983)

Tadao Kasami, Torleiv Kløve, Shu Lin: Linear block codes for error detection. IEEE Transactions on Information Theory 29(1): 131-136 (1983)

I. Suzuki, Tadao Kasami: An Optimality Theory for Mutual Exclusion Algorithms in Computer Networks. ICDCS 1982: 365-370

Tadao Kasami: Comments on 'Determining the burst-correcting limit of cyclic codes' by H. J. Matt, and J. L. Massey. IEEE Transactions on Information Theory 27(6): 812 (1981)

Kenichi Hagihara, Minoru Ito, Kenichi Taniguchi, Tadao Kasami: Decision Problems for Multivalued Dependencies in Relational Databases. SIAM J. Comput. 8(2): 247-264 (1979)

Kenichi Taniguchi, Toshio Matsuura, Yuji Sugiyama, Tadao Kasami: On equivalence of safe Petri nets. FCT 1979: 430-436

Toshiro Araki, Tadao Kasami: Decidable Problems on the Strong Connectivity of Petri Net Reachability Sets. Theor. Comput. Sci. 4(1): 99-119 (1977)

Kenichi Taniguchi, Tadao Kasami: An O(n) Algorithm for Computing the Set of Available Expressions of D-Charts. Acta Inf. 6: 361-364 (1976)

Tadao Kasami, Nobuki Tokura, Saburo Azumi: On the Weight Enumeration of Weights Less than 2.5d of Reed-Muller Codes. Information and Control 30(4): 380-395 (1976)

Kenichi Taniguchi, Tadao Kasami: A Result on the Equivalence Problem for Deterministic Pushdown Automata. J. Comput. Syst. Sci. 13(1): 38-50 (1976)

Toshiro Araki, Tadao Kasami: Some Decision Problems Related to the Reachability Problem for Petri Nets. Theor. Comput. Sci. 3(1): 85-104 (1976)

Tadao Kasami, Shu Lin: Coding for a multiple-access channel. IEEE Transactions on Information Theory 22(2): 129-137 (1976)

Nobuki Tokura, Tadao Kasami, Shukichi Furuta: Ianov Schemas Augmented by a Pushdown Memory. SWAT (FOCS) 1974: 84-94

W. Wesley Peterson, Tadao Kasami, Nobuki Tokura: On the Capabilities of While, Repeat, and Exit Statements. Commun. ACM 16(8): 503-512 (1973)

Tadao Kasami: The Weight Enumerators for Several Clauses of Subcodes of the 2nd Order Binary Reed-Muller Codes. Information and Control 18(4): 369-394 (1971)

Kenichi Taniguchi, Tadao Kasami: Reduction of Context-Free Grammars. Information and Control 17(1): 92-108 (1970)

Kenichi Taniguchi, Tadao Kasami: A Note on Computing Time for the Recognition of Context-Free Languages by a Single-Tape Turing Machine. Information and Control 14(3): 278-284 (1969)

Tadao Kasami, Koji Torii: A Syntax-Analysis Procedure for Unambiguous Context-Free Grammars. J. ACM 16(3): 423-431 (1969)

Tadao Kasami: A Note on Computing Time for Recognition of Languages Generated by Linear Grammars. Information and Control 10(2): 209-214 (1967)

Tadao Kasami, S. Lin, W. Wesley Peterson: Some Results on Cyclic Codes which Are Invariant under the Affine Group and Their Application. Information and Control 11(5/6): 475-496 (1967)