Kenichi Taniguchi

According to our database1, Kenichi Taniguchi
  • authored at least 58 papers between 1967 and 2006.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2006
Symbolic model checking of extended finite state machines with linear constraints over integer variables.
Systems and Computers in Japan, 2006

2004
Cost-conscious geographic multicast on MANET.
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.
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.
Proceedings of the 17th Workshop on Parallel and Distributed Simulation, 2003

On designing end-user multicast for multiple video sources.
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.
Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

2002
A Selection Technique for Replicated Multicast Video Servers.
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.
Proceedings of the FME 2002: Formal Methods, 2002

2001
A compiler to implement LOTOS specifications in distributed environments.
Computer Networks, 2001

Formal Verification of CPU in Laboratory Work.
Proceedings of the 2001 International Conference on Microelectronics Systems Education, 2001

2000
Fast and Optimal Multicast-Server Selection Based on Receivers' Preference.
Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 2000

Extension of SMIL with QoS Control and its Implementation.
Proceedings of the 2000 IEEE International Conference on Multimedia and Expo, 2000

Hardware implementation of Concurrent Periodic EFSM's.
Proceedings of the Formal Techniques for Distributed System Development, 2000

Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization.
Proceedings of the 37th Conference on Design Automation, 2000

1999
Generating Test Cases for a Timed I/O Automaton Model.
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.
Proceedings of the 1999 International Conference on Parallel Processing Workshops, 1999

Receiver-Cooperative Bandwidth Management for Layered Multicast.
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.
Proceedings of the 1999 Conference on Asia South Pacific Design Automation, 1999

1998
Protocol Synthesis from Context-Free Processes Using Event Structures.
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.
Proceedings of the 1998 International Conference on Network Protocols (ICNP '98), 1998

Hardware synthesis from protocol specifications in LOTOS.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1997
Protocol Synthesis from Time Petri Net Based Service Specification.
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.
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.
Systems and Computers in Japan, 1996

Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence.
Proceedings of the Formal Description Techniques IX: Theory, 1996

1995
Protocol visualization using LOTOS multi-rendezvous mechanism.
Proceedings of the 1995 International Conference on Network Protocols, 1995

Protocol synthesis from timed and structured specifications.
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.
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.
Proceedings of the Formal Description Techniques VIII, 1995

Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers.
Proceedings of the Formal Description Techniques VIII, 1995

1994
Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach.
Proceedings of the Theorem Provers in Circuit Design, 1994

Hardware synthesis from a restricted class of LOTOS expressions.
Proceedings of the Protocol Specification, 1994

Software Process Description Using LOTOS and Its Enaction.
Proceedings of the 16th International Conference on Software Engineering, 1994

1993
A graph editor for large trees with browsing and zooming capabilities.
Systems and Computers in Japan, 1993

Deriving Protocol Specifications from Service Specifications in Extended FSM Models.
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.
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.
Systems and Computers in Japan, 1992

Test System for a Restricted Class of LOTOS Expressions with Data Parameters.
Proceedings of the Protocol Test Systems, V, 1992

VTM: A Graph Editor for Large Trees.
Proceedings of the Algorithms, Software, Architecture, 1992

1990
A Support System for Constructing Rule Base for Speech Synthesis by Rule. Automatic Extraction of Synthesis Rules.
Systems and Computers in Japan, 1990

1989
Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol.
Systems and Computers in Japan, 1989

Automated Verification of Equivalence of Protocol Machines.
Proceedings of the Protocol Specification, 1989

1987
Principles of algebraic language ASL.
Systems and Computers in Japan, 1987

Verification of progress property of algebraically specified communication protocols.
Systems and Computers in Japan, 1987

Decision problem concerning security for cryptographic protocols.
Systems and Computers in Japan, 1987

1986
Specification and Verification of Decentralized Daisy Chain Arbiters with omega-Extended Regular Expressions.
Theor. Comput. Sci., 1986

Compiling and Optimizing Methods for the Functional Language ASL/F.
Sci. Comput. Program., 1986

1985
Optimization of functional language ASL/F programs.
Systems and Computers in Japan, 1985

1984
An Algebraic Specification of HDLC Procedures and Its Verification.
IEEE Trans. Software Eng., 1984

Membership Problems for Data Dependencies in Relational Expressions.
Theor. Comput. Sci., 1984

1983
Membership Problem for Embedded Multivalued Dependencies under some Restricted Conditions.
Theor. Comput. Sci., 1983

1979
Decision Problems for Multivalued Dependencies in Relational Databases.
SIAM J. Comput., 1979

On equivalence of safe Petri nets.
FCT, 1979

1976
A Result on the Equivalence Problem for Deterministic Pushdown Automata.
J. Comput. Syst. Sci., 1976

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

1970
Reduction of Context-Free Grammars
Information and Control, August, 1970

1969
A Note on Computing Time for the Recognition of Context-Free Languages by a Single-Tape Turing Machine
Information and Control, March, 1969

1967
A search procedure for finding optimum group codes for the binary symmetric channel.
IEEE Trans. Information Theory, 1967


  Loading...