Tadao Kasami

Publication Activity (10 Years)

Years Active: 1961-2010
Publications (10 Years): 0

Publications

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 Trans. Commun. 58 (6) (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 Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2009)
Kenji Yasunaga, Toru Fujiwara, Tadao Kasami
Local Weight Distribution of the (256, 93) Third-Order Binary Reed-Muller Code. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (3) (2007)
Yuki Kato, Hiroyuki Seki, Tadao Kasami
RNA Pseudoknotted Structure Prediction Using Stochastic Multiple Context-Free Grammar. Inf. Media Technol. 2 (1) (2007)
Yuki Kato, Hiroyuki Seki, Tadao Kasami
Stochastic Multiple Context-Free Grammar for RNA Pseudoknot Modeling. TAG (2006)
Hitoshi Tokushige, Ippei Hisadomi, Tadao Kasami
Selection of Test Patterns in an Iterative Erasure and Error Decoding Algorithm for Non-binary Block Codes. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (11) (2006)
Yuki Kato, Hiroyuki Seki, Tadao Kasami
On the Generative Power of Grammars for RNA Secondary Structure. IEICE Trans. Inf. Syst. (1) (2005)
Jun Asatani, Takuya Koumoto, Toru Fujiwara, Tadao Kasami
Soft-input soft-output decoding algorithm of linear block codes based on minimum distance search. ISIT (2004)
Hitoshi Tokushige, Takaaki Tanoue, Tadao Kasami
). IEEE Commun. Lett. 8 (4) (2004)
Yuki Kato, Hiroyuki Seki, Tadao Kasami
Subclasses of Tree Adjoining Grammar for RNA Secondary Structure. TAG+ (2004)
Hitoshi Tokushige, Takuya Koumoto, Marc P. C. Fossorier, Tadao Kasami
Selection Method of Test Patterns in Soft-Decision Iterative Bounded Distance Decoding Algorithms. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (10) (2003)
Jun Asatani, Takuya Koumoto, Kenichi Tomita, Tadao Kasami
Reduced Complexity Iterative Decoding Using a Sub-Optimum Minimum Distance Search. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (10) (2003)
Jun Asatani, Kenichi Tomita, Takuya Koumoto, Toyoo Takata, Tadao Kasami
A Soft-Decision Iterative Decoding Algorithm Using a Top-Down and Recursive Minimum Distance Search. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (10) (2002)
Hitoshi Tokushige, Ippei Hisadomi, Tadao Kasami
On soft-decision iterative decoding algorithms by using algebraic decoding for RS codes. GLOBECOM (2002)
Takuya Koumoto, Tadao Kasami
Top-down recursive maximum likelihood decoding using ordered statistic information. ITW (2002)
Yuansheng Tang, Toru Fujiwara, Tadao Kasami
Asymptotic optimality of the GMD and chase decoding algorithms. IEEE Trans. Inf. Theory 48 (8) (2002)
Tadao Kasami, Hitoshi Tokushige, Yuichi Kaji
Sufficient Conditions on Most Likely Local Sub-codewords in Recursive Maximum Likelihood Decoding Algorithms. AAECC (2001)
Hitoshi Tokushige, Takaaki Tanoue, Tadao Kasami
). GLOBECOM (2001)
Tadao Kasami
On Integer Programming Problems Related to Soft-Decision Iterative Decoding Algorithms. AAECC (1999)
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)
Robert Morelos-Zaragoza, Toru Fujiwara, Tadao Kasami, Shu Lin
Constructions of Generalized Concatenated Codes and Their Trellis-Based Decoding Complexity. IEEE Trans. Inf. Theory 45 (2) (1999)
Yuansheng Tang, Tadao Kasami, Toru Fujiwara
An Optimality Testing Algorithm for a Decoded Codeword of Binary Block Codes and Its Computational Complexity. AAECC (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 Trans. Inf. Theory 45 (2) (1999)
Robert Morelos-Zaragoza, Tadao Kasami, Shu Lin, Hideki Imai
On block-coded modulation using unequal error protection codes over Rayleigh-fading channels. IEEE Trans. Commun. 46 (1) (1998)
Toru Fujiwara, Hiroshi Yamamoto, Tadao Kasami, Shu Lin
A Trellis-Based Recursive Maximum-Likelihood Decoding Algorithm for Binary Linear Block Codes. IEEE Trans. Inf. Theory 44 (2) (1998)
Hajime Watanabe, Tadao Kasami
A secure code for recipient watermarking against conspiracy attacks by all users. ICICS (1997)
Yuichi Kaji, Toru Fujiwara, Tadao Kasami
Solving a Unification Problem under Constrained Substitutions Using Tree Automata. J. Symb. Comput. 23 (1) (1997)
Tadao Kasami, Toyoo Takata, Kouichi Yamashita, Toru Fujiwara, Shu Lin
On bit-error probability of a concatenated coding scheme. IEEE Trans. Commun. 45 (5) (1997)
Y. Desaki, Toru Fujiwara, Tadao Kasami
The weight distributions of extended binary primitive BCH codes of length 128. IEEE Trans. Inf. Theory 43 (4) (1997)
Hari T. Moorthy, Shu Lin, Tadao Kasami
Soft-decision decoding of binary linear block codes based on an iterative search algorithm. IEEE Trans. Inf. Theory 43 (3) (1997)
Tadao Kasami, Tsukasa Sugita, Toru Fujiwara
. AAECC (1997)
Tetsuo Sano, Masahiro Higuchi, Hiroyuki Seki, Tadao Kasami
A phase connection method for communication protocols. Systems and Computers in Japan 27 (10) (1996)
Tsukasa Sugita, Tadao Kasami, Toru Fujiwara
The weight distribution of the third-order Reed-Muller code of length 512. IEEE Trans. Inf. Theory 42 (5) (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) (1995)
Robert Morelos-Zaragoza, Tadao Kasami, Shu Lin
Multilevel block coded 8-PSK modulations using unequal error protection codes for the Rayleigh fading channel. PIMRC (1995)
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 Trans. Commun. 42 (234) (1994)
Toyoo Takata, Yuji Yamashita, Toru Fujiwara, Tadao Kasami, Shu Lin
Suboptimum decoding of decomposable block codes. IEEE Trans. Inf. Theory 40 (5) (1994)
Yuichi Kaji, Ryuchi Nakanishi, Hiroyuki Seki, Tadao Kasami
The Computational Complexity of the Universal Recognition Problem for Parallel Multiple Context-Free Grammars. Comput. Intell. 10 (1994)
Yuichi Kaji, Toru Fujiwara, Tadao Kasami
Solving a Unification Problem under Constrained Substitutions Using Tree Automata. FSTTCS (1994)
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)
Shou-ping Feng, Toru Fujiwara, Tadao Kasami, Kazuhiko Iwasaki
On the maximum value of aliasing probabilities for single input signature registers. VTS (1993)
Toyoo Takata, Satoshi Ujita, Tadao Kasami, Shu Lin
Multistage decoding of multilevel block M-PSK modulation codes and its performance analysis. IEEE Trans. Inf. Theory 39 (4) (1993)
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 Trans. Inf. Theory 39 (1) (1993)
Tadao Kasami, Toyoo Takata, Toru Fujiwara, Shu Lin
On complexity of trellis structure of linear block codes. IEEE Trans. Inf. Theory 39 (3) (1993)
Yasunori Ishihara, Hiroyuki Seki, Tadao Kasami
A translation method from natural language specifications into formal specifications using contextual dependencies. RE (1993)
Kazuhiko Iwasaki, Toru Fujiwara, Tadao Kasami
A defect-tolerant design for mask ROMs. VTS (1992)
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) (1992)
Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. CAV (1992)
Tadao Kasami, Toyoo Takata, Toru Fujiwara, Shu Lin
On multilevel block modulation codes. IEEE Trans. Inf. Theory 37 (4) (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) (1991)
Hiroyuki Seki, Takashi Matsumura, Mamoru Fujii, Tadao Kasami
On Multiple Context-Free Grammars. Theor. Comput. Sci. 88 (2) (1991)
Minoru Ito, Tadao Kasami
Optimizing universal queries in relational databases. Systems and Computers in Japan 22 (3) (1991)
Toru Fujiwara, Tadao Kasami, Shou-ping Feng
On the monotonic property of the probability of undetected error for a shortened code. IEEE Trans. Inf. Theory 37 (5) (1991)
Tadao Kasami, Toyoo Takata, Toru Fujiwara, Shu Lin
On linear structure and phase rotation invariant properties of block M-PSK modulation codes. IEEE Trans. Inf. Theory 37 (1) (1991)
Toru Fujiwara, Minoru Ito, Tadao Kasami, Mitsuteru Kataoka, Jun Okui
Performance analysis of disk allocation method using error-correcting codes. IEEE Trans. Inf. Theory 37 (2) (1991)
Toyoo Takata, Toru Fujiwara, Tadao Kasami, Shu Lin
An error control system with multiple-stage forward error corrections. IEEE Trans. Commun. 38 (10) (1990)
Tadao Kasami, Toyoo Takata, Toru Fujiwara, Shu Lin
A concatenated coded modulation scheme for error control. IEEE Trans. Commun. 38 (6) (1990)
Tadao Kasami, Hiroyuki Seki, Mamoru Fujii
Generalized context-free grammars and multiple context-free grammars. Systems and Computers in Japan 20 (7) (1989)
Teruo Higashino, Mamoru Fujii, Kenichi Taniguchi, Tadao Kasami, Masaaki Mori
Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol. Systems and Computers in Japan 20 (5) (1989)
Tadao Kasami, Hiroyuki Seki, Mamoru Fujii
Membership problem for head languages and multiple context-free languages. Systems and Computers in Japan 20 (6) (1989)
Toru Fujiwara, Tadao Kasami, Shu Lin
Error detecting capabilities of the shortened Hamming codes adopted for error detection in IEEE Standard 802.3. IEEE Trans. Commun. 37 (9) (1989)
Tadao Kasami, Toru Fujiwara, Toyoo Takata, Shu Lin
A cascaded coding scheme for error control and its performance analysis. IEEE Trans. Inf. Theory 34 (3) (1988)
Tadao Kasami, Kenichi Taniguchi, Yuji Sugiyama, Hiroyuki Seki
Principles of algebraic language ASL. Systems and Computers in Japan 18 (7) (1987)
Koji Torii, Yuji Sugiyama, Mamoru Fujii, Tadao Kasami, Yoshitomi Morisawa
Logical Programming for the Telegram Analysis Problem. Comput. Lang. 12 (1) (1987)
Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori
Verification of progress property of algebraically specified communication protocols. Systems and Computers in Japan 18 (9) (1987)
Toru Fujiwara, Kenichi Taniguchi, Tadao Kasami
Decision problem concerning security for cryptographic protocols. Systems and Computers in Japan 18 (5) (1987)
Tadao Kasami, Toru Fujiwara, Shu Lin
A Concatenated Coding Scheme for Error Control. IEEE Trans. Commun. 34 (5) (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 (1986)
Katsuro Inoue, Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami
Compiling and Optimizing Methods for the Functional Language ASL/F. Sci. Comput. Program. 7 (3) (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 Trans. Inf. Theory 32 (5) (1986)
Ichiro Suzuki, Tadao Kasami
A Distributed Mutual Exclusion Algorithm ACM Trans. Comput. Syst. 3 (4) (1985)
Tadao Kasami, Shu Lin, Victor K.-W. Wei, Saburo Yamamura
Coding for the binary symmetric broadcast channel with two receivers. IEEE Trans. Inf. Theory 31 (5) (1985)
Minoru Ito, Motoaki Iwasaki, Tadao Kasami
Some Results on the Representative Instance in Relational Databases. SIAM J. Comput. 14 (2) (1985)
Toru Fujiwara, Tadao Kasami, Atsushi Kitai, Shu Lin
On the Undetected Error Probability for Shortened Hamming Codes. IEEE Trans. Commun. 33 (6) (1985)
Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami
Optimization of functional language ASL/F programs. Systems and Computers in Japan 16 (4) (1985)
Tadao Kasami, Toru Fujiwara, Shu Lin
An approximation to the weight distribution of binary linear codes. IEEE Trans. Inf. Theory 31 (6) (1985)
Koji Torii, Yoshitomi Morisawa, Yuji Sugiyama, Tadao Kasami
Functional Programming and Logical Programming for the Telegram Analysis Problem. ICSE (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) (1984)
Tadao Kasami, Shu Lin
On the Probability of Undetected Error for the Maximum Distance Separable Codes. IEEE Trans. Commun. 32 (9) (1984)
Minoru Ito, Motoaki Iwasaki, Kenichi Taniguchi, Tadao Kasami
Membership Problems for Data Dependencies in Relational Expressions. Theor. Comput. Sci. 34 (1984)
Tadao Kasami, Torleiv Kløve, Shu Lin
Linear block codes for error detection. IEEE Trans. Inf. Theory 29 (1) (1983)
Ichiro Suzuki, Tadao Kasami
Three Measures for Synchronic Dependence in Petri Nets. Acta Informatica 19 (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 Trans. Inf. Theory 29 (1) (1983)
Minoru Ito, Kenichi Taniguchi, Tadao Kasami
Membership Problem for Embedded Multivalued Dependencies under some Restricted Conditions. Theor. Comput. Sci. 22 (1983)
I. Suzuki, Tadao Kasami
An Optimality Theory for Mutual Exclusion Algorithms in Computer Networks. ICDCS (1982)
Tadao Kasami
Comments on 'Determining the burst-correcting limit of cyclic codes' by H. J. Matt, and J. L. Massey. IEEE Trans. Inf. Theory 27 (6) (1981)
Shu Lin, Tadao Kasami, Saburo Yamamura
Existence of Good δ-Decodable Codes for the Two-User Multiple-Access Adder Channel. IBM J. Res. Dev. 24 (4) (1980)
Kenichi Hagihara, Minoru Ito, Kenichi Taniguchi, Tadao Kasami
Decision Problems for Multivalued Dependencies in Relational Databases. SIAM J. Comput. 8 (2) (1979)
Kenichi Taniguchi, Toshio Matsuura, Yuji Sugiyama, Tadao Kasami
On equivalence of safe Petri nets. FCT (1979)
Tadao Kasami, Shu Lin
Bounds on the achievable rates of block coding for a memoryless multiple-access channel. IEEE Trans. Inf. Theory 24 (2) (1978)
A. V. Kuznetsov, Tadao Kasami, Saburo Yamamura
An error correcting scheme for defective memory. IEEE Trans. Inf. Theory 24 (6) (1978)
Tadao Kasami, Shu Lin
Decoding of linear Delta -decodable codes for a multiple- access channel (Corresp.). IEEE Trans. Inf. Theory 24 (5) (1978)
Toshiro Araki, Tadao Kasami
Decidable Problems on the Strong Connectivity of Petri Net Reachability Sets. Theor. Comput. Sci. 4 (1) (1977)
Tadao Kasami, Shu Lin
Coding for a multiple-access channel. IEEE Trans. Inf. Theory 22 (2) (1976)
Kenichi Taniguchi, Tadao Kasami
A Result on the Equivalence Problem for Deterministic Pushdown Automata. J. Comput. Syst. Sci. 13 (1) (1976)
Kenichi Taniguchi, Tadao Kasami
An O(n) Algorithm for Computing the Set of Available Expressions of D-Charts. Acta Informatica 6 (1976)
Toshiro Araki, Tadao Kasami
Some Decision Problems Related to the Reachability Problem for Petri Nets. Theor. Comput. Sci. 3 (1) (1976)
Tadao Kasami, Nobuki Tokura, Saburo Azumi
On the Weight Enumeration of Weights Less than 2.5d of Reed-Muller Codes Inf. Control. 30 (4) (1976)
Tadao Kasami
Construction and decomposition of cyclic codes of composite length (Corresp.). IEEE Trans. Inf. Theory 20 (5) (1974)
Tadao Kasami
A Gilbert-Varshamov bound for quasi-cycle codes of rate 1/2 (Corresp.). IEEE Trans. Inf. Theory 20 (5) (1974)

Tadao Kasami.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Tadao Kasami