| 2007 |
| 62 | EE | 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) |
| 2006 |
| 61 | EE | 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) |
| 2005 |
| 60 | EE | Yuki Kato,
Hiroyuki Seki,
Tadao Kasami:
On the Generative Power of Grammars for RNA Secondary Structure.
IEICE Transactions 88-D(1): 53-64 (2005) |
| 2002 |
| 59 | | 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) |
| 2001 |
| 58 | EE | Tadao Kasami,
Hitoshi Tokushige,
Yuichi Kaji:
Sufficient Conditions on Most Likely Local Sub-codewords in Recursive Maximum Likelihood Decoding Algorithms.
AAECC 2001: 333-342 |
| 1999 |
| 57 | | 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 |
| 56 | | Tadao Kasami:
On Integer Programming Problems Related to Soft-Decision Iterative Decoding Algorithms.
AAECC 1999: 43-54 |
| 55 | | 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) |
| 54 | | 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) |
| 1998 |
| 53 | | 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) |
| 1997 |
| 52 | | Tadao Kasami,
Tsukasa Sugita,
Toru Fujiwara:
The Split Weight (wL, wR) Enumeration of Reed-Muller Codes for wL + wR < 2dmin.
AAECC 1997: 197-211 |
| 51 | | Hajime Watanabe,
Tadao Kasami:
A secure code for recipient watermarking against conspiracy attacks by all users.
ICICS 1997: 414-423 |
| 50 | | H. 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) |
| 49 | | 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) |
| 48 | | Yuichi Kaji,
Toru Fujiwara,
Tadao Kasami:
Solving a Unification Problem under Constrained Substitutions Using Tree Automata.
J. Symb. Comput. 23(1): 79-117 (1997) |
| 1996 |
| 47 | | 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) |
| 1995 |
| 46 | | 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) |
| 1994 |
| 45 | | Yuichi Kaji,
Toru Fujiwara,
Tadao Kasami:
Solving a Unification Problem under Constrained Substitutions Using Tree Automata.
FSTTCS 1994: 276-287 |
| 44 | | 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) |
| 43 | | 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) |
| 1993 |
| 42 | | 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 |
| 41 | | 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- (1993) |
| 40 | | 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- (1993) |
| 39 | | 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) |
| 1992 |
| 38 | | 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 |
| 1991 |
| 37 | | 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- (1991) |
| 36 | | 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- (1991) |
| 35 | | Tadao Kasami,
Toyoo Takata,
Toru Fujiwara,
Shu Lin:
On multilevel block modulation codes.
IEEE Transactions on Information Theory 37(4): 965-975 (1991) |
| 34 | | 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- (1991) |
| 33 | | Hiroyuki Seki,
T. Matsumura,
Mamoru Fujii,
Tadao Kasami:
On Multiple Context-Free Grammars.
Theor. Comput. Sci. 88(2): 191-229 (1991) |
| 1988 |
| 32 | | 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) |
| 1987 |
| 31 | | Koji Torii,
Yuji Sugiyama,
Mamoru Fujii,
Tadao Kasami,
Yoshitomi Morisawa:
Logical Programming for the Telegram Analysis Problem.
Comput. Lang. 12(1): 9-20 (1987) |
| 1986 |
| 30 | | 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- (1986) |
| 29 | | 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) |
| 28 | | 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) |
| 1985 |
| 27 | EE | Ichiro Suzuki,
Tadao Kasami:
A Distributed Mutual Exclusion Algorithm
ACM Trans. Comput. Syst. 3(4): 344-349 (1985) |
| 26 | | 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) |
| 25 | | 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) |
| 24 | | Minoru Ito,
Motoaki Iwasaki,
Tadao Kasami:
Some Results on the Representative Instance in Relational Databases.
SIAM J. Comput. 14(2): 334-354 (1985) |
| 1984 |
| 23 | | Koji Torii,
Yoshitomi Morisawa,
Yuji Sugiyama,
Tadao Kasami:
Functional Programming and Logical Programming for the Telegram Analysis Problem.
ICSE 1984: 463-472 |
| 22 | | 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) |
| 21 | | Minoru Ito,
Motoaki Iwasaki,
Kenichi Taniguchi,
Tadao Kasami:
Membership Problems for Data Dependencies in Relational Expressions.
Theor. Comput. Sci. 34: 315-335 (1984) |
| 1983 |
| 20 | | Ichiro Suzuki,
Tadao Kasami:
Three Measures for Synchronic Dependence in Petri Nets.
Acta Inf. 19: 325-338 (1983) |
| 19 | | 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) |
| 18 | | Tadao Kasami,
Torleiv Kløve,
Shu Lin:
Linear block codes for error detection.
IEEE Transactions on Information Theory 29(1): 131- (1983) |
| 17 | | Minoru Ito,
Kenichi Taniguchi,
Tadao Kasami:
Membership Problem for Embedded Multivalued Dependencies under some Restricted Conditions.
Theor. Comput. Sci. 22: 175-194 (1983) |
| 1981 |
| 16 | | 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) |
| 1979 |
| 15 | | Kenichi Taniguchi,
Toshio Matsuura,
Yuji Sugiyama,
Tadao Kasami:
On equivalence of safe Petri nets.
FCT 1979: 430-436 |
| 14 | | Kenichi Hagihara,
Minoru Ito,
Kenichi Taniguchi,
Tadao Kasami:
Decision Problems for Multivalued Dependencies in Relational Databases.
SIAM J. Comput. 8(2): 247-264 (1979) |
| 1977 |
| 13 | | Toshiro Araki,
Tadao Kasami:
Decidable Problems on the Strong Connectivity of Petri Net Reachability Sets.
Theor. Comput. Sci. 4(1): 99-119 (1977) |
| 1976 |
| 12 | | Kenichi Taniguchi,
Tadao Kasami:
An O(n) Algorithm for Computing the Set of Available Expressions of D-Charts.
Acta Inf. 6: 361-364 (1976) |
| 11 | | 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) |
| 10 | | Kenichi Taniguchi,
Tadao Kasami:
A Result on the Equivalence Problem for Deterministic Pushdown Automata.
J. Comput. Syst. Sci. 13(1): 38-50 (1976) |
| 9 | | Toshiro Araki,
Tadao Kasami:
Some Decision Problems Related to the Reachability Problem for Petri Nets.
Theor. Comput. Sci. 3(1): 85-104 (1976) |
| 1974 |
| 8 | | Nobuki Tokura,
Tadao Kasami,
Shukichi Furuta:
Ianov Schemas Augmented by a Pushdown Memory
FOCS 1974: 84-94 |
| 1973 |
| 7 | | W. W. Peterson,
Tadao Kasami,
Nobuki Tokura:
On the Capabilities of While, Repeat, and Exit Statements.
Commun. ACM 16(8): 503-512 (1973) |
| 1971 |
| 6 | | 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) |
| 1970 |
| 5 | | Kenichi Taniguchi,
Tadao Kasami:
Reduction of Context-Free Grammars
Information and Control 17(1): 92-108 (1970) |
| 1969 |
| 4 | | 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) |
| 3 | EE | Tadao Kasami,
Koji Torii:
A Syntax-Analysis Procedure for Unambiguous Context-Free Grammars.
J. ACM 16(3): 423-431 (1969) |
| 1967 |
| 2 | | Tadao Kasami:
A Note on Computing Time for Recognition of Languages Generated by Linear Grammars
Information and Control 10(2): 209-214 (1967) |
| 1 | | Tadao Kasami,
S. Lin,
W. W. 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) |