A search procedure for finding optimum group codes for the binary symmetric channel. - Nobuki Tokura; Kenichi Taniguchi; Tadao Kasami (IEEE Trans. Inf. Theory, 1967)

A Note on Computing Time for the Recognition of Context-Free Languages by a Single-Tape Turing Machine - Kenichi Taniguchi; Tadao Kasami (Inf. Control., 1969)

Reduction of Context-Free Grammars - Kenichi Taniguchi; Tadao Kasami (Inf. Control., 1970)

An O(n) Algorithm for Computing the Set of Available Expressions of D-Charts. - Kenichi Taniguchi; Tadao Kasami (Acta Informatica, 1976)

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

On equivalence of safe Petri nets. - Kenichi Taniguchi; Toshio Matsuura; Yuji Sugiyama; Tadao Kasami (FCT, 1979)

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

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

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

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

Optimization of functional language ASL/F programs. - Hiroyuki Seki; Kenichi Taniguchi; Tadao Kasami (Syst. Comput. Jpn., 1985)

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

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

Decision problem concerning security for cryptographic protocols. - Toru Fujiwara; Kenichi Taniguchi; Tadao Kasami (Syst. Comput. Jpn., 1987)

Verification of progress property of algebraically specified communication protocols. - Teruo Higashino; Kenichi Taniguchi; Tadao Kasami; Mamoru Fujii; Masaaki Mori (Syst. Comput. Jpn., 1987)

Principles of algebraic language ASL. - Tadao Kasami; Kenichi Taniguchi; Yuji Sugiyama; Hiroyuki Seki (Syst. Comput. Jpn., 1987)

Automated Verification of Equivalence of Protocol Machines. - Teruo Higashino; Kiyoshi Ninomiya; Tomohisa Kimoto; Kenichi Taniguchi; Masaaki Mori (PSTV, 1989)

Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol. - Teruo Higashino; Mamoru Fujii; Kenichi Taniguchi; Tadao Kasami; Masaaki Mori (Syst. Comput. Jpn., 1989)

A Support System for Constructing Rule Base for Speech Synthesis by Rule. Automatic Extraction of Synthesis Rules. - Yoichi Yamashita; Riichiro Mizoguchi; Osamu Kakusho; Kenichi Taniguchi; Masuzo Yanagida (Syst. Comput. Jpn., 1990)

An Algebraic Method For Verifying Progress Property of Communication Protocols. - Teruo Higashino; Kenichi Taniguchi; Tadao Kasami; Mamoru Fujii; Masaaki Mori (Software Science and Engineering, 1991)

On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/. - Hiroyuki Seki; Kenichi Taniguchi; Tadao Kasami (Software Science and Engineering, 1991)

VTM: A Graph Editor for Large Trees. - Toshio Matsuura; Tohru Nakamura; Teruo Higashino; Kenichi Taniguchi; Sumio Masuda (IFIP Congress (1), 1992)

Test System for a Restricted Class of LOTOS Expressions with Data Parameters. - Teruo Higashino; Gregor von Bochmann; Xiangdong Li; Keiichi Yasumoto; Kenichi Taniguchi (Protocol Test Systems, 1992)

ASL program written in abstract sequential machine style and its compiler. - Masahiro Ooashi; Kenichi Taniguchi; Yuji Sugiyama (Syst. Comput. Jpn., 1992)

LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic. - Akio Nakata; Teruo Higashino; Kenichi Taniguchi (FORTE, 1993)

Deriving Protocol Specifications from Service Specifications in Extended FSM Models. - Teruo Higashino; Kozo Okano; Hiroshi Imajo; Kenichi Taniguchi (ICDCS, 1993)

A graph editor for large trees with browsing and zooming capabilities. - Toshio Matsuura; Kenichi Taniguchi; Sumio Masuda; Tohru Nakamura (Syst. Comput. Jpn., 1993)

Software Process Description Using LOTOS and Its Enaction. - Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (ICSE, 1994)

Hardware synthesis from a restricted class of LOTOS expressions. - Teruo Higashino; Keiichi Yasumoto; Junji Kitamichi; Kenichi Taniguchi (PSTV, 1994)

Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach. - Junji Kitamichi; Sumio Morioka; Teruo Higashino; Kenichi Taniguchi (TPCD, 1994)

Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers. - Teruo Higashino; Akio Nakata; Tatsuo Itoh; Kenichi Taniguchi (FORTE, 1995)

A LOTOS Compiler Generating Multi-threaded Object Codes. - Keiichi Yasumoto; Teruo Higashino; Kota Abe; Toshio Matsuura; Kenichi Taniguchi (FORTE, 1995)

Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers. - Hirozumi Yamaguchi; Kozo Okano; Teruo Higashino; Kenichi Taniguchi (ICDCS, 1995)

