Kenichi Taniguchi

According to our database, Kenichi Taniguchi authored at least 60 papers between 1967 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

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

2004

Cost-conscious geographic multicast on MANET.

Akira Mizumoto, Hirozumi Yamaguchi, Kenichi Taniguchi

Proceedings of the First Annual IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, 2004

An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree.

Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

2003

Reducing the Size of Routing Tables for Large-scale Network Simulation.

Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 17th Workshop on Parallel and Distributed Simulation, 2003

On designing end-user multicast for multiple video sources.

Yoshitaka Nakamura, Hirozumi Yamaguchi, Akihito Hiromori, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 2003 IEEE International Conference on Multimedia and Expo, 2003

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

Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

2002

A Selection Technique for Replicated Multicast Video Servers.

Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 31st International Conference on Parallel Processing (ICPP 2002), 2002

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

Proceedings of the FME 2002: Formal Methods, 2002

2001

A compiler to implement LOTOS specifications in distributed environments.

Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi

Comput. Networks, 2001

Formal Verification of CPU in Laboratory Work.

Kozo Okano, Yuko Kitahama, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 2001 International Conference on Microelectronics Systems Education, 2001

2000

Fast and Optimal Multicast-Server Selection Based on Receivers' Preference.

Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi

Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 2000

Extension of SMIL with QoS Control and its Implementation.

Yoshiki Terashima, Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi

Proceedings of the 2000 IEEE International Conference on Multimedia and Expo, 2000

Hardware implementation of Concurrent Periodic EFSM's.

Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi

Proceedings of the Formal Techniques for Distributed System Development, 2000

Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization.

Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 37th Conference on Design Automation, 2000

1999

Generating Test Cases for a Timed I/O Automaton Model.

Teruo Higashino, Akio Nakata, Kenichi Taniguchi, Ana R. Cavalli

Proceedings of the Testing of Communicating Systems: Method and Applications, 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

Proceedings of the 1999 International Conference on Parallel Processing Workshops, 1999

Receiver-Cooperative Bandwidth Management for Layered Multicast.

Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi

Proceedings of the Seventh Annual International Conference on Network Protocols, 1999

Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution.

Takashi Takenaka, Junji Kitamichi, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 1999 Conference on Asia South Pacific Design Automation, 1999

1998

Protocol Synthesis from Context-Free Processes Using Event Structures.

Akio Nakata, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 1998

Resource Management for Quality of Service Guarantees in Multi-Party Multimedia Application.