Protocol synthesis from timed and structured specifications. - Akio Nakata; Teruo Higashino; Kenichi Taniguchi (ICNP, 1995)

Protocol visualization using LOTOS multi-rendezvous mechanism. - Keiichi Yasumoto; Teruo Higashino; Toshio Matsuura; Kenichi Taniguchi (ICNP, 1995)

Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence. - Akio Nakata; Teruo Higashino; Kenichi Taniguchi (FORTE, 1996)

Proof method for correctness of refinements of algebraic specification in abstract sequential machine style. - Kozo Okano; Teruo Higashino; Kenichi Taniguchi (Syst. Comput. Jpn., 1996)

Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks. - Keiichi Yasumoto; Kazuhiro Gotoh; Hiroki Tatsumoto; Teruo Higashino; Kenichi Taniguchi (FORTE, 1997)

Protocol Synthesis from Time Petri Net Based Service Specification. - Hirozumi Yamaguchi; Kozo Okano; Teruo Higashino; Kenichi Taniguchi (ICPADS, 1997)

Hardware synthesis from protocol specifications in LOTOS. - Keiichi Yasumoto; Akira Kitajima; Teruo Higashino; Kenichi Taniguchi (FORTE, 1998)

Resource Management for Quality of Service Guarantees in Multi-Party Multimedia Application. - Hiroharu Sakate; Hirozumi Yamaguchi; Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (ICNP, 1998)

Protocol Synthesis from Context-Free Processes Using Event Structures. - Akio Nakata; Teruo Higashino; Kenichi Taniguchi (RTCSA, 1998)

Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution. - Takashi Takenaka; Junji Kitamichi; Teruo Higashino; Kenichi Taniguchi (ASP-DAC, 1999)

Receiver-Cooperative Bandwidth Management for Layered Multicast. - Hirozumi Yamaguchi; Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (ICNP, 1999)

Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness. - Kozo Okano; Satoshi Hattori; Akira Yamamoto; Teruo Higashino; Kenichi Taniguchi (ICPP Workshops, 1999)

Generating Test Cases for a Timed I/O Automaton Model. - Teruo Higashino; Akio Nakata; Kenichi Taniguchi; Ana R. Cavalli (IWTCS, 1999)

Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization. - Hisaaki Katagiri; Keiichi Yasumoto; Akira Kitajima; Teruo Higashino; Kenichi Taniguchi (DAC, 2000)

Hardware implementation of Concurrent Periodic EFSM's. - Hisaaki Katagiri; Masayuki Kirimura; Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (FORTE, 2000)

Extension of SMIL with QoS Control and its Implementation. - Yoshiki Terashima; Keiichi Yasumoto; Teruo Higashino; Kota Abe; Toshio Matsuura; Kenichi Taniguchi (IEEE International Conference on Multimedia and Expo (III), 2000)

Fast and Optimal Multicast-Server Selection Based on Receivers' Preference. - Akihito Hiromori; Hirozumi Yamaguchi; Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (IDMS, 2000)

Formal Verification of CPU in Laboratory Work. - Kozo Okano; Yuko Kitahama; Akira Kitajima; Teruo Higashino; Kenichi Taniguchi (MSE, 2001)

A compiler to implement LOTOS specifications in distributed environments. - Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (Comput. Networks, 2001)

A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels. - Takaaki Umedu; Yoshiki Terashima; Keiichi Yasumoto; Akio Nakata; Teruo Higashino; Kenichi Taniguchi (FME, 2002)

A Selection Technique for Replicated Multicast Video Servers. - Akihito Hiromori; Hirozumi Yamaguchi; Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (ICPP, 2002)

A Receiver Coordination Protocol for the Efficient Use of Bandwidth in Distributed Multimedia Applications. - Hirozumi Yamaguchi; Cao Man Letan; Akihito Hiromori; Takeshi Yamashita; Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (ICDCS Workshops, 2003)

On designing end-user multicast for multiple video sources. - Yoshitaka Nakamura; Hirozumi Yamaguchi; Akihito Hiromori; Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (ICME, 2003)

Reducing the Size of Routing Tables for Large-scale Network Simulation. - Akihito Hiromori; Hirozumi Yamaguchi; Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (PADS, 2003)

An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree. - Hirozumi Yamaguchi; Akihito Hiromori; Teruo Higashino; Kenichi Taniguchi (ICDCS, 2004)

Cost-conscious geographic multicast on MANET. - Akira Mizumoto; Hirozumi Yamaguchi; Kenichi Taniguchi (SECON, 2004)

Symbolic model checking of extended finite state machines with linear constraints over integer variables. - Takashi Takenaka; Kozo Okano; Teruo Higashino; Kenichi Taniguchi (Syst. Comput. Jpn., 2006)