Hiroharu Sakate, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 1998 International Conference on Network Protocols (ICNP '98), 1998

Hardware synthesis from protocol specifications in LOTOS.

Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1997

Protocol Synthesis from Time Petri Net Based Service Specification.

Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 1997

Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks.

Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

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

Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence.

Akio Nakata, Teruo Higashino, Kenichi Taniguchi

Proceedings of the Formal Description Techniques IX: Theory, 1996

1995

Protocol visualization using LOTOS multi-rendezvous mechanism.

Keiichi Yasumoto, Teruo Higashino, Toshio Matsuura, Kenichi Taniguchi

Proceedings of the 1995 International Conference on Network Protocols, 1995

Protocol synthesis from timed and structured specifications.

Akio Nakata, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 1995 International Conference on Network Protocols, 1995

Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers.

Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

A LOTOS Compiler Generating Multi-threaded Object Codes.

Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi

Proceedings of the Formal Description Techniques VIII, 1995

Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers.

Teruo Higashino, Akio Nakata, Tatsuo Itoh, Kenichi Taniguchi

Proceedings of the Formal Description Techniques VIII, 1995

1994

Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach.

Junji Kitamichi, Sumio Morioka, Teruo Higashino, Kenichi Taniguchi

Proceedings of the Theorem Provers in Circuit Design, 1994

Hardware synthesis from a restricted class of LOTOS expressions.

Teruo Higashino, Keiichi Yasumoto, Junji Kitamichi, Kenichi Taniguchi

Proceedings of the Protocol Specification, 1994

Software Process Description Using LOTOS and Its Enaction.

Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 16th International Conference on Software Engineering, 1994

1993

A graph editor for large trees with browsing and zooming capabilities.

Toshio Matsuura, Kenichi Taniguchi, Sumio Masuda, Tohru Nakamura

Syst. Comput. Jpn., 1993

Deriving Protocol Specifications from Service Specifications in Extended FSM Models.

Teruo Higashino, Kozo Okano, Hiroshi Imajo, Kenichi Taniguchi

Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic.

Akio Nakata, Teruo Higashino, Kenichi Taniguchi

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1992

ASL program written in abstract sequential machine style and its compiler.

Masahiro Ooashi, Kenichi Taniguchi, Yuji Sugiyama

Syst. Comput. Jpn., 1992

Test System for a Restricted Class of LOTOS Expressions with Data Parameters.

Teruo Higashino, Gregor von Bochmann, Xiangdong Li, Keiichi Yasumoto, Kenichi Taniguchi

Proceedings of the Protocol Test Systems, V, 1992

VTM: A Graph Editor for Large Trees.

Toshio Matsuura, Tohru Nakamura, Teruo Higashino, Kenichi Taniguchi, Sumio Masuda

Proceedings of the Algorithms, Software, Architecture, 1992

1991

On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/.

Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami

Proceedings of the Software Science and Engineering: Selected Papers from the Kyoto Symposia, 1991

An Algebraic Method For Verifying Progress Property of Communication Protocols.

Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori

Proceedings of the Software Science and Engineering: Selected Papers from the Kyoto Symposia, 1991

1990

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

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

Automated Verification of Equivalence of Protocol Machines.

Teruo Higashino, Kiyoshi Ninomiya, Tomohisa Kimoto, Kenichi Taniguchi, Masaaki Mori

Proceedings of the Protocol Specification, 1989

1987

Principles of algebraic language ASL.

Tadao Kasami, Kenichi Taniguchi, Yuji Sugiyama, Hiroyuki Seki

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

Decision problem concerning security for cryptographic protocols.

Toru Fujiwara, Kenichi Taniguchi, Tadao Kasami

Syst. Comput. Jpn., 1987

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

Compiling and Optimizing Methods for the Functional Language ASL/F.

Katsuro Inoue, Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami

Sci. Comput. Program., 1986

1985

Optimization of functional language ASL/F programs.

Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami

Syst. Comput. Jpn., 1985

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

Membership Problems for Data Dependencies in Relational Expressions.

Minoru Ito, Motoaki Iwasaki, Kenichi Taniguchi, Tadao Kasami

Theor. Comput. Sci., 1984

1983

Membership Problem for Embedded Multivalued Dependencies under some Restricted Conditions.

Minoru Ito, Kenichi Taniguchi, Tadao Kasami

Theor. Comput. Sci., 1983

1979

Decision Problems for Multivalued Dependencies in Relational Databases.

Kenichi Hagihara, Minoru Ito, Kenichi Taniguchi, Tadao Kasami

SIAM J. Comput., 1979

On equivalence of safe Petri nets.

Kenichi Taniguchi, Toshio Matsuura, Yuji Sugiyama, Tadao Kasami

Proceedings of the Fundamentals of Computation Theory, 1979

1976

A Result on the Equivalence Problem for Deterministic Pushdown Automata.

Kenichi Taniguchi, Tadao Kasami

J. Comput. Syst. Sci., 1976

An O(n) Algorithm for Computing the Set of Available Expressions of D-Charts.

Kenichi Taniguchi, Tadao Kasami

Acta Informatica, 1976

1970

Reduction of Context-Free Grammars

Kenichi Taniguchi, Tadao Kasami

Inf. Control., August, 1970

1969

A Note on Computing Time for the Recognition of Context-Free Languages by a Single-Tape Turing Machine

Kenichi Taniguchi, Tadao Kasami

Inf. Control., March, 1969

1967

A search procedure for finding optimum group codes for the binary symmetric channel.

Nobuki Tokura, Kenichi Taniguchi, Tadao Kasami

IEEE Trans. Inf. Theory, 1967